OMEGA2: A New Version of the Profile and the Tools. - Iulian Ober; Iulia Dragomir (ICECCS, 2010)

Well-formedness and typing rules for UML Composite Structures - Iulia Dragomir; Iulian Ober (CoRR, 2010)

Unambiguous UML Composite Structures: The OMEGA2 Experience. - Iulian Ober; Iulia Dragomir (SOFSEM, 2011)

UML/SysML semantic tunings. - Ileana Ober; Iulian Ober; Iulia Dragomir; El Arbi Aboussoror (Innov. Syst. Softw. Eng., 2011)

A Case Study in Formal System Engineering with SysML. - Iulia Dragomir; Iulian Ober; David Lesens (ICECCS, 2012)

Integrating verifiable Assume/Guarantee contracts in UML/SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (ACES-MB@MoDELS, 2013)

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. - Manzoor Ahmad; Iulia Dragomir; Jean-Michel Bruel; Iulian Ober; Nicolas Belloir (SIMULTECH, 2013)

Safety Contracts for Timed Reactive Components in SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (SOFSEM, 2014)

Introduction to ACES-MB 2015. - Iulia Dragomir; Susanne Graf; Gabor Karsai; Florian Noyrit; Iulian Ober (ACES-MB&WUCOR@MoDELS, 2015)

Translating Hierarchical Block Diagrams into Composite Predicate Transformers. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (CoRR, 2015)

Compositional Semantics and Analysis of Hierarchical Block Diagrams. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (SPIN, 2016)

A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (CoRR, 2016)

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (FORTE, 2017)

Contract-based modeling and verification of timed safety requirements within SysML. - Iulia Dragomir; Iulian Ober; Christian Percebois (Softw. Syst. Model., 2017)

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. - Iulia Dragomir; Simon Iosti; Marius Bozga; Saddek Bensalem (ISoLA (3), 2018)

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (VMCAI, 2019)

Rigorous Design of FDIR Systems with BIP. - Iulia Dragomir; Saddek Bensalem (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2019)

The Refinement Calculus of Reactive Systems Toolset. - Iulia Dragomir; Viorel Preoteasa; Stavros Tripakis (Int. J. Softw. Tools Technol. Transf., 2020)

Formal verification of space systems designed with TASTE. - Iulia Dragomir; Marius Bozga; Iulian Ober; D. Silveira; Tiago Jorge; E. Alaña; Maxime Perrotin (CoRR, 2021)

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 (MoDELS (Companion), 2022)

The refinement calculus of reactive systems. - Viorel Preoteasa; Iulia Dragomir; Stavros Tripakis (Inf. Comput., 2022)

Model-based design of resilient systems using quantitative risk assessment. - Braham Lotfi Mediouni; Iulia Dragomir; Ayoub Nouri; Saddek Bensalem (Innov. Syst. Softw. Eng., 2024)

Cooperative robotic exploration of a planetary skylight surface and lava cave. - Raúl Domínguez; Carlos Jesús Pérez-del-Pulgar; Gonzalo Jesús Paz-Delgado; Fabio Polisano; Jonathan Babel; Thierry Germa; Iulia Dragomir; Valérie Ciarletti; Anne-Claire Berthet; Leon Cedric Danter; Frank Kirchner (Sci. Robotics, 2025)