Benoit Combemale

Benoit Combemale

Full Professor of Software Engineering

University of Rennes 1

I am Full Professor of Software Engineering at the University of Rennes 1. I teach in the engineering school ESIR, and evolve within the research team DiverSE, joint to the CNRS Research Institute of Computer Science and Random Systems (IRISA) and Inria. More information in my complete bio.

     ESIR    IRISA    Inria    DiverSE research team


  • Model-Driven Engineering
  • Software Language Engineering
  • Domain-Specific Languages
  • Software-Product Lines
  • Software Validation & Verification
  • Resilience Engineering
  • ICT for Sustainability



I teach software engineering in the engineering school ESIR of the University of Rennes 1 (UR1), 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 the students (2020/2021): ESIR 1 (Option IoT), ESIR 2 (Options SI, IN), ESIR 3 (Options SI, IoT) and UT2J-ICE 1.


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 and systems) 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
  • Resilience Engineering, and DevOps
  • 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.

Anne Bumiller , since Jan, 2020. Co-advisor: O. Barais and S. Challita.
Gwendal Jouneaux , since Jan, 2020. Co-advisor: O. Barais.
Gwendal Jouneaux "Self-Adaptable Virtual Machines" , since Sep, 2019. University of Rennes 1.
Emmanuel Chebbi , since Oct, 2019. Grant from DGA and Britanny region. Co-supervisors: G. Leguernic and S. Ebersold.
June Sallou , since Oct, 2018. Co-supervisors J. Bourcier and J.-R. de Dreuzy.
Pierre Jeanjean , since Oct, 2018. Co-advisor: O. Barais. Co-supervisor: D. E. Khelladi.
Pierre Jeanjean "Towards unpredictable languages" , Oct 1, 2018. INPT ENSEEIHT, in collaboration with KTH. Co-supervisor B. Baudry and N. Harrand (paper).
Fabien Coulon , since Dec, 2017. Project Kaulua, CIFRE grant with Obeo.
Dorian Leroy , since Nov, 2016. Funded by the Austrian Tetrabox project. Co-supervision with Manuel Wimmer and Erwan Bousse at TU Wien.
Manuel Leduc "On modularity and performances of external domain-specific language implementations" , Dec 12, 2019. Grant from the Pôle d’Excellence Cyber. Co-advisor: O. Barais and G. Leguernic (thesis).
Marcelino Rodriguez Cancio "Contributions on Approximate Computing Techniques and How to Measure Them" , Dec 19, 2017. Project Clarity. Co-supervisor B. Baudry (thesis).
Thomas Degueule "Composition and Interoperability for External Domain-Specific Language Engineering" , Dec 12, 2016. Project ITEA2 project MERgE. Co-supervisor O. Barais and A. Blouin (thesis).
David Méndez Acuña "Leveraging Software Product Lines Engineering in the Construction of Domain Specific Languages" , Dec 16, 2016. Projects Marie Curie ITN Relate and Thales-Inria Collaboration VaryMDE. Co-supervisor B. Baudry (thesis).
Erwan Bousse "Execution Trace Management to Support Dynamic V&V for Executable DSMLs" , Dec 3, 2015. French Government Grant. Co-supervisor B. Baudry (thesis).
Erwan Bousse "Requirements management led by formal verification" , Aug 1, 2012. University of Rennes 1 and INSA Rennes, in collaboration with Mitsubishi Electric R&D Centre Europe (MERCE). Co-supervisor B. Baudry and D. Mentré (MoDeVVa'12 paper).
Jonathan Marchand "Formal and tool-supported operator for multi-formalism modelling" , Aug 1, 2011. University of Rennes 1 and ENS Cachan. Co-supervisor B. Baudry (MiSE'12 paper).
Emmanuelle Rouillé "Variability management and automation of software development processes" , Apr 16, 2014. CIFRE at Sodifrance. Co-supervisor O. Barais and J.-M. Jézéquel (thesis).
Clément Guy "Typing facilities for language engineering" , Dec 10, 2013. French Government Grant. Co-supervisor S. Derrien and J.-M. Jézéquel (thesis).
André Fonseca "Coping with Modular Modelling in fUML" , Jul 1, 2010. University of Rennes 1. Co-supervisor B. Baudry (report).
Darlam Bender "PLC programs modeling and formal verification using MDE and Ladder Diagrams" , Aug 1, 2008. Universidade Federal de Santa Catarina. Co-supervisor B. Baudry (ECMFA'08 paper).




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


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

Major Recent Publications (selected):

Automatic generation of Truffle-based interpreters for Domain-Specific Languages
Behavioral Interfaces for Executable DSLs
Co-evolving code with evolving metamodels
Comparing and classifying model transformation reuse approaches across metamodels
Loop Aggregation for Approximate Scientific Computing
Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
Runtime Monitoring for Executable DSLs
The Software Language Extension Problem
Towards Model-Driven Sustainability Evaluation


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)