About
I am a postdoctoral researcher at VERIMAG in the RSD team, where I am working with Prof. Saddek Bensalem and Dr. Marius Bozga in the SARGON and ESROCOS projects.
Previously I have been a postdoctoral researcher at Aalto University, Department of Computer Science, where I worked with Prof. Stavros Tripakis on the RCRS framework.
I have defended my Ph.D. on December 3rd, 2014, at University of Toulouse III Paul Sabatier, France. My advisors were Dr. Iulian Ober and Prof. Christian Percebois.
My research focuses on the correct design of real-time, embedded and cyber-physical systems and their related development methodologies.

Research topics

  • Component-based design
  • Model-driven engineering
  • Formal models and methods
  • Verification and validation
  • Compositionality

Projects

  • ESROCOS: European Space Robotics Control and Operating System - H2020 (2017-2019)
  • SARGON: Space Automation & Robotics General Controller - European Space Agency (2017)
  • COSMOI: Compositional System Modeling with Interfaces - Academy of Finland and NSF (2015-2017)
    Check out the website of the RCRS framework!
  • FullMDE: Full Model-Driven Development for On-Board Software - European Space Agency Project (2009-2011)
  • OMEGA UML2 - European Space Agency Activity 3-12639 (2009-2010)
    Check out the website of the IFx-OMEGA Toolset!

Short vitae

Postdoctoral Researcher in Computer Science
VERIMAG, RSD team, France (2017 - ongoing)
Aalto University, Department of Computer Science, Finland (2015-2017)
Ph.D. in Computer Science (2014)
Contract-based Modeling and Verification of Timed Safety Requirements in SysML
IRIT - University of Toulouse III Paul Sabatier, France
Defended on December 3rd, 2014
Defense committee:
  • Prof. Béatrice Bérard (reviewer)
  • Prof. Jean-Paul Bodeveix (president of the jury)
  • Dr. Susanne Graf
  • Dr. Thomas Lambolais
  • Prof. Alexander Knapp (reviewer)
  • Dr. Iulian Ober (adviser)
  • Prof. Christian Percebois (adviser)
Graduated with honors
Master Research degree in Computer Science and Telecommunications (2010)
Semantical Formalization and Verification of Composite Structures
University of Toulouse III Paul Sabatier, France
Adviser: Dr. Iulian Ober
Graduated as valedictorian
Bachelor degrees in Mathematics and Computer Science (2008)
Constraint Satisfaction: Comparative Study of Intelligent Backtracking Algorithms
Faculty of Mathematics and Computer Science, Babes-Bolyai University, Romania
Adviser: Prof. Gabriela Czibula
Graduated as valedictorian
Research
My research focuses on the correct design of real-time, embedded and cyber-physical systems. I am mainly interested in devising techniques applicable to industrial-grade system designs, often described in high-level modeling languages such as SysML or Simulink.
My research work is split in two axes:
  • rigorous system design with industrially used semi-formal languages such as UML, SysML, Simulink, etc. An application within this research topic consists of the development and implementation of a coherent and sufficient modeling language for real-time systems as a UML/SysML Profile, named OMEGA. I am also contributing and developing a method for correct system design in Simulink, based on performing static and behavioral type checking.
  • ensuring the correctness of system designs with respect to the specified requirements – timed, safety or liveness –, namely by model-checking or theorem proving. Within this topic I explore the definition and application of contract-based compositional verification methods for system designs in SysML and Simulink.
Keywords: design, reactive/hybrid systems, component, contract, compositional reasoning, interface theory, timed input/output automata, property/predicate transformer, verification, model-checking, theorem proving, validation, UML/SysML, Simulink, IFx toolset, Isabelle
Publications

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, june 2011
    [full text]

