Follow
Ileana Ober
Ileana Ober
University of Toulouse
Verified email at irit.Fr - Homepage
Title
Cited by
Cited by
Year
The IF toolset
M Bozga, S Graf, I Ober, I Ober, J Sifakis
Formal Methods for the Design of Real-Time Systems, 237-267, 2004
2522004
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
1382006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer, 2006
822006
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
632004
Timed annotations in UML
S Graf, I Ober, I Ober
Workshop on Specification and Validation of UML models for Real Time and …, 2003
442003
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
J Vaidya, SA Chun, L Wang, B Shafiq
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2013
362013
An asm semantics of uml derived from the meta-model and incorporating actions
I Ober
International Workshop on Abstract State Machines, 356-371, 2003
302003
MDE in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
292015
MDE4HPC: an approach for using model-driven engineering in high-performance computing
M Palyart, D Lugato, I Ober, JM Bruel
International SDL Forum, 247-261, 2011
252011
A real-time profile for UML and how to adapt it to SDL
S Graf, I Ober
International SDL Forum, 55-76, 2003
222003
More meaningful UML models
I Ober
Proceedings 37th International Conference on Technology of Object-Oriented …, 2000
222000
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
182012
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
International Conference on Model Driven Engineering Languages and Systems …, 2012
182012
Improving scalability and maintenance of software for high-performance scientific computing by combining MDE and frameworks
M Palyart, D Lugato, I Ober, JM Bruel
International Conference on Model Driven Engineering Languages and Systems …, 2011
172011
Towards interoperability in component based development with a family of DSLs
I Ober, A Abou Dib, L Féraud, C Percebois
European Conference on Software Architecture, 148-163, 2008
152008
Model checking of UML models via a mapping to communicating extended timed automata
S Graf, I Ober, I Ober
Proc. SPIN 4, 2004
152004
Harmonizing design languages with object-oriented extensions and an executable semantics
I Ober
Ph. D. Thesis. Institut National Polytechnique de Toulouse, France, 2001
152001
SDL-the IoT language
E Sherratt, I Ober, E Gaudin, P Fonseca i Casas, F Kristoffersen
International SDL Forum, 27-41, 2015
142015
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
122013
How useful is the UML realtime profile SPT without semantics?
S Graf, I Ober
Proceedings of the Specification, Implementation and Validation of Object …, 2004
122004
The system can't perform the operation now. Try again later.
Articles 1–20