Iulia Dragomir

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 19

Top Topics

Compositional Semantics

Reactive Systems

Formal Verification

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-based design of resilient systems using quantitative risk assessment. Innov. Syst. Softw. Eng. 20 (1) (2024)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
Model-checking of space systems designed with TASTE/SDL. MoDELS (Companion) (2022)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The refinement calculus of reactive systems. Inf. Comput. 285 (Part) (2022)
Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, T. Jorge, E. Alaña, M. Perrotin
Formal verification of space systems designed with TASTE. CoRR (2021)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment. VECoS (2020)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations. VMCAI (2019)
Iulia Dragomir, Saddek Bensalem
Rigorous Design of FDIR Systems with BIP. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77 (2019)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. TACAS (2) (2018)
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. ISoLA (3) (2018)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
The Refinement Calculus of Reactive Systems Toolset. CoRR (2017)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. FORTE (2017)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
The Refinement Calculus of Reactive Systems. CoRR (2017)
Iulia Dragomir, Iulian Ober, Christian Percebois
Contract-based modeling and verification of timed safety requirements within SysML. Softw. Syst. Model. 16 (2) (2017)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Compositional Semantics and Analysis of Hierarchical Block Diagrams. SPIN (2016)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams. CoRR (2016)
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle. CoRR (2016)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
Translating Hierarchical Block Diagrams into Composite Predicate Transformers. CoRR (2015)
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS (2015)
Iulia Dragomir, Iulian Ober, Christian Percebois
Safety Contracts for Timed Reactive Components in SysML. SOFSEM (2014)
Iulia Dragomir, Iulian Ober, Christian Percebois
Integrating verifiable Assume/Guarantee contracts in UML/SysML. ACES-MB@MoDELS (2013)
Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx. SIMULTECH (2013)
Iulia Dragomir, Iulian Ober, David Lesens
A Case Study in Formal System Engineering with SysML. ICECCS (2012)
Iulian Ober, Iulia Dragomir
Unambiguous UML Composite Structures: The OMEGA2 Experience. SOFSEM (2011)
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
UML/SysML semantic tunings. Innov. Syst. Softw. Eng. 7 (4) (2011)
Iulian Ober, Iulia Dragomir
OMEGA2: A New Version of the Profile and the Tools. ICECCS (2010)
Iulia Dragomir, Iulian Ober
Well-formedness and typing rules for UML Composite Structures CoRR (2010)