Iulian Ober

Professor at Institut Supérieur de l'Aéronautique et de l'Espace (ISAE-Supaero), University of Toulose
Associate member of IRIT.
Note: this page is no longer quite up to date...

Mailing address:
 Institut Supérieur de l'Aéronautique et de l'Espace
 10, avenue Edouard Belin - BP 54032, 31055 Toulouse Cedex 4, France
E-mail: iulian [dot] ober [at] isae-supaero [dot] fr

Research topics (present to past)

  • Model-Based Systems Engineering (MBSE). Applications in embedded and cyber-physical systems design.
  • Verification, validation and certification systems integrating Machine Learning.
  • Contract-based design of safety critical real-time components and systems. Check out the website of the IFx-OMEGA tool.
  • Semantics of real-time and distributed systems. Formalisation of object oriented analysis and design languages. Computer aided software engineering tools.

Publications list from the IRIT database (since 2005)

Tool development

IFx-OMEGA is a compiler / simulator / model-checker for a rich subset of UML 2.2 / SysML 1.1, based on the IF model checker from VERIMAG. [Go to web page]
FlOpEDT is an open-source (AGPL licenced) web-based timetable management system, featuring automatic generation of timetables that optimize various criteria decided by its users, with the goal of maximizing user satisfaction. It includes features for managing room and staff availabilities and hourly preferences, viewing and modifying timetables, and more. The system is used in production for managing the timetables at IUT Blagnac's CS department. It is developed mainly by a group of instructors/researchers from IUT Blagnac.
The automatic generation was originally based on the method described here, with additions and improvements by the contributors of FlOpEDT.
XLSScheduler is an experimental school timetabling program I developed as a hobby, originating from the timetabling problem of the Computer Science department at IUT Blagnac. It is based on a coding the timetabling constraints as an integer linear programming model and using a MILP solver (Cbc or Gurobi). [Go to web page]
It is now superseded by FlOpEDT.


European Space Agency Project "Model Checking for Formal Verification of Space Systems" (2021-2022)
CIFRE Airbus
Certifiability of systems based on Machine Learning software. (2019-2022)
CIFRE Bombardier Transportation
An integrated model-based early validation approach for railway systems engineering (2016-2019)
European Space Agency Project "Full Model Driven Development for On-Board Software." (2009-2011)
Omega UML2
European Space Agency Activity 3-12639 (2009-2010)
French DGE Project "System on Chip toolKit for critical Embedded sysTems" (2008-2011)
French ANR Project "DOMaINes et prOcessus méthodologique" (2007-2009)
IST Integrated Project "Automated proof based System and Software Engineering for Real-Time" (2004-2007)
IST Project "Correct Development of Real-Time Embedded Systems in UML" (2002-2005)
IST Project "Formal design, validation and testing of real-time telecommunication systems" (1999-2001)

PhD Students

Ivan Kolesnikov (2021 - )
Co-advised with Marius Bozga (CNRS-Verimag, Université Grenoble Alpes).
Subject: Boosting simulation and debugging of Cyber-Physical Systems (CPS) models with symbolic analysis methods.
Eric Guillaume Vidot (2019 - )
Co-advised with Ileana Ober. CIFRE convention with Airbus.
Subject: Certifiability of systems based on Machine Learning software.
Mickël Trezzy (2018 - )
Co-advised with Raquel Araujo de Oliveira and Ileana Ober. Financed by a scholarship from ED MITT.
Subject: Model-based development of safe and secure robotic systems.
Kamal Boumaza (2018 - )
Co-advised with Cherif Tolba. Université Badji Mokhtar Annaba, Algérie.
Subject: Verification of emergent properties in complex systems.
Ronan Baduel (2016 - 2019)
Co-advised with J-M. Bruel. CIFRE convention with Bombardier Transportation.
Subject: An integrated model-based early validation approach for railway systems engineering.
Iulia Dragomir (2010 - 2014)
Co-advised with C. Percebois
Subject: Contract-based Modeling and Verification of Timed Safety Requirements for System Design in SysML.
El Arbi Abussoror (2010 - 2013)
Co-advised with Ileana Ober
Subject: Advanced diagnostic methods in formal model validation.
Hong-Viet Luong (graduated in October, 2010)
Co-advised with C. Percebois, A-L. Courbis, T. Lambolais
Subject: Incremental construction and verification of system specifications.
Younes Lakhrissi (graduated in July, 2010)
Co-advised with B. Coulette
Subject: Integration of behavior models in view-based analysis and design.

