Publications de Ileana OBER
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis
International Journal on Software Tools for Technology Transfer, 2024, 26 (2), pp.189-205. ⟨10.1007/s10009-024-00741-6⟩
Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira
Applying MDE to ROS Systems: A Comparative Analysis
Scientific Annals of Computer Science, 2021, 31 (1), pp.111 – 144. ⟨10.7561/sacs.2021.1.111⟩
Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
On the use of models for high-performance scientific computing applications: an experience report
Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
UML/SysML semantic tunings
Dans : Innovations in Systems and Software Engineering, Springer – ISSE NASA, Vol. 7 N. 4, p. 257-264, novembre 2011.
Accès : https://hal.archives-ouvertes.fr/hal-02943101 – https://doi.org/10.1007/s11334-011-0163-2
BibTeXMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Le calcul hautes performances: un nouveau champ d’application pour l’ingénierie de modèles
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, p. 41-46, juin 2011.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, p. 21-28, janvier 2010.
Résumé Accès : http://www.springerlink.com/content/y78373u877564110/
BibTeXIulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager
Dans : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, p. 301-308, août 2008.
Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
Dans : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, p. 24-31, juin 2007.
Iulian Ober, Susanne Graf, Ileana Ober
Validating timed UML models by simulation and verification
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, p. 128-145, 2006.
Susanne Graf, Ileana Ober, Iulian Ober
A real-time profile for UML
Dans : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, p. 113-127, 2006.
Jean-Michel Bruel, Ileana Ober
Components modeling in UML 2
Dans : Studia Jurnal, Babes-Bolyai University, Cluj-Napoca (Roumanie), Vol. 1, p. 79-90, 2006.
Iulian Ober, Ileana Ober, Susanne Graf, David Lesens
Projet OMEGA : un profil UML et un outil pour la modélisation et la validation de systèmes temps réel
Dans : Génie Logiciel, GL & SI, 8, rue du parc – 92190 Meudon, Vol. 73, p. 33-38, juin 2005.
Minh Khoi Nguyen, Hanh Nhi Tran, Razan Abualsaud, Ileana Ober
An AI-Enhanced Process Mining Framework for Software Process Insights
15th International Conference on Knowledge and Systems Engineering (KSE 2023), Oct 2023, Hanoï, Vietnam. pp.1-6, ⟨10.1109/KSE59128.2023.10299475⟩
Razan Abualsaud, Hanh Nhi Tran, Ileana Ober, Minh Khoi Nguyen
Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Institute for Systems and Technologies of Information, Control and Communication (INSTICC); ACM Special Interest Group on Management Information Systems (ACM SIGMIS); IEEE SMC – IEEE Technical Committee on Enterprise Information Systems, Apr 2023, Prague, Czech Republic. pp.656-663, ⟨10.5220/0011989900003464⟩
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Iulian Ober, Ileana Ober
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober
Process Mining to Discover the Global Process from its Fragments’ Executions
17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), Apr 2022, Online Streaming, France. pp.363-370, ⟨10.5220/0011044800003176⟩
Ileana Ober, Philippe Joly, Jaroslav Nosek
About the Double Degree Master’s Programs between University Toulouse III-Paul Sabatier and Technical University of Liberec
2021 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM), Jun 2021, Liberec, France. pp.1-4, ⟨10.1109/ECMSM51310.2021.9468839⟩
Ileana Ober, Mickaël Trezzy, Iulian Ober, Raquel Oliveira
Leveraging domain specific modeling to increase accessibility of robot programming
IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM 2021), IEEE, Jun 2021, Liberec, Czech Republic. ⟨10.1109/ECMSM51310.2021.9468864⟩
Mickaël Trezzy, Ileana Ober, Iulian Ober
Applying MDE to ROS systems: A comparative analysis
4th Working Formal Methods Symposium (FROM 2020), Sep 2020, Cluj-Napoca (virtual), Romania
Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel
Model-Based Systems Engineering for Systems Simulation
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448
Mickaël Trezzy, Ileana Ober, Raquel Oliveira
Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018)
7ème Conférence en IngénieriE du Logiciel (CIEL 2018), Université Grenoble Alpes, Grenoble, France, Jun 2018, Grenoble, France
Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel
Modeling co-simulation : a first experiment
5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017) co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Sep 2017, Austin, TX, United States. pp.292-297
On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns
17th International Conference on Computational Science (ICCS 2017), Jun 2017, Zürich, Switzerland. pp. 2298-2302
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca I Casas, Finn Kristoffersen
SDL – the IoT Language
17th International System Design Languages Forum (SDL 2015), Oct 2015, Berlin, Germany. pp. 27-41
I. Dragomir, S. Graf, G. Karsai, F. Noyrit, Ileana Ober
Introduction to ACESMB 2015- Model-based architecting of cyber-physical and embedded systems
8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015, Sep 2015, Ottawa, Canada. pp.1-2
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal
MDE in Practice for Computational Science
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback (regular paper)
Dans : International System Design Languages Forum (SDL 2013), Montréal, Canada, 26/06/13-28/06/13, Vol. 7916, Springer, LNCS, p. 107-123, juin 2013.
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Visualisation orientee modele de trace de simulation (short paper)
Dans : Journées nationales du GDR CNRS Génie de la Programmation et du Logiciel, Nancy, 03/04/13-05/04/13, Duchien Laurence (Eds.), Université de Lorraine, p. 92, avril 2013.
Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel
HPCML: a modeling language dedicated to high-performance scientific computing (regular paper)
Dans : International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL 2012), Innsbruck, Austria}, 02/10/12-02/10/12, ACM Digital Library, (en ligne), 2012.
Accès : http://dx.doi.org/10.1145/2446224.2446230 – https://oatao.univ-toulouse.fr/12879/
BibTeXEl Arbi Aboussoror, Ileana Ober, Iulian Ober
Seeing Errors: Model Driven Simulation Trace Visualization (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Autriche, 30/09/12-05/10/12, Robert France, Jürgen Kazmeier (Eds.), Springer, LNCS 7590, p. 480-496, octobre 2012.
Accès : http://doi.org/10.1007/978-3-642-33666-9_31 – https://hal.archives-ouvertes.fr/hal-02943097
BibTeXDan Chiorean, Ileana Ober, Vladiela Petrascu
Avoiding OCL specification pitfalls (regular paper)
Dans : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, Nouvelle Zeelande, 18/10/11-18/10/11, Vol. 2, Marion Brandsteidl, Andreas Winter (Eds.), Université de Oldenburg, p. 7-17, septembre 2011 (best paper).
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, 16/10/11-21/10/11, Vol. 6981, Jon Whittle, Tony Clark, Thomas Kühne (Eds.), Springer, LNCS, p. 213-227, septembre 2011.
Modeling Wizards : École d’automne dédiée à la modélisation (regular paper)
Dans : Journées nationales du GDR CNRS Programmation et Logiciel, Lille, France, 08/06/11-10/06/11, Yves Ledru, Anne-Françoise Le Meur, Olivier Caron (Eds.), Université de Lille, p. 77-81, 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC : An Approach for Using Model-Driven Engineering in High-Performance Computing (regular paper)
Dans : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), Springer, LNCS 7083, p. 245-259, octobre 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC: An approach for Using Model-Drieven-Engineering in High Performance Computing (regular paper)
Dans : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), IRIT, p. 213-228, juin 2011.
Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010) (regular paper)
Dans : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Oslo, 02/10/11-08/10/11, Jürger Dingel, Soldberg Solberg (Eds.), Springer, LNCS 6627, p. 70-74, 2011.
Accès : http://dx.doi.org/10.1007/978-3-642-21210-9_7
BibTeXAnna Medve, László Kozma, Ileana Ober
General Modelling Approach Based on the Intensive Use of Architectural and Design Patterns (regular paper)
Dans : IADIS Applied Computing, Timisoara, Romania, 14/10/10-17/10/10, Hans Weghorn, Pedro Isaías, Radu Vasiu (Eds.), IADIS, p. 251-255, septembre 2010.
Dan Chiorean, Vladiela Petrascu, Ileana Ober
Testing-Oriented Improvements of OCL Specification Patterns (regular paper)
Dans : IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2010), Cluj Napoca, Roumanie, 28/05/10-30/05/10, Vol. II, Paolo Prinetto, Paula Raica, Dorina Capatina (Eds.), IEEE Computer Society, p. 143-148, mai 2010.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper)
Dans : UML&FM, Rio de Janeiro, 08/12/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, p. 17-23, décembre 2009.
El Arbi Aboussoror, Ileana Ober, Michelle Sibilla
Towards Model Based Development of Managed Networked Embedded Systems
Dans : System Design Languages Forum, Bochum, Germany, 22/09/09-24/09/09, Rick Reed, Reinhard Gotzhein, Attila Bilgic (Eds.), Springer-Verlag, LNCS 5719, p. 55-65, septembre 2009.
From Models to Components: Filling the Gap with SDL Macro-patterns
Dans : Innovation In Software Engineering, Vienna, 10/12/08-12/12/08, IEEE : Institute of Electrical and Electronics Engineers, p. 57-72, décembre 2008.
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards interoperability in component based development with a family of DSLs
Dans : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, p. 148-163, septembre 2008.
Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-88029-5
BibTeXUsing ASM to achieve executability within a family of DSL
Dans : International Conference on ASM, B and Z, London, 17/09/08-19/09/08, Vol. LNCS, Egon Boerger, Michael Butler, Jonathan P. Bowen, Paul Boca (Eds.), Springer-Verlag, p. 354-374, septembre 2008.
Ali Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober
Towards a Rigorous Framework for dealing with Domain Specific Language Families
Dans : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (support électronique), avril 2008 (First Best Paper Award).
Teaching MDA: From Pyramids to Sand Clocks
Dans : Physicality, Nashville, USA, 03/10/07-03/10/07, Miroslaw Staron (Eds.), IT University of Göteborg, p. 34-39, octobre 2007.
Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud
Modélisation en UML et OCL de langages dédiés
Dans : Journée KERMETA 2006, Rennes, France, 10/10/06.
What do we need metamodels for?
Dans : Nordic Workshop on UML and Software Modelling (NWUML 2006), Grimstad, Norway, 12/06/06-16/06/06, Agder University College – Faculty of Engineering and ScienceE, p. 8-28, 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
Dans : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, p. 25-30, juin 2006.
Thierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek
Tooling a UML method based on OCL
Dans : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/05-21/11/05, Erwan Poupart (Eds.).
Hervé Leblanc, Thierry Millan, Ileana Ober
Démarche de développement orienté modèles : de la vérification de modèles à l’outillage de la démarche
Dans : Ingénierie Dirigée par les Modèles, Paris, 30/06/05-01/07/05, Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Müller, Xavier Blanc (Eds.), CEA List – ISBN 2-7261-1284-6, p. 125-140, juin 2005.
Accès : http://idm.imag.fr/idm05/
BibTeXIleana Ober, Bernard Coulette, Marcel Gandriau
Action language for UML
Dans : Langages et Modèles à Objets, Mont Saint Hilaire, 26/01/00-28/01/00, Hermès Science Publication, p. 227-291, janvier 2000.
Ileana Ober, Marcel Gandriau, Bernard Coulette
The action semantics problem
Dans : Workshop OOPSLA “Rigorous modeling and analysis of the UML”., Denver, ., novembre 1999.
Workshop on Models for Non-functional Properties of Component-Based Software – NfC
Dans : MoDELS Satellite Events 2005. Jean-Michel Bruel (Eds.) , Springer-Verlag, 8, p. 217-226, Vol. 3844, LNCS, 2006.
Jean-Michel Bruel, Georg Geri, Ileana Ober
Models for Non-functional Aspects of Component-Based Software (NfC’04)
Dans : UML 2004 Satellite Activities. N. J. Nuntes (Eds.) , Springer-Verlag, p. 62-66, Vol. 3297, LNCS, 2005.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis
The IF toolset
Dans : SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. Marco Bernardo, Flavio Corradini (Eds.) , Springer-Verlag, p. 237-267, Vol. 3185, LNCS, juin 2004.
Susanne Graf, Haugen Øystein , Ileana Ober, Selic Bran
SVERTS – Specification and Validation of Real-Time and Embedded Systems
Dans : UML 2004 Satellite Activities. N.J. Nuntes (Eds.) , Springer-Verlag, p. 33-42, Vol. 3297, LNCS, 2004.
Modélisation, formalisation et techniques métier. Applications au développement de systèmes hétérogènes et temps-réel
Habilitation à diriger des recherches, Université Paul Sabatier, novembre 2010.
Harmonisation des langages de modélisation avec des extensions orientées-objet et une sémantique exécutable
Thèse de doctorat, Institut National Polytechnique de Toulouse, avril 2001.
Modèles et espace technologique des systèmes d’information
Dans : Revue des Sciences et Technologies de l’Information, série Ingénierie des Systèmes d’Information, Lavoisier, Vol. 12, mai 2007.
Ileana Ober, Aniruddha Gokhale, James Hill, Jean-Michel Bruel, Michael Felderer, Akshay Dabholkar
MDHPCL 2013: Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing , Miami, Florida, USA, 29/09/2013 – 29/09/2013
Ober, Ileana; Gokhale, Aniruddha; Hill, James; Bruel, Jean-Michel; Felderer, Michael; Dabholkar, Akshay. 2nd International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL 2013), Sep 2013, Miami, Florida, United States. CEUR-WS.org, 2014, 118, ISSN: 1613-0073
Ileana Ober, Aniruddha Gokhale, Georg Geri, Michael Felderer, Jean-Michel Bruel, David Lugato
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL), Innsbruck, Autriche, 02/10/12 – 02/10/12, ACM Digital Library, DL 10.1145/2446224.2446225, 2013.
MW ’12: Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards, Innsbruck, Autriche, 27/09/12 – 29/09/12, ACM Digital Library, DL 10.1145/2448076.2448077, 2012.
Résumé Accès : http://dl.acm.org/citation.cfm?doid=2448076.2448077
BibTeXJournées sur l’Ingénierie Dirigée par les Modèles IDM 2011, Lille, 07/06/11 – 08/06/11, IRIT, ISBN 978-2-917490-15-0, juin 2011.
SDL 2011 : Integrating System and Software Modeling – 15th International SDL Forum Toulouse, Toulouse, 05/07/11 – 07/07/11, Springer, LNCS 7083, juillet 2011.
Accès : https://doi.org/10.1007/978-3-642-25264-8 – https://hal.archives-ouvertes.fr/hal-02943110
BibTeX1st International Master Class on Model-Driven Engineering, Oslo, Norway, 30/09/10 – 02/10/10, IRIT, septembre 2010.
Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huascar Espinoza
Proceedings of the 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems, Denver, Co, USA, 06/10/09 – 06/10/09, CEUR-WS : Workshop proceedings, septembre 2009.
Krzysztof Czarnecki, Ileana Ober, Jean-Michel Bruel, Axel Uhl, Markus Völter
11th International Conference Model Driven Engineering Languages and Systems, Toulouse, France, 28/09/08 – 03/10/08, Springer-Verlag, LNCS 5301, septembre 2008.
Résumé Accès : http://www.springer.com/computer/programming/book/978-3-540-87874-2
BibTeX
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Certification of embedded systems based on Machine Learning: A survey
2021