Ileana Ober

According to our database, Ileana Ober authored at least 48 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Certification of avionic software based on machine learning: the case for formal monotony analysis.

Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot

Int. J. Softw. Tools Technol. Transf., April, 2024

2023

An AI-Enhanced Process Mining Framework for Software Process Insights.

Minh Khoi Nguyen, Hanh Nhi Tran, Razan Abualsaud, Ileana Ober

Proceedings of the 15th International Conference on Knowledge and Systems Engineering, 2023

Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling.

Razan Abualsaud, Hanh Nhi Tran, Ileana Ober, Minh Khoi Nguyen

Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering, 2023

2022

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

Process Mining to Discover the Global Process from its Fragments' Executions.

Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober

Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, 2022

2021

Applying MDE to ROS Systems: A Comparative Analysis.

Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Araújo de Oliveira

Sci. Ann. Comput. Sci., 2021

Certification of embedded systems based on Machine Learning: A survey.

Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober

CoRR, 2021

2018

On the use of models for high-performance scientific computing applications: an experience report.

Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato

Softw. Syst. Model., 2018

CPS simulation models categories in Extended Enterprises.

Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Model-Based Systems Engineering for Systems Simulation.

Renan Leroux, Marc Pantel, Ileana Ober, Jean-Michel Bruel

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017

Modeling Co-simulation: A First Experiment.

Renan Leroux, Ileana Ober, Marc Pantel, Jean-Michel Bruel

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns.

Ileana Ober, Iulian Ober

Proceedings of the International Conference on Computational Science, 2017

2015

SDL - The IoT Language.

Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca i Casas, Finn Kristoffersen

Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

MDE in Practice for Computational Science.

Jean-Michel Bruel, Benoît Combemale, Ileana Ober, Hélène Raynal

Proceedings of the International Conference on Computational Science, 2015

2013

Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback.

El Arbi Aboussoror, Ileana Ober, Iulian Ober

Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.

Catherine Dubois, Michalis Famelis, Martin Gogolla, Leonel Nóbrega, Ileana Ober, Martina Seidl, Markus Völter

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2012

HPCML: a modeling language dedicated to high-performance scientific computing.

Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

<i>MDHPCL 2012</i> workshop summary.

Ileana Ober, Aniruddha S. Gokhale, Geri Georg, Michael Felderer, Jean-Michel Bruel, David Lugato

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

Seeing Errors: Model Driven Simulation Trace Visualization.

El Arbi Aboussoror, Ileana Ober, Iulian Ober

Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011

UML/SysML semantic tunings.

Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror

Innov. Syst. Softw. Eng., 2011

Avoiding OCL specification pitfalls.

Dan Ioan Chiorean, Ileana Ober, Vladiela Petrascu

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing.

Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel

Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks.

Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Using Constraints in Teaching Software Modeling.

Dan Chiorean, Vladiela Petrascu, Ileana Ober

Proceedings of the Models in Software Engineering, 2011

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).

Stefan Van Baelen, Sébastien Gérard, Ileana Ober, Thomas Weigert, Huáscar Espinoza, Iulian Ober

Proceedings of the Models in Software Engineering, 2011

2010

Une approche formelle de l'interopérabilité en modélisation orientée métier.

Ali Abou Dib, Louis Féraud, Ileana Ober, Christian Percebois

Tech. Sci. Informatiques, 2010

Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques.

Ileana Ober, Louis Féraud, Christian Percebois

Innov. Syst. Softw. Eng., 2010

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).

Stefan Van Baelen, Iulian Ober, Huáscar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard

Proceedings of the Models in Software Engineering, 2010

2009

Towards Model Based Development of Managed Networked Embedded Systems.

El Arbi Aboussoror, Ileana Ober, Michelle Sibilla

Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).

Stefan Van Baelen, Thomas Weigert, Ileana Ober, Huáscar Espinoza, Iulian Ober

Proceedings of the Models in Software Engineering, 2009

2008

Timing analysis and validation with UML: the case of the embedded MARS bus manager.

Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober

Innov. Syst. Softw. Eng., 2008

Towards Interoperability in Component Based Development with a Family of DSLs.

Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois

Proceedings of the Software Architecture, Second European Conference, 2008

From Models to Components: Filling the Gap with SDL Macro-patterns.

Anna Medve, Ileana Ober

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Using ASM to Achieve Executability within a Family of DSL.

Ileana Ober, Ali Abou Dib

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Éditorial.

Thierry Millan, Ileana Ober

Ingénierie des Systèmes d Inf., 2007

2006

Validating timed UML models by simulation and verification.

Iulian Ober, Susanne Graf, Ileana Ober

Int. J. Softw. Tools Technol. Transf., 2006

A real-time profile for UML.

Susanne Graf, Ileana Ober, Iulian Ober

Int. J. Softw. Tools Technol. Transf., 2006

Preface of "Specification and Validation of Real Time and Embedded systems in UML".

Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic

Int. J. Softw. Tools Technol. Transf., 2006

2005

Workshop on Models for Non-functional Properties of Component-Based Software - NfC.

Geri Georg, Jan Øyvind Aagedal, Raffaela Mirandola, Ileana Ober, Dorina C. Petriu, Wolfgang Theilmann, Jon Whittle, Steffen Zschaler

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004

SVERTS - Specification and Validation of Real-Time and Embedded Systems.

Susanne Graf, Øystein Haugen, Ileana Ober, Bran Selic

Proceedings of the UML Modeling Languages and Applications, 2004

Models for Non-functional Aspects of Component-Based Software (NfC'04).

Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler

Proceedings of the UML Modeling Languages and Applications, 2004

Validation of UML Models via a Mapping to Communicating Extended Timed Automata.

Iulian Ober, Susanne Graf, Ileana Ober

Proceedings of the Model Checking Software, 2004

The IF Toolset.

Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis

Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003

A Real-Time Profile for UML and How to Adapt It to SDL.

Susanne Graf, Ileana Ober

Proceedings of the SDL 2003: System Design, 2003

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.

Ileana Ober

Proceedings of the Abstract State Machines, 2003

2000

More Meaningful UML Models.

Ileana Ober

Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Comparative Case Study in SDL and UML.

Philippe Leblanc, Ileana Ober

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Action Language for the UML.

Bernard Coulette, Marcel Gandriau, Ileana Ober

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000