| Compositional semantics and analysis of hierarchical block diagrams I Dragomir, V Preoteasa, S Tripakis Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 33 | 2016 |
| 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 | 31 | 2017 |
| 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 | 31 | 2010 |
| Unambiguous UML composite structures: the OMEGA2 experience I Ober, I Dragomir International Conference on Current Trends in Theory and Practice of …, 2011 | 27 | 2011 |
| Contract-based modeling and verification of timed safety requirements within SysML I Dragomir, I Ober, C Percebois Software & Systems Modeling 16, 587-624, 2017 | 26 | 2017 |
| The refinement calculus of reactive systems toolset I Dragomir, V Preoteasa, S Tripakis International Journal on Software Tools for Technology Transfer 22, 689-708, 2020 | 23 | 2020 |
| 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 | 17 | 2018 |
| 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 | 16 | 2018 |
| 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 | 13 | 2012 |
| Type inference of Simulink hierarchical block diagrams in Isabelle V Preoteasa, I Dragomir, S Tripakis Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 12 | 2017 |
| Mechanically proving determinacy of hierarchical block diagram translations V Preoteasa, I Dragomir, S Tripakis Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 11* | 2019 |
| Early analysis of ambient systems sysml properties using omega2-ifx M Ahmad, I Dragomir, JM Bruel, I Ober, N Belloir SIMULTECH 2013, 2013 | 11 | 2013 |
| UML/SysML semantic tunings I Ober, I Ober, I Dragomir, EA Aboussoror Innovations in Systems and Software Engineering 7, 257-264, 2011 | 10 | 2011 |
| 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 | 9* | 2018 |
| 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, 2020 | 8 | 2020 |
| 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 | 8 | 2012 |
| Translating hierarchical block diagrams into composite predicate transformers I Dragomir, V Preoteasa, S Tripakis arXiv preprint arXiv:1510.04873, 2015 | 6 | 2015 |
| Integrating verifiable assume/guarantee contracts in uml/sysml I Dragomir, I Ober, C Percebois CEUR Workshop Proceedings 1084, 1-10, 2013 | 6 | 2013 |
| Rigorous design of FDIR systems with BIP I Dragomir, S Bensalem Electronic Communications of the EASST 77, 2019 | 4 | 2019 |
| Safety contracts for timed reactive components in sysml I Dragomir, I Ober, C Percebois SOFSEM 2014: Theory and Practice of Computer Science: 40th International …, 2014 | 4 | 2014 |
Iulian OberProfessor of software and systems engineering, ISAE-Supaero, Toulouse University, FranceVerified email at isae-supaero.fr
