Projects

• NeSSOS (2010 - 2014)
• Software engineering for secured future internet. In this project I specifically investigate architecture and design of future internet application. I also co-lead WP7 with JeaN-Marc Jézéquel
• European network of excellence
• http://www.nessos-project.eu/
• DIVA (2008 - 2011)
• Dynamic variability in complex, adaptive systems. In this project I specifically investigated the verification of adaptation rules and of AOP as an adaptation mechanism.
• IST STREP project
• http://www.ict-diva.eu/
• DOMINO (2007 - 2009)
• This project aims at defining methods and evironments for validation in a model-driven development context.
• ANR project.
• http://www.domino-rntl.org
• OpenDevFactory (2006 - 2008)
• In this project, we aim at integrating a requirements engineering module in a software factory for model-driven development.
• System@tic cluster project
• http://www.usine-logicielle.org/
• AOSD (2004 - 2008)
• Aspect Oriented Software Development. In this network we have developped a collaboration with the Trinity College of Dublin (A. Jackson and S. Clarke) that focuses on testing issues for aspect-oriented modelling.
• European network of excellence
• http://www.aosd-europe.net/
• Mutation 2 (2004 - 2005)
• Automatic test generation from textual requirements.
• A Carroll project.
• AS-MDA (2004)
• Academic working group on Model-Driven Architecture
• CNRS project
• CAFE (2001 - 2003)
• Software product lines. We specifically invstigated testing techniques for products and product lines.
• An ITEA project.
• http://www.esi.es/Cafe/

International collaborations

• 2008-2009: Associated researcher to the SENSORIA IP project.
• 2008-2011: Equipe associee MoCCA in collaboration with Colorado State University - SAL.
• 2007-2008: Visiting researcher at the Computer Science Department, Colorado State University.
• 2006-2009: Equipe associee MATT in collaboration with Colorado State University - SAL. This is a three year program funded by INRIA - DREI.
• 2005: Grant from the INRIA - DREI to collaborate with Sudipto Ghosh and Robert France from the CSU - SAL Collaboration on model composition, model transformation and model testing.
• August 2003: visit Sita Ramakrishnan in Monash University, Melbourne in August 2003 to collaborate on mutation analysis of object-oriented programs.
• Collaboration with Lionel Briand and Yvan Labiche from the SQUALL lab in Carleton University, Ottawa on design by contract for testing object oriented software. Visited a month in 2001 and 2002.

Invited talks

April 2009: 4thh International School for Distributed Realtime Embedded Systems MDD4DRES. Testing Model Transformations: A case for Test Generation from Input Domain Models
January 2009: AOM day in Toulouse. "A summary on Aspect-oriented modelling". The slides are available here.
September 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Volgenau School of Information Technology and Engineering of George Mason University.
June 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Modeling, Simulation and Design Lab of Mc Gill University.
April 2008: "Testing Model Transformations in Model Driven Engineering". Seminar at the Department of Computer Science and Engineering of University of Nebraska-Lincoln.