Peer-reviewed international conferences

  1. Viorel Preoteasa, Iulia Dragomir and Stavros Tripakis. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. In FORTE'17, to appear

  2. Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Compositional Semantics and Analysis of Hierarchical Block Diagrams. In SPIN'16, april 2016
    [full text]

  3. Iulia Dragomir, Iulian Ober and Christian Percebois. Safety Contracts for Timed Reactive Components in SysML. In SOFSEM'14, january 2014
    [full text]

  4. Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober and Nicolas Belloir. Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx. In SIMULTECH'13, september 2013
    [full text]

  5. Iulia Dragomir, Iulian Ober and David Lesens. A Case Study in Formal System Engineering with SysML. In ICECCS'12, july 2012
    [full text]   [presentation]

  6. É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 ERTS2'12, january 2012
    [full text]

  7. Iulian Ober and Iulia Dragomir. Unambiguous UML composite structures: the OMEGA2 experience. In SOFSEM'11, january 2011
    [full text]   [presentation]

Peer-reviewed international workshops

  1. Iulia Dragomir, Iulian Ober and Christian Percebois. Integrating Verifiable Assume/Guarantee Contracts in UML/SysML. In ACES-MB'13, september 2013
    [full text]

  2. Iulia Dragomir. System to software level model refinement in embedded system design (short paper). In Modeling Wizards'10, september 2010
    [full text]

  3. Iulian Ober and Iulia Dragomir. OMEGA2: A new version of the profile and the tools. In UML&AADL'2010, 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, april 2013.
    [full text]

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.

Reports

  1. Viorel Preoteasa, Iulia Dragomir and Stavros Tripakis. Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR abs/1612.05494, december 2016
    [full text]

  2. Viorel Preoteasa, Iulia Dragomir and Stavros Tripakis. A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR abs/1611.01337, november 2016
    [full text]

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

  4. 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]

  5. 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]

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

Other publications

  1. Iulia Dragomir, Viorel Preoteasa and Stavros Tripakis. Demo: The Refinement Calculus of Reactive Systems. In National Science Foundation (NSF) days, october 2016

  2. 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 ACES-MB 2015 & WUCOR 2015, september 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), april 2014

  4. Iulian Ober and Iulia Dragomir. OMEGA2 Profile & tools for system modelling and verification with UML2.x & SysML. In Journées Neptune, may 2010
    [presentation]

Teaching

Courses

Instructor
Refresher course on Object Oriented Programming (UPS-FSI, M.S. 1st year, 2013-2015)
Lecturer
Object Oriented Programming (UPS-FSI, B.S. 3rd year, 2013-2015)
Teaching associate
Modeling and Verification of Concurrent Systems (Aalto, M.S. 1st year, 2016/2017)
Tests and Software Maintenance (UPS-FSI, B.S. 3rd year, 2013/2015)
Programming Project (UPS-FSI, B.S. 3rd year, 2013-2014)
Teaching assistant
Modeling, Design and Object Oriented Programming (UPS-FSI, M.S. 1st year, 2013-2015)
Test-driven Programming (in C++ and Java) (UPS-IUT A, B.S. 2nd year, 2011-2013)
Implementation of data structures (UPS-IUT A, B.S. 2nd year, 2010-2011)
Algorithmics (UPS-IUT A, B.S. 1st year, 2010-2013)
Programming in C++ (UPS-IUT A, B.S. 1st year, 2010-2013)
Web Programming (UPS-IUT A, B.S. 1st year, 2010-2011)

Students

  • Albert Arockiasamy (M.S. Aalto University, June-Aug. 2015)
    Internship topic: QPTL Satisfiability using Projection and Complementation
    Mentored with Stavros Tripakis and Viorel Preoteasa
  • Samira Barchiche (M.S. Research Universite de Bordeaux I, March - Aug. 2013)
    Thesis topic: To K or not to K: Comparison of Two Techniques to Build a Model-Checker
    Co-advised with Iulian Ober
Service

Reviewer

  • IEEE Transactions on Software Engineering
  • IEEE Transactions on Industrial Informatics

Programme committee

  • 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems (ACES-MB) 2015 (co-chair)
  • 7th International Workshop on Model-based Architecting and Construction of Embedded Systems (ACES-MB) 2014 (co-chair)

Additional reviewer

  • TACAS 216
  • CONCUR 2015
  • APSEC 2012, 2013
  • SDL Forum 2013
  • ACES-MB 2011
  • MoDELS 2010

Conference organization

  • Co-chair of ACES-MB 2014, 2015
  • Local organization of SDL Forum 2013
  • Local organization of Modeling Wizards 2010