News
- 2012: Co-chair of the 8th Educators' Symposium @ MoDELS 2012: EduSymp'12.
- 2012: GDR-GPL 2012 and CIEL 2012 will be held in Rennes from June 18 to June 22
- Feb. 2012: a book about Model Driven Engineering (in french), co-authored with Jean-Marc Jézéquel and Didier Vojtisek, will be published by Ellipses (amazon).
- Nov. 2011: organizing a french workshop about software engineering for heterogeneous systems
- Oct. 2011: two papers published at MoDELS'11: "Modeling Model Slicers" (Foundations Track), and "Model-Driven Engineering and Optimizing Compilers: A bridge too far?" (Applications Track)
- Oct. 2011: the paper entitled "Empirical evaluation of the conjunct use of MOF and OCL" was presented at EESSMod'11 (in conjunction with MoDELS'11)
- Oct. 2011: the paper entitled "Teaching MDE through the Formal Verification of Process Models" was presented at EduSymp'11 (in conjunction with MoDELS'11)
- Sep. 2011: the paper entitled "A Proof Assistant Based Formalization of MDE Components" (joint work with M. Kezadri, M. Pantel and X. Thirioux) is published at FACS'11
- Visiting Prof. Robert France at CSU (USA) two weeks in summer 2011
- Jun. 2011: the paper entitled "A Generic Tool for Tracing Executions Back to a DSML's Operational Semantics" (joint work with L. Gonnord and V. Rusu) is published at ECMFA'11
- Jun. 2011: Emmanuelle and Clement presented their PhD work at IDM 2011
- May 2011: the Triskell and Aoste research teams received a grant from the GDR GPL (CNRS) for a short-term collaboration about heterogeneous software-intensive systems
- New available positions for internship (master level), phd and post-doc. More information here.
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
- Suresh Pillay (Marie Curie ITN Relate). Co-advisor: Dr. B. Baudry
- Jonathan Marchand (ENS Cachan). Co-advisor: Dr. B. Baudry
- Emmanuelle Rouillé (CIFRE at Sodifrance). Co-advisors: Dr. O. Barais, and Prof. J.-M. Jézéquel
- Clément Guy (French Government Grant). Co-advisors: Dr. S. Derrien, and Prof. J.-M. Jézéquel
- Master Internship
- 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 Educators' Symposium @ MoDELS 2012
- Program Committee member for SEFM'12, ICMT'12, ECMFA'12, CSP track at 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.
- Regular reviewer for the Springer International Journal about Software and System Modeling (SoSym).
- External reviewer in ACM Survey, IEEE Transactions on Software Engineering, 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.
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.
Available Positions (Master, PhD, Post-doc, and Engineer)
If you are interested in any of these positions, or if you want more information, please contact me by email.
- [Master] Model Transformation Testing . Advisors: .
- [Master] Process Driven Modeling Tool . Advisors: , , and .
Short Biography
I received a master's degree (2005), and a Ph.D. degree (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 the University of Rennes 1. I am evolving within the research team Triskell (IRISA and INRIA Labs) leaded by Prof. Jean-Marc Jézéquel. I am interested in software engineering, including model driven engineering, software language engineering and V&V. I am also teaching object-oriented programming and modeling, model driven engineering and test in the school of engineering ESIR (formerly DIIC) and several masters (ISTIC). Finally, I am taking part in the model engineering course of the INSA Toulouse and INSA Rennes schools of engineering.
Awards, Diploma, Grants and Positions
- 2011 (July), and 2010 (May-July): Visiting researcher at the Computer Science Department, Colorado State University (USA), in the group of Prof. Robert 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

