PhD Students

A synthesis of the essential elements I look for when reviewing and supervising a PhD thesis can be found in French and in English

Since 2004, it has been my great pleasure to work with the students listed here.

Nicolas Harrand

Period: 2016 – 2019
Title: Multi-level software diversification
Funding: DGA-INRIA

Oscar Gomez

Period: 2016 – 2019
Title: Automatic test amplification
Funding: H2020 STAMP
Co-advisor: Martin Monperrus

Alejandro Boix

Period: 2016 – 2019
Title: Distributed mitigation against browser fingerprinting
Funding: Cominlabs PROFILE
Co-advisor: David Bromberg

Marcelino Rodriguez-Cancio

Period: 2015 – 2018
Title: Automatic computation diversification
Funding: Clarity project
Co-advisor: Benoit Combemale .

Pierre Laperdrix

Period: 2014 – 2017
Title: Secretless moving target against browser fingerprinting
Funding: MESR
Co-advisor: Gildas Avoine.

Kwaku Yeboah-Antwi

Period: 2013 – 2016
Title: Runtime emergence of software diversity
Funding: DIVERSIFY project
Co-advisor: Olivier Barais.

Mohamed Boussaa

Period: 2013 – 2016
Title: An Architecture for Testing Large-Scale Dynamic Distributed Systems
Funding: HEADS project
Co-advisor: Olivier Barais.

David Mendez

Period: 2013 – 2016
Title: Variability Management in Modeling Languages
Funding: VaryMDE project
Co-advisor: Benoit Combemale .

Sana Ben Nasr

Period: 2013 – 2016
Title: Modeling variability in regulatory requirements
Funding: CONNEXION project
Co-advisor: Mathieu Acher.

Valeria Lelli

Period: 2012 – 2015
Title: Model-based test generation for critical interactive systems
Funding: CONNEXION project
Co-advisor: Arnaud Blouin.

Erwan Bousse

Period: 2012 – 2015
Title: Hybrid model-based verification
Funding: MESR
Co-advisor: Benoit Combemale.

Jacky Bourgeois

Period: 2012 – 2015
Title: Context-Aware Demand Shifting for domestic Microgeneration
Funding: Centre for Research in Computing (CRC) of The Open University in Milton Keynes (UK) and Université de Rennes 1 in Rennes (France)
Co-advisor: Janet van der Linden, Gerd Kortuem, Johann Bourcier.

Joao Bosco Ferreira Filho

Period: 2011 – 2014
Title: Variability modeling in software intensive systems
Funding: VaryMDE project
Co-advisor: Olivier Barais .
Current situation: Bosco is now a postdoc at INRIA.

Hamza Samih

Period: 2011 – 2014
Title: Extending model-based testing with variability and security management
Funding: CIFRE All4TEC
Co-advisor: Hélène Le Guen.
Current situation: Hamza is now a software engineer in embedded systems at Alcatel-Lucent.

Aymeric Hervieu

Period: 2010 – 2013
Title: Model-based testing: handling performance in embedded software product lines
Funding: CIFRE Kereval
Co-advisors: Arnaud Gotlieb and Alain Ribault (Kereval).
Current situation: Aymeric is now setting up his own company around a middleware solution for adaptive embedded systems.

Nicolas Sannier

Period: 2010 – 2013
Title: Synthesize heterogeneous sources of information into a requirements model
Funding: CIFRE – EDF
Co-advisor: Catherine Devic (EDF).
Current situation: Nicolas is currently a research scientist in the University of Luxembourg, working in the SVV lab.

Juan Cadavid

Period: 2009 – 2012
Title: Assisting metamodeling with formal analysis
Funding: Bretagne Regional Council and MOVIDA ANR project
Co-advisor: Jean-Marc Jézéquel.
Current situation: Juan is currently at CEA in Paris, France, working on the Papyrus modeling tool.

Freddy Muñoz

Period: 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 Amazon in Paris, France.

Sagar Sen

Period: 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 research scientist at Simula Research Laboratory

Romain Delamare

Period: 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.

Jean-Marie Mottu

Period: 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.

Erwan Brottier

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

Franck Fleurey

Period: 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.