Seguir
Ileana Ober
Ileana Ober
University of Toulouse
Dirección de correo verificada de irit.Fr - Página principal
Título
Citado por
Citado por
Año
Support vector machines: Theory and applications
T Evgeniou, M Pontil
Advanced course on artificial intelligence, 249-257, 1999
789*1999
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
2622004
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
1432006
A real-time profile for UML
S Graf, I Ober, I Ober
International Journal on Software Tools for Technology Transfer 8, 113-127, 2006
852006
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
662004
Timed annotations in UML
S Graf, I Ober, I Ober
Workshop on Specification and Validation of UML models for Real Time and …, 2003
452003
MDE in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
352015
An asm semantics of uml derived from the meta-model and incorporating actions
I Ober
International Workshop on Abstract State Machines, 356-371, 2003
262003
More meaningful UML models
I Ober
Proceedings 37th International Conference on Technology of Object-Oriented …, 2000
252000
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
232011
A real-time profile for UML and how to adapt it to SDL
S Graf, I Ober
International SDL Forum, 55-76, 2003
232003
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
212015
Seeing errors: model driven simulation trace visualization
EA Aboussoror, I Ober, I Ober
Model Driven Engineering Languages and Systems: 15th International …, 2012
202012
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
Certification of embedded systems based on Machine Learning: A survey
G Vidot, C Gabreau, I Ober, I Ober
arXiv preprint arXiv:2106.07221, 2021
172021
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
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
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
142008
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
132013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20