News

Short Biography

From the University of Toulouse (France), I received a master's degree in 2005 and, in 2008, a Ph.D. degree in Computer Science (with the Leopold Escande Award 2008). More details in the thesis' page. In October, 2008, I joined the AtlanMod team of INRIA, at the 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. Moreover, I was a teacher assistant at the IUT B de Blagnac from 2004 to 2005, at the INPT ENSEEIHT school of engineering from 2005 to 2008, and at the INSA Toulouse school of engineering from 2006 to 2009.

Since September 2009, I am associate professor at the University of Rennes 1. I am teaching object-oriented programming and modeling, model driven engineering and test in the school of engineering ESIR (formerly DIIC) and several masters (IFSIC and UFR SPM). I am also taking part in the model engineering course of the INSA Toulouse and INSA Rennes schools of engineering. I am evolving within the research team Triskell, part of the IRISA and INRIA Labs. I lead studies in software engineering, including model driven engineering, software language engineering and V&V.

See also my short CV (in french !)

Research

What I'm interested in

  • (meta/mega) Modeling, and Domain Specific Modeling Language,
  • Formal behavioral semantics of languages,
  • Models at runtime, and models V&V,
  • Software Development Process & Business Process Management,
  • System Engineering and Autonomic Computing.

Publications

Follow this link for the complete list... (see also at [DBLP]).

Projects & Prototypes

  • Lambda RNTL Project
  • SCOrWare RNTL Project
  • 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.

Teaching

Since September, 2009, I am associate professor at the University of Rennes 1. I mainly teach in the engineering school ESIR (formerly DIIC), and in several masters (IFSIC and UFR SPM). I take part in the following modules:

  • DIIC2 MDI : Méthodes de développement industriel
  • DIIC3 IM : Ingénierie des Modèles
  • DIIC3 TQL : Test et Qualité du Logiciel
  • M1 Miage - ACO : Analyse et Conception Objet
  • M2 GL - CAO : Conception Avancée par Objets
  • M2R MDE : Model Driven Engineering
  • M2 DRI - Java

Moreover, I am teaching Model Driven Engineering (MDE) in several other engineering schools (ENSEEIHT, INSA Toulouse, and INSA Rennes), and I realize the Software Engineering course (40h) in Master 2 (Research) at the University of Yaounde I (Cameroun) : UML, OCL, Metamodeling (MOF, Ecore, EMF, Topcased), Model Transformation (QVT, ATL).

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:

Available Positions (Master, PhD and Post-doc)

If you are interested in any of these positions, or if you want more information, please contact me by email.

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 25 32,
  • Skype: benoit.combemale,
  • and by snail mail:
    IRISA, Room F236
    Campus de Beaulieu
    F-35042 Rennes Cedex

My email : benoit.combemale AT inria.fr