Iulian Ober

According to our database, Iulian Ober authored at least 49 papers between 1999 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

Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains.

Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober

J. Aerosp. Inf. Syst., 2024

2022

Model-checking of space systems designed with TASTE/SDL.

Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Ivan Kolesnikov, Marius Bozga, Maxime Perrotin

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 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

2021

Formal Verification of Emergent Properties.

Kamal Boumaza, Chérif Tolba, Iulian Ober

Informatica (Slovenia), 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

Formal verification of space systems designed with TASTE.

Iulia Dragomir, Marius Bozga, Iulian Ober, D. Silveira, Tiago Jorge, E. Alaña, Maxime Perrotin

CoRR, 2021

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

Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober

CoRR, 2021

Summary of Workshop on Model Driven Engineering, Verification and Validation (MoDeVVa'21).

Saad bin Abid, Raquel Araújo de Oliveira, Iulian Ober

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

2020

Modeling and verification method for an early evaluation of systems of systems interactions.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

2019

Modeling and verification method for an early validation of a train system.

Ronan Baduel, Iulian Ober, Jean-Michel Bruel

CoRR, 2019

2018

Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP.

Iulian Ober

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation.

Ronan Baduel, Mohammad Chami, Jean-Michel Bruel, Iulian Ober

Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017

Contract-based modeling and verification of timed safety requirements within SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Softw. Syst. Model., 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

Introduction to ACES-MB 2015.

Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober

Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

2014

Safety Contracts for Timed Reactive Components in SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014

2013

Early Analysis of Ambient Systems SYSML Properties using OMEGA2-IFx.

Manzoor Ahmad, Iulia Dragomir, Jean-Michel Bruel, Iulian Ober, Nicolas Belloir

Proceedings of the SIMULTECH 2013, 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

Integrating verifiable Assume/Guarantee contracts in UML/SysML.

Iulia Dragomir, Iulian Ober, Christian Percebois

Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

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

A Case Study in Formal System Engineering with SysML.

Iulia Dragomir, Iulian Ober, David Lesens

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

UML/SysML semantic tunings.

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

Innov. Syst. Softw. Eng., 2011

Unambiguous UML Composite Structures: The OMEGA2 Experience.

Iulian Ober, Iulia Dragomir

Proceedings of the SOFSEM 2011: Theory and Practice of Computer Science, 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

Well-formedness and typing rules for UML Composite Structures

Iulia Dragomir, Iulian Ober

CoRR, 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

OMEGA2: A New Version of the Profile and the Tools.

Iulian Ober, Iulia Dragomir

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

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

Supporting UML-based development of embedded systems by formal techniques.

Jozef Hooman, Hillel Kugler, Iulian Ober, Anjelika Votintseva, Yuri Yushtein

Softw. Syst. Model., 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

Behavioral Modelling and Composition of Object Slices Using Event Observation.

Iulian Ober, Bernard Coulette, Younes Lakhrissi

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Model Based Architecting and Construction of Embedded Systems.

Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

MODELS Research Projects Symposium.

Iulian Ober

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

On the Timed Automata-Based Verification of Ravenscar Systems.

Iulian Ober, Nicolas Halbwachs

Proceedings of the Reliable Software Technologies, 2008

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

Modelling and Analysis of Real Time and Embedded Systems - Using UML.

Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic

Proceedings of the Models in Software Engineering, 2006

Using an UML profile for timing analysis with the IF validation tool-set.

Iulian Ober, Susanne Graf, Yuri Yushtein

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Modeling and Validation of a Software Architecture for the Ariane-5 Launcher.

Iulian Ober, Susanne Graf, David Lesens

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

2005

Modeling and Analysis of Real-Time and Embedded Systems.

Susanne Graf, Sébastien Gérard, Øystein Haugen, Iulian Ober, Bran Selic

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

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

IF Validation Environment Tutorial.

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian 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

2001

Verification of Quantitative Temporal Properties of SDL Specifications.

Iulian Ober, Alain Kerbrat

Proceedings of the SDL 2001: Meeting UML, 2001

Timed Extensions for SDL.

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent

Proceedings of the SDL 2001: Meeting UML, 2001

2000

SDL for Real-Time: What is Missing?

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent

Proceedings of the SAM 2000, 2000

1999

Specification and execution of tests using tMsc.

Iulian Ober, Alain Kerbrat

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

On the Concurrent Object Model of UML.

Iulian Ober, Ileana Stan

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999