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 am Head of the Computer Science Department at the engineering school ESIR, and researcher within the research team DiverSE, joint to the CNRS Research Institute of Computer Science and Random Systems (IRISA) and Inria. I am also adjunct researcher in the SM@RT team of the CNRS Research Institute in Computer Science of Toulouse (IRIT). 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



(ESIR 2 and ESIR 3)

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:



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 and G. Mussbacher.
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 "On Scientific Integrity and Flexibility of Scientific Software in Environmental Sciences: Towards a Systematic Approach to Support Decision-Making." , Feb 23, 2022. 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 "Towards flexible Integrated Development Environment" , Mar 3, 2022. Project Kaulua, CIFRE grant with Obeo.
Dorian Leroy "Behavioral Typing for the Dynamic Analysis of Executable DSLs" , Mar 25, 2022. 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):

Monilogging for Executable Domain-Specific Languages
Towards Self-Adaptable Languages
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems
Automatic generation of Truffle-based interpreters for Domain-Specific Languages
Co-evolving code with evolving metamodels
Loop Aggregation for Approximate Scientific Computing
Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
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)