List of publications

Research topics (present to past)

• Formal Model-Based System Engineering. Applications in ambient and embedded system 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.

Program committees

• 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)
• 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 (ACES^MB), 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 (ACES^MB), 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 (ACES^MB), 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

• 15th International Conference on System Design Languages (SDL Forum 2011) : General co-chair
• International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES^MB) : Steering Committee, Organizing Committee (2008,2009,2010,2011).
• Organizer of the MODELS'08 Research Projects Symposium.
• Co-organized MARTES'2006 and MARTES'2005 workshops (http://www.martes.org) together with Susanne Graf, Sébastien Gérard, Oystein Haugen and Bran Selic.
• Involved in the local organization of the French-speaking international conference LMO'2007 - Langages et Modèles à Objets.

Projects (ongoing and past)

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 - )

Co-advised with C. Percebois
Subject: System to software level refinement of embedded system designs.

El Arbi Abussoror (2010 - )

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

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.