| The IF toolset M Bozga, S Graf, I Ober, I Ober, J Sifakis Formal Methods for the Design of Real-Time Systems: International School on …, 2004 | 254 | 2004 |
| Validating timed UML models by simulation and verification I Ober, S Graf, I Ober International Journal on Software Tools for Technology Transfer 8 (2), 128-145, 2006 | 142 | 2006 |
| A real-time profile for UML S Graf, I Ober, I Ober International Journal on Software Tools for Technology Transfer 8, 113-127, 2006 | 86 | 2006 |
| Validation of UML models via a mapping to communicating extended timed automata I Ober, S Graf, I Ober International SPIN Workshop on Model Checking of Software, 127-145, 2004 | 65 | 2004 |
| Timed extensions for SDL M Bozga, S Graf, L Mounier, I Ober, JL Roux, D Vincent SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark …, 2001 | 55 | 2001 |
| Timed annotations in UML S Graf, I Ober, I Ober Workshop on Specification and Validation of UML models for Real Time and …, 2003 | 45 | 2003 |
| Supporting UML-based development of embedded systems by formal techniques J Hooman, H Kugler, I Ober, A Votintseva, Y Yushtein Software & Systems Modeling 7, 131-155, 2008 | 42 | 2008 |
| SDL for Real-Time: What is missing? M Bozga, S Graf, L Mounier, A Kerbrat, I Ober, D Vincent 2nd Workshop of the SDL Forum Society on SDL and MSC SAM2000, 108-122, 2000 | 39 | 2000 |
| 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 |
| SysML models verification and validation in an industrial context: Challenges and experimentation R Baduel, M Chami, JM Bruel, I Ober Modelling Foundations and Applications: 14th European Conference, ECMFA 2018 …, 2018 | 26 | 2018 |
| 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 |
| Seeing errors: model driven simulation trace visualization EA Aboussoror, I Ober, I Ober Model Driven Engineering Languages and Systems: 15th International …, 2012 | 19 | 2012 |
| Modeling and validation of a software architecture for the ariane-5 launcher I Ober, S Graf, D Lesens International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 17 | 2006 |
| On the concurrent object model of UML I Ober, I Stan Euro-Par’99 Parallel Processing: 5th International Euro-Par Conference …, 1999 | 17 | 1999 |
| Model checking of UML models via a mapping to communicating extended timed automata S Graf, I Ober, I Ober Proceedings of SPIN 4, 2004 | 14 | 2004 |
| 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 |
| Modeling and analysis of real-time and embedded systems S Graf, S Gérard, Ĝ Haugen, I Ober, B Selic Satellite Events at the MoDELS 2005 Conference: MoDELS 2005 International …, 2006 | 13 | 2006 |
| Verification of quantitative temporal properties of SDL specifications I Ober, A Kerbrat International SDL Forum, 182-202, 2001 | 13 | 2001 |
| Certification of embedded systems based on Machine Learning: A survey G Vidot, C Gabreau, I Ober, I Ober arXiv preprint arXiv:2106.07221, 2021 | 12 | 2021 |
Susanne GrafResearch Director, CNRS, Grenoble University, VerimagVerified email at imag.fr
