Iulia Dragomir

31 papers B 5C 3Journal 15Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cooperative robotic exploration of a planetary skylight surface and lava cave.
Sci. Robotics
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
2025 J jnl
Specification and model-checking of space systems in the TASTE toolset.
Innov. Syst. Softw. Eng.
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin
2024 J jnl
Model-based design of resilient systems using quantitative risk assessment.
Innov. Syst. Softw. Eng.
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2022 — conf
Model-checking of space systems designed with TASTE/SDL.
MoDELS (Companion)
Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin
2022 J jnl
The refinement calculus of reactive systems.
Inf. Comput.
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2021 J jnl
Formal verification of space systems designed with TASTE.
CoRR
Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin
2020 C conf
Model-Based Design of Resilient Systems Using Quantitative Risk Assessment.
VECoS
Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri, Saddek Bensalem
2020 J jnl
The Refinement Calculus of Reactive Systems Toolset.
Int. J. Softw. Tools Technol. Transf.
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2019 B conf
Mechanically Proving Determinacy of Hierarchical Block Diagram Translations.
VMCAI
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2019 J jnl
Rigorous Design of FDIR Systems with BIP.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Iulia Dragomir, Saddek Bensalem
2018 — conf
Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach.
ISoLA (3)
Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem
2018 — conf
The Refinement Calculus of Reactive Systems Toolset.
TACAS (2)
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017 J jnl
Contract-based modeling and verification of timed safety requirements within SysML.
Softw. Syst. Model.
Iulia Dragomir, Iulian Ober, Christian Percebois
2017 J jnl
The Refinement Calculus of Reactive Systems Toolset.
CoRR
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2017 J jnl
The Refinement Calculus of Reactive Systems.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2017 C conf
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.
FORTE
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016 J jnl
A Nondeterministic and Abstract Algorithm for Translating Hierarchical Block Diagrams.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2016 — conf
Compositional Semantics and Analysis of Hierarchical Block Diagrams.
SPIN
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2016 J jnl
Type Inference of Simulink Hierarchical Block Diagrams in Isabelle.
CoRR
Viorel Preoteasa, Iulia Dragomir, Stavros Tripakis
2015 — conf
Introduction to ACES-MB 2015.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
2015 — ed.
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.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
2015 J jnl
Translating Hierarchical Block Diagrams into Composite Predicate Transformers.
CoRR
Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis
2014 — ed.
Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014.
ACES-MB@MoDELS
Florian Noyrit, Susanne Graf, Iulia Dragomir
2014 B conf
Safety Contracts for Timed Reactive Components in SysML.
SOFSEM
Iulia Dragomir, Iulian Ober, Christian Percebois
2013 C conf
Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.
SIMULTECH
Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir
2013 — conf
Integrating verifiable Assume/Guarantee contracts in UML/SysML.
ACES-MB@MoDELS
Iulia Dragomir, Iulian Ober, Christian Percebois
2012 B conf
A Case Study in Formal System Engineering with SysML.
ICECCS
Iulia Dragomir, Iulian Ober, David Lesens
2011 J jnl
UML/SysML semantic tunings.
Innov. Syst. Softw. Eng.
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
2011 B conf
Unambiguous UML Composite Structures: The OMEGA2 Experience.
SOFSEM
Iulian Ober, Iulia Dragomir
2010 B conf
OMEGA2: A New Version of the Profile and the Tools.
ICECCS
Iulian Ober, Iulia Dragomir
2010 J jnl
Well-formedness and typing rules for UML Composite Structures
CoRR
Iulia Dragomir, Iulian Ober