I teach software engineering in the Department of Mathematics and Computer Science of the University of Toulouse - Jean Jaurès (UT2J), and used to give invited lectures and complete courses in various universities and engineering schools worldwide. More specifically, I teach in the following areas:

Materials for my current students: Master 2 ICE (UT2J), Master 1 ICE (UT2J) and Licence 3 Informatique (UT2J).



My research activities lie in Software and Systems Engineering, focusing on agility and safety within the development of software-intensive systems. In our group, we develop techniques, frameworks, and environments to facilitate the creation, integration, and automated processing of software languages. The main application domains include cyber-physical systems, Internet of things, embedded systems, smart technologies and sustainability systems.

In particular, we contribute to the following fields:

  • Model-Driven (software) Engineering, Software Language Engineering, Generative approaches
  • Domain Specific (Modeling) Languages, and Metamodeling
  • Software variability, and dynamic adaptive systems
  • Aspect-oriented modeling and model composition
  • Model Validation & Verification
  • Software Development Process & Business Process Management

The GEMOC Initiative    Globalization of DSLs

Want to hack languages yourself? I have open positions and I am always looking for talented and motivated persons who want to join us for an internship, a PhD, a Post-doc, or a research visit. Feel free to contact me.


Since 2009, I have very much enjoyed collaborating with (and learned from) the following PhD and MSc students.

Anaël Megna , since Dec, 2017. Project GLOSE, CIFRE grant with Safran.
Fabien Coulon , since Dec, 2017. Project Kaulua, CIFRE grant with Obeo.
Manuel Leduc , since Nov, 2016. Grant from the Pôle d’Excellence Cyber. Co-advisor: O. Barais.
Dorian Leroy , since Nov, 2016. Funded by the Austrian Tetrabox project. Co-supervision with Manuel Wimmer and Erwan Bousse at TU Wien.


GLObalization in Systems Engineering (GLOSE)

2018-2021: industrial collaboration Safran/Inria/CNRS (network DESIR). PI for CNRS.

Agile Language Engineering (ALE)

2017-2019: Inria associate team with the SWAT team at CWI. Co-PI with Tijs van der Storm.

Engineering xDSML (EMMA)

2017-2018: WTZ (AT) / PHC Amadeus (FR) grant between TU Wien and Univ. Toulouse. Co-PI with Tanja Mayerhofer.


2017-2020: Bilateral collaboration (CIFRE) with the Obeo company. PI.

DSL Families for Packet Filtering Policy (Family)

2016-2019: Grant from the French Pôle d’Excellence Cyber. PI.

Domain-Specific Metamodeling for Filtering Policy (FPML)

2014-2018: Bilateral collaboration with DGA, the French Defense Procurement Agency. PI.

Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)

2014-2018: ICT COST Action IC1404. Member of the Management Committee.


2013-2016: FP7 FET (Benoit Baudry coordinates the whole project).

Model-Based Security Analysis at Runtime (MBSAR)

2013-2015: CNRS Project, Program PICS. PI.

Generic Environment for Models of Computation (ANR GEMOC)

2012-2016: ANR Project, Program INS, Grant n°ANR-12-INSE-0011. PI.


2011-2014: EU FP7 Marie Curie ITN (Initial Training Network).

Variability in Model Driven Engineering (VaryMDE)

2011-2015: Bilateral collaboration with Thales Research & Technology. Co-PI.

CIFRE Sodifrance

2010-2013: Bilateral collaboration (CIFRE) with the Sodifrance company. PI.

User-Centric Safe Adaption of Assisted Living Systems

2010: Scientific Project from University of Rennes 1. Co-PI.


See the list of all my publications on Google Scholar, DBLP, or my resume. You can also access all the preprints from HAL.

Major Recent Publications (selected):

Omniscient Debugging for Executable DSLs. . In JSS, 2018. Preprint PDF
Reverse engineering language product lines from existing DSL variants. . In JSS, 2017. Preprint PDF
Revisiting Visitors for Modular Extension of Executable DSMLs. . In MODELS, 2017. Preprint PDF
Safe model polymorphism for flexible modeling. . In COMLAN, 2017. Preprint PDF
Advanced and Efficient Execution Trace Management for Executable DSMLs. . In SoSyM, 2017. Preprint PDF
Automatic microbenchmark generation to prevent dead code elimination and constant folding. . In ASE, 2016. Preprint PDF
Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review. . In COMLAN, 2016. Preprint PDF


Here is a list of my presentations (invited talks, seminars and keynotes). Most of the recent slide decks are available from my SlideShare account.


I am involving into the following software projects:

In the past, I involved in:

  • Topcased simulation tools
  • COQ4MDE, a formal metamodeling framework based on COQ


(all services)