Benoit Combemale
PhD in Computer Science

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

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: Benoit Baudry, and Benoit Combemale.
• [Master] Process Driven Modeling Tool . Advisors: Benoit Combemale, Olivier Barais, and Stéphane Drapeau (OBEO).

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.

See also my short or long resume (in french).

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