M.Sc. Students

Ivan Kolesnikov, 2021, Master 2 Computer Science for Aerospace, Université Paul Sabatier Toulouse-3
Subject: Design and development of an autonomous robot and functional modelling and verification using the TASTE toolchain.
Samira Kherfellah, 2012-2013, Master 2 Recherche, Université de Bordeaux
Subject: Semantics of the IF language in K and comparison between the K-generated model checked and the native IF model-checker.
Julien Hadba, 2009-2010, Master 2 Recherche, Université de Pau (UPPA)
Subject: Modeling, simulation and verification of ATV's solar panel deployment sub-system with Omega SysML.
Iulia Dragomir, 2009-2010, Master 2 Recherche, Université Paul Sabatier
Subject: Semantic formalization and verification of composite structures.
Ouzzin Ben Haddou (graduated in July, 2009)
Co-advised with Philippe Dhaussy (ENSIETA, Brest)
Subject: A case study on formal modeling and validation of a space application from CNES.
Tristan Faure (graduated in July, 2007)
Co-advised with Maurice Heitz (CS)
Subject: Integration of the Omega UML profile and tools in the ASSERT IDEA framework.

Program committees

Reviewer for: Journal of Control Engineering Practice, IEEE Transactions on Industrial Informatics.

Organized events

Short Vitae

(download full CV)

Undergraduate studies (1997)
Licence (BSc/Bac+4), School of Mathematics and Computer Science, Babes-Bolyai University, Cluj-Napoca, Romania. Cum laudae, rank 1.
Master degree in Computer Science (1998)

School of Mathematics and Computer Science, Babes-Bolyai University,Cluj-Napoca, Romania. Cum laudae, rank 1.

Research topic : Design and implementation of a UML CASE tool.

PhD (2001)

Specification and validation of timed systems using formal description languages.

École Nationale Supérieure d´Électrotechnique, d'Électronique, d'Informatique, d'Hydraulique et des Télécommunications, Toulouse, France.

Defense committee:

  • Prof. Joseph Sifakis (reviewer),
  • Dr. Roland Groz (reviewer),
  • Dr. Susanne Graf,
  • Dr. Alain Kerbrat,
  • Prof. Zoubir Mammeri (president of the jury),
  • Prof. Bernard Coulette (PhD advisor).

Work supported by Telelogic Technologies Toulose (former Verilog), within the IST Interval project.

[Download thesis (PDF)]

Post-doc - Expert engineer (2002-2005)

VERIMAG laboratory, Grenoble, France.

Research topic : Specification and validation of timed systems using UML

Work performed within the OMEGA project.

Assistant professor (since 2005)
Tenured position at Toulouse-2 University. I conduct my research at IRIT.
Habilitation à Diriger des Recherches (13 December, 2010)

Observer pour vérifier, contraindre et interagir. Applications de l'observation à la construction et à la validation des systèmes logiciels.

Université Toulouse 2, France.

Defense committee:

  • Prof. Yves LEDRU, Université Joseph Fourier, Grenoble (reviewer)
  • Prof. Elie NAJM, Télécom-ParisTech, Paris (reviewer)
  • Prof. Dorina PETRIU, Carleton University, Ottawa, Canada (reviewer)
  • Prof. Jean-Michel BRUEL, Université Toulouse 2 (advisor)
  • Prof. Bernard COULETTE, Professeur, Université Toulouse 2 (president of the jury)
  • Dr. Susanne GRAF, Directrice de recherches, CNRS, VERIMAG, Grenoble

$LastChangedDate: 2021-06-04 13:10:07 +0200 (Ven, 04 jui 2021) $