Iulia Dragomir
Iulia Dragomir
GMV Aerospace and Defence
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα gmv.com
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
The refinement calculus of reactive systems
V Preoteasa, I Dragomir, S Tripakis
Information and Computation, 104819, 2021
332021
OMEGA2: A new version of the profile and the tools
I Ober, I Dragomir
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
302010
Compositional semantics and analysis of hierarchical block diagrams
I Dragomir, V Preoteasa, S Tripakis
International Symposium on Model Checking Software, 38-56, 2016
252016
Unambiguous UML composite structures: the OMEGA2 experience
I Ober, I Dragomir
International Conference on Current Trends in Theory and Practice of …, 2011
252011
Contract-based modeling and verification of timed safety requirements within SysML
I Dragomir, I Ober, C Percebois
Software & Systems Modeling 16 (2), 587-624, 2017
222017
ESROCOS: a robotic operating system for space and terrestrial applications
MM Arancón, G Montano, M Wirkus, K Hoeflinger, D Silveira, N Tsiogkas, ...
14th Symposium on Advanced Space Technologies in Robotics and Automation …, 2017
212017
The refinement calculus of reactive systems toolset
I Dragomir, V Preoteasa, S Tripakis
International Journal on Software Tools for Technology Transfer 22 (6), 689-708, 2020
162020
Designing systems with detection and reconfiguration capabilities: a formal approach
I Dragomir, S Iosti, M Bozga, S Bensalem
International Symposium on Leveraging Applications of Formal Methods, 155-171, 2018
132018
The ERGO framework and its use in planetary/orbital scenarios
J Ocon, F Colemenero, J Estremera, K Buckley, M Alonso, E Heredia, ...
Proceedings of the 69th International Astronautical Congress (IAC), 2018
132018
A case study in formal system engineering with SysML
I Dragomir, I Ober, D Lesens
2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012
132012
Type inference of Simulink hierarchical block diagrams in Isabelle
V Preoteasa, I Dragomir, S Tripakis
International Conference on Formal Techniques for Distributed Objects …, 2017
112017
UML/SysML semantic tunings
I Ober, I Ober, I Dragomir, EA Aboussoror
Innovations in Systems and Software Engineering 7 (4), 257-264, 2011
102011
Formal model driven engineering for space onboard software
E Conquet, FX Dormoy, I Dragomir, S Graf, D Lesens, P Nienaltowski, ...
Embedded Real Time Software and Systems (ERTS2012), 2012
82012
Mechanically proving determinacy of hierarchical block diagram translations
V Preoteasa, I Dragomir, S Tripakis
International Conference on Verification, Model Checking, and Abstract …, 2019
7*2019
Integrating verifiable assume/guarantee contracts in uml/sysml
I Dragomir, I Ober, C Percebois
International Workshop on Model Based Architecting and Construction of …, 2013
72013
Early analysis of ambient systems sysml properties using omega2-ifx
M Ahmad, I Dragomir, JM Bruel, I Ober, N Belloir
SIMULTECH 2013, 2013
72013
Using the ERGO Framework in a Planetary and an Orbital Scenario
J Ocon, K Buckley, F Colemenero, S Bensalem, I Dragomir, S Karachalios, ...
Proceedings of the 14th International Symposium on Artificial Intelligence …, 2018
62018
Translating hierarchical block diagrams into composite predicate transformers
I Dragomir, V Preoteasa, S Tripakis
arXiv preprint arXiv:1510.04873, 2015
62015
Safety contracts for timed reactive components in sysml
I Dragomir, I Ober, C Percebois
International Conference on Current Trends in Theory and Practice of …, 2014
62014
ADE: Autonomous DEcision making in very long traverses
J Ocón, I Dragomir, A Coles, A Green, L Kunze, R Marc, CJ Perez, ...
Lunar and Planetary Institute, 2021
52021
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20