News
- Oct. 2012: Prof. Bernd Brügge will give the keynote at EduSymp 2012!
- Co-chair of the 8th Educators' Symposium @ MoDELS 2012: EduSymp'12 (have a look to the EduSymp'12 Call for Papers!)
- Jul. 2012: the paper entitled "On Model Subtyping" will be presented by C. Guy at ECMFA'12
- Jun. 2012: GDR-GPL 2012 and CIEL 2012 will be held in Rennes from June 18 to June 22
- Jun. 2012: "A Categorical Model of Model Merging and Weaving" will be presented by J. Marchand at MiSE'12 (in conjunction with ICSE'12)
- May 2012: I will attend the Bellairs Workshop on (Aspect-Oriented) Model-Driven Software Development.
- Apr. 2012: "A Tridimensional Approach for Studying the Formal Verification of Model Transformations" will be presented by M. Amrani at VOLT'12 (in conjunction with ICST'12)
- Apr. 2012: visiting Prof. Robert B. France at CSU (USA)
- Feb. 2012: a book about Model Driven Engineering (in french), co-authored with Jean-Marc Jézéquel and Didier Vojtisek, is published by Ellipses (amazon)
Research
What I'm interested in
My research activities in Software Engineering focus on software safety in the context of Model-Driven Engineering (MDE). More precisely I investigate the following areas:- (meta/mega) Modeling, and Domain Specific Modeling Language,
- Software Language Engineering,
- Formal behavioral semantics of languages,
- Models at runtime, and models Validation & Verification,
- Software Development Process & Business Process Management,
- Systems Engineering and Autonomic Computing.
Publications
- Full List of Publications
- See also:
- here for multi criteria search in the full publications list
- HAL Inria
- The DBLP Computer Science Bibliography
- Google Scholar
- amazon.fr for a book in french about model driven engineering, co-authored with Jean-Marc Jézéquel and Didier Vojtisek (February, 2012).
- amazon.com for a book based on my PhD thesis about model simulation and verification using executable metamodeling (June, 2010).
Projects
- 2011-2014: RELATE FP7 Marie Curie ITN (Initial Training Network)
- 2011-2014: VaryMDE: Variability in Model Driven Engineering (in collaboration with Thales Research and Technology)
- 2009-2012: OPEES (Open Platform for the Engineering of Embedded Systems) ITEA2 Project (WP3)
- 2011: Ingénierie du logiciel pour les systèmes hétérogènes : bilan, verrous et défis Action Spécifique 2011 du GDR GPL (PI)
-
2005-2009:
TOPCASED (Toolkit in OPen source for Critical Applications & SystEms Development) project (WP1, WP2, WP3 & WP5)
- Models Simulation : generic model simulation techniques and tools.
- Tina Bridges : bridges from DSMLs to the TINA toolkit for formal behavioral verification of models.
- TopProcess : Environement for process management that support the OMG's SPEM process modeling language.
- xSPEM, an eXecutable SPEM2.0 metamodel, and tools to edit, simulate and verify xSPEM process models.
- 2005-2008: SCOrWare RNTL Project
Students
- PhD Thesis
- Since 2011: Suresh Pillay (Marie Curie ITN Relate). Co-advisor: Dr. B. Baudry
- Since 2011: Jonathan Marchand (ENS Cachan). Co-advisor: Dr. B. Baudry
- Since 2010: Emmanuelle Rouillé (CIFRE at Sodifrance). Co-advisors: Dr. O. Barais, and Prof. J.-M. Jézéquel
- Since 2010: Clément Guy (French Government Grant). Co-advisors: Dr. S. Derrien, and Prof. J.-M. Jézéquel
- Master Internship
- 2012: Erwan Bousse: Requirements management led by formal verification (University of Rennes 1, INSA Rennes), in collaboration with Mitsubishi Electric R&D Centre Europe (MERCE)
- 2011: Jonathan Marchand: Formal and tool-supported operator for multi-formalism modelling (ENS Cachan, University of Rennes 1). Co-advisors: Dr. B. Baudry [report]
- 2010: André Fonseca: Coping with Modular Modelling in fUML (University of Rennes 1) [report]
- 2008: Darlam Bender: PLC programs modeling and formal verification using MDE and Ladder Diagrams (Universidade Federal de Santa Catarina)
Professional Services
- Co-chair of the 8th International Educators' Symposium @ MoDELS 2012
- Program Committee: APSEC'12, SEFM'12, ICMT'12, ECMFA'12, PMDE @ ECMFA'12, CSP track @ WETICE'12, APSEC'11, ITSLE'11, ECMFA'11, IDM'11, INFORSID'11 (SI et IDM), FML'10, SafeModel'10, SeMo'08, SeMo'07 and MP'07.
- Refereed member of the special issue about MDE in the national journal TSI.
- Reviewer for the Springer International Journal about Software and System Modeling (SoSym), ACM Survey, and IEEE Transactions on Software Engineering.
- External reviewer for MoDELS'12, INDIN'11, MoDELS'11, MoDELS'10, CBSE'10, and Notère'09.
- Organizing Committee member for GDR-GPL'12 & CIEL'12, AOSD'10 (Sponsorship chair), MtATL'09, SLE'08 (Local chair), LMO'07, IDM'07, and the SéMo (Sémantique des (meta)Modèles) workshops series.
- Reviewer for the Netherlands Organisation for Scientific Research (NWO) - NWO-DFG Cooperation
- Co-founding member of SéMo - Sémantique des (meta)Modèles, a french workshop hosted at IDM'07 and IDM'08
Teaching
Since September, 2009, I am associate professor at the University of Rennes 1. I teach software engineering mainly in the engineering school ESIR (formerly DIIC), and in several masters (ISTIC). I teach especially the following courses:
- Model-Driven Engineering (ESIR3 IMSE & IM, ISTIC M2GL/Miage CAO, ISTIC M2RI MDE...)
- Software Validation and Verification (ESIR3 V&V, ISTIC M2GL V&V)
- Software (and System) Modeling and Architecture (ESIR1 PROG2, ESIR2 MDI, ESIR2 GL)
- Object-Oriented Programming
Moreover, I am teaching Model Driven Engineering (MDE) in several other engineering schools (ENSEEIHT, INSA Toulouse, and INSA Rennes), and universities (M2 IUP NTIE, University of Toulouse 2).
Previously, I was a teacher assistant at the IUT B de Blagnac from 2004 to 2005 (Vacataire in french), and at the INPT ENSEEIHT engineering school, in the Telecommunications & Networks department, from 2005 to 2008 (Moniteur in french). I took part in the following modules: Model-Driven Engineering, Object-Oriented Programming (Java), Algorithmic and Programming (Pascal, C), Systems/Unix, Human-computer interaction, and Web technologies. I also realized the Software Engineering course (40h) in Master 2 (Research) at the University of Yaounde I (Cameroun) from 2007 to 2008.
Short Biography
I received a master's degree in 2005, and a Ph.D. degree in 2008 (see the Leopold Escande Award 2008 and the related page) in Computer Science from the University of Toulouse, France. In October, 2008, I joined the AtlanMod team (Inria, EMN) for a post-doctoral position funded by Inria. All along this time, I have evolved in model driven engineering, mainly exploring behavioral semantics of DSML for model validation and verification. I was also a teacher assistant at the IUT B de Blagnac (2004-2005), at the INPT ENSEEIHT school of engineering (2005-2008), and at the INSA Toulouse school of engineering (2006-2009).
Since September 2009, I am associate professor at University of Rennes 1. I am evolving within the research team Triskell (IRISA and Inria Labs) led by Benoit Baudry. I am interested in software engineering, including model driven engineering (MDE), software language engineering (SLE) and validation & verification (V&V). I am also teaching object-oriented programming and modeling, MDE and V&V in the engineering school ESIR. Finally, I am taking part in the MDE and V&V courses of several engineering schools and masters.
Awards, Diploma, Grants and Positions
- 2012 (April), 2011 (July), and 2010 (May-July): Visiting researcher at the Computer Science Department, Colorado State University (USA), in the group of Prof. Robert B. France
- Since Sept. 2009: Associate Professor at University of Rennes 1
- Oct. 2008 - Aug. 2009: post-doctoral fellow at Inria
- 2008: Leopold Escande Prize 2008 for my PhD Thesis.
- 2008: Doctor of Philosophy (Ph.D.) in Computer Science from the University of Toulouse
- 2005-2008: Grant from the French Ministry of Research for a doctoral position (MENRT scholarship), and PhD candidate at IRIT
- 2005-2008: Teaching assistant (moniteur in french) at INPT ENSEEIHT
- Substitute Teacher (vacataire in french) at IUP NTIE (2009), INSA de Rennes (2009), INSA de Toulouse (2006-2009), and IUT Blagnac (2004-2005)
- 2005: Magister Scientiæ in Computer Science (software safety) from the University of Toulouse
- 2004: Maîtrise ès sciences in Computer Science (new technologies in IT for enterprises) from the University of Toulouse
- 2002-2004: Software Engineer at INEO SCLE Ferroviaire
Where and how to contact me
You can reach me at the "batiment F" of IRISA ("Campus de Beaulieu", University of Rennes 1, France). I am working at the orange floor in the room F236.
I am available by:
- Phone: (+33/0)2 99 84 25 68,
- Fax: (+33/0)2 99 84 71 71,
- Skype: benoit.combemale,
- and by snail mail:
IRISA, Room F236
Campus de Beaulieu
F-35042 Rennes Cedex
My email : benoit.combemale AT irisa.fr

