| Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ... Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006 | 386* | 2006 |
| 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 | 255 | 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 | 141 | 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 | 85 | 2006 |
| Validation of UML models via a mapping to communicating extended timed automata I Ober, S Graf, I Ober Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004 | 64 | 2004 |
| 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 |
| MDE in practice for computational science JM Bruel, B Combemale, I Ober, H Raynal Procedia Computer Science 51, 660-669, 2015 | 34 | 2015 |
| An asm semantics of uml derived from the meta-model and incorporating actions I Ober Abstract State Machines 2003: Advances in Theory and Practice 10th …, 2003 | 30 | 2003 |
| MDE4HPC: an approach for using model-driven engineering in high-performance computing M Palyart, D Lugato, I Ober, JM Bruel SDL 2011: Integrating System and Software Modeling: 15th International SDL …, 2012 | 25 | 2012 |
| More meaningful UML models I Ober Proceedings 37th International Conference on Technology of Object-Oriented …, 2000 | 24 | 2000 |
| A real-time profile for UML and how to adapt it to SDL S Graf, I Ober SDL 2003: System Design: 11th International SDL Forum Stuttgart, Germany …, 2003 | 22 | 2003 |
| HPCML: a modeling language dedicated to high-performance scientific computing M Palyart, I Ober, D Lugato, JM Bruel Proceedings of the 1st International Workshop on Model-Driven Engineering …, 2012 | 19 | 2012 |
| SDL-the IoT language E Sherratt, I Ober, E Gaudin, P Fonseca i Casas, F Kristoffersen SDL 2015: Model-Driven Engineering for Smart Cities: 17th International SDL …, 2015 | 18 | 2015 |
| Seeing errors: model driven simulation trace visualization EA Aboussoror, I Ober, I Ober Model Driven Engineering Languages and Systems: 15th International …, 2012 | 18 | 2012 |
| Improving scalability and maintenance of software for high-performance scientific computing by combining MDE and frameworks M Palyart, D Lugato, I Ober, JM Bruel Model Driven Engineering Languages and Systems: 14th International …, 2011 | 17 | 2011 |
| Harmonizing design languages with object-oriented extensions and an executable semantics I Ober Ph. D. Thesis. Institut National Polytechnique de Toulouse, France, 2001 | 16 | 2001 |
| Model checking of UML models via a mapping to communicating extended timed automata S Graf, I Ober, I Ober Proc. SPIN 4, 2004 | 15 | 2004 |
| Towards interoperability in component based development with a family of DSLs I Ober, A Abou Dib, L Féraud, C Percebois Software Architecture: Second European Conference, ECSA 2008 Paphos, Cyprus …, 2008 | 14 | 2008 |
| Research questions for validation and verification in the context of model-based engineering C Dubois, M Famelis, M Gogolla, L Nobrega, I Ober, M Seidl, M Völter International Workshop on Model Driven Engineering, Verification and …, 2013 | 13 | 2013 |
| What do we need metamodels for I Ober, A Prinz 4th Nordic Workshop on UML and Software Modelling, 8-28, 2006 | 12 | 2006 |
