Ileana Ober
Ileana Ober
University of Toulouse
Vahvistettu sähköpostiosoite verkkotunnuksessa irit.Fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
2412004
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
1262006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer, 2006
782006
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
612004
Timed annotations in UML
S Graf, I Ober, I Ober
Workshop on Specification and Validation of UML models for Real Time and …, 2003
452003
An ASM semantics of UML derived from the meta-model and incorporating actions
I Ober
International Workshop on Abstract State Machines, 356-371, 2003
292003
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
262011
Mde in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
242015
More meaningful UML models
I Ober
Proceedings 37th International Conference on Technology of Object-Oriented …, 2000
242000
A real-time profile for UML and how to adapt it to SDL
S Graf, I Ober
International SDL Forum, 55-76, 2003
222003
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
192012
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
International Conference on Model Driven Engineering Languages and Systems …, 2012
172012
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
162011
Model checking of UML models via a mapping to communicating extended timed automata
S Graf, I Ober, I Ober
Proceedings of 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
142001
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
132008
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
Model-Driven Engineering for High Performance Computing Applications
D Lugato, JM Bruel, I Ober, S Cakaj
Modeling Simulation and Optimization-Focus on Applications, 19-33, 2010
112010
What do we need metamodels for
I Ober, A Prinz
4th Nordic Workshop on UML and Software Modelling, 8-28, 2006
112006
UML/SysML semantic tunings
I Ober, I Ober, I Dragomir, EA Aboussoror
Innovations in Systems and Software Engineering 7 (4), 257-264, 2011
102011
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20