| 2022 | MODELS | Model-checking of space systems designed with TASTE/SDL. | Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin |
| 2020 | VECoS | Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. | Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem |
| 2019 | VMCAI | Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
| 2018 | ISoLA | Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. | Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem |
| 2018 | TACAS | The Refinement Calculus of Reactive Systems Toolset. | Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis |
| 2017 | FORTE | Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. | Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis |
| 2015 | MODELS | Introduction to ACES-MB 2015. | Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober |
| 2014 | SOFSEM | Safety Contracts for Timed Reactive Components in SysML. | Iulia Dragomir, Iulian Ober, Christian Percebois |
| 2013 | MODELS | Integrating verifiable Assume/Guarantee contracts in UML/SysML. | Iulia Dragomir, Iulian Ober, Christian Percebois |
| 2013 | SIMULTECH | Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. | Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir |
| 2012 | ICECCS | A Case Study in Formal System Engineering with SysML. | Iulia Dragomir, Iulian Ober, David Lesens |
| 2011 | SOFSEM | Unambiguous UML Composite Structures: The OMEGA2 Experience. | Iulian Ober, Iulia Dragomir |
| 2010 | ICECCS | OMEGA2: A New Version of the Profile and the Tools. | Iulian Ober, Iulia Dragomir |