Benoit Combemale

Full Professor of Software Engineering

University of Toulouse

I am Full Professor of Software Engineering at the University of Toulouse - Jean Jaurès (UT2J), France. I teach within the Department of Mathematics and Computer Science, and evolve within the research team SM@RT of the CNRS Research Institute of Computer Science in Toulouse (IRIT). See also my full biography or my resume.

Interests

Model-Driven Engineering
Software Language Engineering
Domain-Specific (Modeling) Languages
Generative Approaches
Software-Product Lines
Software Validation & Verification

Education

Habilitation in Software Engineering, 2015

University of Rennes
PhD in Software Engineering, 2008

University of Toulouse - INPT ENSEEIHT
M.Sc. in Computer Science, 2005

University of Toulouse - UPS

Teaching

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:

Software Language Engineering (SLE),
Model-Driven Engineering (MDE),
Software Validation and Verification (V&V),
DevOps (continuous integration, delivery and deployment), and
Object-Oriented Modeling and Programming.

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

Research

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

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.

Students

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.

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

Projects

French Research Network on Model-Driven Engineering for Complex Systems (IDM4SCO)

2018-2019: National network on MDE for software related to complex systems. Co-PI with Serge Stinckwich.

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.

Kaulua

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.

éCosytème pour la pLAte-foRme d'Ingénierie sysTème melodY (CLARITY)

2014-2017: LEOC Project.

DIVERSIFY

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.

Ingénierie du logiciel pour les systèmes hétérogènes : bilan, verrous et défis (AS GEMOC)

2011: Action Spécifique 2011 du GDR GPL du CNRS. PI.

RELATE

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.

Open Platform for the Engineering of Embedded Systems (OPEES)

2009-2012: ITEA2 Project.

Toolkit in OPen source for Critical Applications & SystEms Development (TOPCASED)

2005-2009: FUI project and bilateral contracts (Airbus).

Publications

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. Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry. In JSS, 2018. Preprint PDF

Reverse engineering language product lines from existing DSL variants. David Méndez-Acuña, José A. Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry. In JSS, 2017. Preprint PDF

Revisiting Visitors for Modular Extension of Executable DSMLs. Manuel Leduc, Thomas Degueule, Benoit Combemale, Tijs Van Der Storm, Olivier Barais. In MODELS, 2017. Preprint PDF

Safe model polymorphism for flexible modeling. Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel. In COMLAN, 2017. Preprint PDF

Advanced and Efficient Execution Trace Management for Executable DSMLs. Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry. In SoSyM, 2017. Preprint PDF

Automatic microbenchmark generation to prevent dead code elimination and constant folding. Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry. In ASE, 2016. Preprint PDF

Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review. David Méndez-Acuña, José Angel Galindo, Thomas Degueule, Benoit Combemale, Benoit Baudry. In COMLAN, 2016. Preprint PDF

Talks

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

Software

I am involving into the following software projects:

The GEMOC Studio, a language workbench for language executability, assembling and globalization. The GEMOC Studio includes, among others:
- Action Language for EMF (ALE), to make Ecore metamodels executable.
- Sirius Animator, to bring execution, debug and simulation in domain specific tooling built with EMF.
- Model of Concurrency and Communication Modeling Language (MoCCML), to reify a formal model of concurrency in executable modeling languages.
- Behavioral Coordination Operator Language (BCOoL), to explicitly specify coordination patterns between heterogeneous languages.
Melange, a language and platform for assembling and integrating multiple domain-specific languages (DSL)
Kermeta, an executable metamodeling language
Kompren, a generic approach for model slicing

In the past, I involved in:

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

Services

(all services)

Editorial Board member of the journals SoSyM, COMLAN, and SCP (Advisory Board of the Software Section).
Steering Committee member of the ACM SIGPLAN Intl. Conference on Software Language Engineering (2014-)
General chair for SLE 2017 and MODELS 2016, PC chair for SLE 2014, member of organizing committees and program committees for various SE conferences (MODELS, SLE, ECMFA, ICMT, APSEC, SEFM…)
Coordinator of the Dagstuhl Seminars 17342 and 14412
Founding member and coordinator of the GEMOC Initiative (Eclipse Research Consortium, Eclipse project, Workshop…)
Reviewer for different national research agencies
Member of hiring juries for academic positions, and PhD committees

Contact

benoit.combemale@irit.fr
+336.86.94.26.07
INPT ENSEEIHT (room F-202), 2 rue Charles Camichel, 31071 Toulouse Cedex, France