Iulian Ober

Associate professor (Maître de Conférences), PhD, HDR
Member of the MACAO team at IRIT (Institut de Recherche en Informatique de Toulouse),
In charge of the 1st year of the Master's degree in Collaborative Computer Engineering (Informatique Collaborative en Entreprise).

Mailing address:
 IRIT (Équipe MACAO)
 Université Paul Sabatier
 118 Route de Narbonne
E-mail: iulian [dot] ober [at] irit [dot] fr
Personal certificate (issued by the CNRS authority) : X.509 [.cer] PKCS#7 [.p7b]

Research topics (present to past)

  • Formal Model-Based System Engineering. Applications in embedded systems design.
  • Model-driven design of safety critical and embedded systems. Check out the website of the IFx-OMEGA tool.
  • Design and verification of real-time systems: IF language and tool-set.
  • Semantics of real-time and distributed systems.
  • Formalisation of object oriented languages. 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]
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]


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

Ronan Baduel (2016 - )
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

Samira Kherfellah (2013)
Subject: Semantics of the IF language in K and comparison between the K-generated model checked and the native IF model-checker.
Julien Hadba (graduated in July, 2010)
Subject: Modeling, simulation and verification of ATV's solar panel deployment sub-system with Omega SysML.
Iulia Dragomir (graduated in July, 2010)
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.
Master degree in Computer Science (1998)

School of Mathematics and Computer Science, Babes-Bolyai University,Cluj-Napoca, Romania.

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: 2017-02-07 15:09:49 +0100 (Tue, 07 Feb 2017) $