photo

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
 F-31062 TOULOUSE CEDEX 9
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)

Publications list at DBLP

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]
XLScheduler 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]

Program committees

  • 17th International System Design Languages Forum, 2015
  • 8th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2015
  • 21th Asia-Pacific Software Engineering Conference, 2014
  • 7th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2014
  • 8th System Analysis and Modelling Workshop (SAM), 2014
  • 16th International Conference on System Design Languages (SDL Forum), 2013
  • 20th Asia-Pacific Software Engineering Conference, 2013
  • 6th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2013. (Program chair).
  • 5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2012. (Program chair).
  • 3rd International Conference on Ambient Systems, Networks and Technologies, 2012
  • 19th Asia-Pacific Software Engineering Conference, 2012
  • 7th System Analysis and Modelling Workshop (SAM), 2012
  • 4th Workshop on Model-Based Verification and Validation From Research to Practice (MVV), 2012
  • International Workshop on Model-Driven Engineering for Networked Ambient Systems (MDE4NAS), 2012
  • 15th International Conference on System Design Languages (SDL Forum), 2011 (co-chair)
  • 4th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2011
  • 18th Asia-Pacific Software Engineering Conference, 2011
  • 13th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2010
  • 3rd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), 2010
  • 3rd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2010
  • 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), 2009
  • 2nd International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2009
  • MODELS Doctoral Symposium 2009,
  • 1st International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert), 2008
  • 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB), 2008 (co-chair)
  • MODELS Research Project Symposium 2008 (chair)
  • 2nd International Workshop on Modeling and Analysis of Real-Time Embedded Systems (MARTES), 2006
  • 1st International Workshop on Modeling and Analysis of Real-Time Embedded Systems (MARTES), 2005

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

Organized events

Projects

FullMDE
European Space Agency Project "Full Model Driven Development for On-Board Software." (2009-2011)
Omega UML2
European Space Agency Activity 3-12639 (2009-2010)
SoCKET
French DGE Project "System on Chip toolKit for critical Embedded sysTems" (2008-2011)
DOMINO
French ANR Project "DOMaINes et prOcessus méthodologique" (2007-2009)
ASSERT
IST Integrated Project "Automated proof based System and Software Engineering for Real-Time" (2004-2007)
OMEGA
IST Project "Correct Development of Real-Time Embedded Systems in UML" (2002-2005)
INTERVAL
IST Project "Formal design, validation and testing of real-time telecommunication systems" (1999-2001)

PhD Students

Iulia Dragomir (2010 - 2014)
Co-advised with C. Percebois
Subject: System to software level refinement of embedded system designs.
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.

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: 2015-12-01 13:15:41 +0100 (Tue, 01 Dec 2015) $