Edited proceedings

  1. Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero and Maged Elaasar. Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015, volume 1508 of CEUR Workshop Proceedings. CEUR-WS.org, november 2015.
    [full text]

  2. Florian Noyrit, Susanne Graf and Iulia Dragomir. Proceedings of the 7th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB) co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS), Valencia, Spain, September 30, 2014, volume 1250 of CEUR Workshop Proceedings. CEUR-WS.org, september 2014.
    [full text]

Peer-reviewed international journals

  1. Iulia Dragomir, Iulian Ober and Christian Percebois. Contract-based modeling and verification of timed safety requirements within SysML Software & Systems Modeling, 2015.
    [full text]

  2. Ileana Ober, Iulian Ober, Iulia Dragomir and El Arbi Aboussoror. UML/SysML semantic tunnings. Innovations in Systems and Software Engineering, 7(4):257-264, 2011.
    [full text]

Peer-reviewed national journals

  1. Éric Conquet, François-Xavier Dormoy, Iulia Dragomir, Alain Le Guennec, David Lesens, Piotr Nienaltowski and Iulian Ober. Modèles système, modèles logiciel et modèles de code dans les applications spatiales. Génie logiciel, 1(97):9-15, juin 2011.
    [full text]

Peer-reviewed international conferences

  1. Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Compositional Semantics and Analysis of Hierarchical Block Diagrams. In 23rd International Symposium on Model Checking Software (SPIN), 7/04/2016-8/04/2016, Eindhoven, The Netherlands. Springer, april 2016.
    [full text]

  2. Iulia Dragomir, Iulian Ober and Christian Percebois. Safety Contracts for Timed Reactive Components in SysML. In 40th International Conference on Current Trens in Theory and Practice of Computer Science (SOFSEM), 25/01/2014-30/01/2014, Novy Smokovec, Slovakia, pages 211-222. Springer, january 2014.
    [full text]

  3. Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober and Nicolas Belloir. Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx. In 3rd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH), 29/07/2013-31/07/2013, Reykjavik, Island, pages 147-154. SciTePress Digital Library, september 2013.
    [full text]

  4. Iulia Dragomir, Iulian Ober and David Lesens. A Case Study in Formal System Engineering with SysML. In 17th International Conference on Engineering of Complex Computer Systems (ICECCS), 18/07/2012-20/07/2012, Paris, France, pages 189-198. IEEE, july 2012. Acceptance rate: 27%
    [full text]   [presentation]

  5. Éric Conquet, François-Xavier Dormoy, Iulia Dragomir, Susanne Graf, David Lesens, Piotr Nienaltowski and Iulian Ober. Formal Model Driven Engineering for Space Onboard Software. In International Conference on Embedded Real Time Software ans Systems (ERTS2), 01/02/2011-03/02/2011, Toulouse, France. SAE, january 2012.
    [full text]

  6. Iulian Ober and Iulia Dragomir. Unambiguous UML composite structures: the OMEGA2 experience. In International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM), 22/01/2011-28/01/2011, Novy Smokovec, Slovakia, pages 418-430. Springer, january 2011. Acceptance rate 35%
    [full text]   [presentation]

Peer-reviewed international workshops

  1. Iulia Dragomir, Iulian Ober and Christian Percebois. Integrating Verifiable Assume/Guarantee Contracts in UML/SysML. In 6th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB), in conjunction with MODELS'13, 29/09/2013, Miami, USA. CEUR Workshop Proceedings, september 2013.
    [full text]

  2. Iulia Dragomir. System to software level model refinement in embedded system design (short paper). In 1st International Master Class on Model-Driven Engineering (Modeling Wizards), 30/09/2010-02/10/2010, Oslo, Norway, IRIT/RR-2010-20-FR, pages 19-20, september 2010.
    [full text]

  3. Iulian Ober and Iulia Dragomir. OMEGA2: A new version of the profile and the tools. In UML&AADL'2010 - 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 24/03/2010-25/03/2010, Oxford, UK, pages 373-378. IEEE, march 2010.
    [full text]

Peer-reviewed national workshops

  1. Iulia Dragomir, Iulian Ober and Christian Percebois. Safety contracts for reactive timed systems (extended abstract). In Action AFSEC, Journées GDR GPL, 02/04/2013-05/04/2013, Nancy France, pages 37-46, april 2013.
    [full text]

Research reports

  1. Iulia Dragomir, Iulian Ober and Christian Percebois. Integrating verifiable Assume/Guarantee contracts in UML/SysML. Technical Report IRIT/RT-2013-14-FR, IRIT, july 2013.
    [full text]

  2. Iulia Dragomir, Iulian Ober and Christian Percebois. Safety Contracts for Timed Reactive Systems. Technical Report IRIT/RT-2013-11-FR, IRIT, june 2013.
    [full text]   [presentation]

Theses

  1. Iulia Dragomir. Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML. PhD thesis, Université Toulouse III Paul Sabatier, Toulouse, France, december 2014.
    [full text]   [presentation]

  2. Iulia Dragomir. Semantical formalisation and verification of composite structures. Master's thesis, Université Toulouse III Paul Sabatier, Toulouse, France, june 2010.
    [full text]   [presentation]

  3. Iulia Dragomir. Constraints Satisfaction: comparative study of intelligent backtracking algorithms.. Diploma thesis, Faculty of Mathematics and Computer Science, "Babes-Bolyai" University, Cluj-Napoca, Romania, june 2008.

Other publications

  1. Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober. Introduction to ACES-MB 2015 - Model-based Architecting of Cyber-physical and Embedded Systems - In Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
    [full text]

  2. Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR abs/1510.04873, october 2015.
    [full text]

  3. Iulia Dragomir, Iulian Ober and Christian Percebois. Safety Contracts for Timed Reactive Components in SysML. In Journées Formalisation des Activités Concurrentes (FAC), 16/04-2014/17/04/2014, Toulouse, France, april 2014

  4. Iulia Dragomir and Iulian Ober. Well-formedness and typing rules for UML Composite Structures. CoRR, abs/1010.6155, october 2010.
    [full text]

  5. Iulian Ober and Iulia Dragomir. OMEGA2 Profile & tools for system modelling and verification with UML2.x & SysML. In Journées Neptune, 18/05/2010-19/05/2010, Toulouse, France, may 2010.
    [presentation]