Iulian Ober

Associate professor (Maître de Conférences), PhD, HDR
Member of the ARGOS team at IRIT (Institut de Recherche en Informatique de Toulouse),

Mailing address:
 IRIT (Équipe ARGOS)
 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 and cyber-physical systems design.
  • 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]
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: 2018-02-02 11:47:49 +0100 (Fri, 02 Feb 2018) $