Hang Nguyen (2010 - 2013)

Title: Detecting and fixing quality defects in service-oriented architectures
Funding: INRIA Cordis
Co-advisors: Johann Bourcier and Naouel Moha.

Nicolas Sannier (2010 - 2013)

Title: Synthesize heterogeneous sources of information into a requirements model
Funding: CIFRE - EDF
Co-advisor: Catherine Devic (EDF).

Aymeric Hervieu (2010 - 2013)

Title: Model-based testing: handling performance in embedded software product lines
Funding: CIFRE - Kereval
Co-advisors: Arnaud Gotlieb and Alain Ribault (Kereval).

Olivier Ben David (2010 - 2013)

Title: Secured architectures for future internet applications
Funding: NESSoS NoE
Co-advisor: Jean-Marc Jézéquel.

Juan Cadavid (2009 - 2012)

Title: Assisting metamodeling with formal analysis
Funding: Bretagne Regional Council and MOVIDA ANR project
Co-advisor: Jean-Marc Jézéquel.

Freddy Muñoz (2007 - 2010)

Title: Validation of Reasoning Engines and Adaptation Mechanisms for Self-adaptive Systems
Funding: DiVA EU project
Co-advisor: Jean-Marc Jézéquel.
Current situation: Freddy is currently at Antelink.
Home page: http://freddy.cellcore.org

Sagar Sen (2006 - 2009)

Title: Automatic Discovery of Effective Models
Funding: ANR DOMINO and S-CUBE NoE
Co-advisor: Hans Vangheluwe, Mc Gill University and Jean-Marc Jézéquel
Current situation: Sagar is currently a postdoc at INRIA Sophia Antipolis - Méditerrannée
Home page: http://web.me.com/sagarsen/SagarPro/

Romain Delamare (2006 - 2009)

Title: Automatic analyses for testing aspect-oriented programs
Funding: Bretagne Regional Council
Co-advisor: Yves Le Traon
Current situation: Romain is currently a postdoc at the University of Alabama.
Home page: http://www.romain-delamare.net

Jean-Marie Mottu (2005 - 2008)

Title: Model transformation testing: criteria, qualification and oracle for MDA components
Funding: MENRT
Co-advisor: Yves Le Traon
Current situation: Jean-Marie is currently associate professor at Université de Nantes.
Home page: http://pagesperso.lina.univ-nantes.fr/%7Emottu-jm

Erwan Brottier (2005 - 2008)

Title: Requirements-based validation: simulation and test generation
Funding: Cifre France Telecom
Co-advisor: Yves Le Traon

Franck Fleurey (2003 - 2006)

Title: Method and language for reliable Model-Driven Engineering
Funding: MENRT
Co-advisor: Yves Le Traon
Current situation: Franck is currently full time research scientist at SINTEF in Oslo, Norway.
Home page: http://www.fleurey.com/franck