Iulia Dragomir

According to our database, Iulia Dragomir authored at least 22 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Model-based design of resilient systems using quantitative risk assessment.

Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem

Innov. Syst. Softw. Eng., March, 2024

2022

The refinement calculus of reactive systems.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Inf. Comput., 2022

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

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

2021

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

2020

The Refinement Calculus of Reactive Systems Toolset.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Int. J. Softw. Tools Technol. Transf., 2020

2019

Rigorous Design of FDIR Systems with BIP.

Iulia Dragomir, Saddek Bensalem

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

Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Contract-based modeling and verification of timed safety requirements within SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Softw. Syst. Model., 2017

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2016

A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.

Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis

CoRR, 2016

Compositional Semantics and Analysis of Hierarchical Block Diagrams.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

2015

Translating Hierarchical Block Diagrams into Composite Predicate Transformers.

Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis

CoRR, 2015

Introduction to ACES-MB 2015.

Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober

Proceedings of the 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), 2015

2014

Safety Contracts for Timed Reactive Components in SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

2013

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.

Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir

Proceedings of the SIMULTECH 2013, 2013

Integrating verifiable Assume/Guarantee contracts in UML/SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

2012

A Case Study in Formal System Engineering with SysML.

Iulia Dragomir, Iulian Ober, David Lesens

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

UML/SysML semantic tunings.

Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror

Innov. Syst. Softw. Eng., 2011

Unambiguous UML Composite Structures: The OMEGA2 Experience.

Iulian Ober, Iulia Dragomir

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 2011

2010

Well-formedness and typing rules for UML Composite Structures

Iulia Dragomir, Iulian Ober

CoRR, 2010

OMEGA2: A New Version of the Profile and the Tools.

Iulian Ober, Iulia Dragomir

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010