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 great students.
Deepika Tiwari (2020 – 2025): Test generation from execution traces. Supported by WASP and co-advised with Martin Monperrus
Javier Cabrera Arteaga (2019 – 2024): Software randomization against side channels. Supported byTrustfull and co-advised with Martin Monperrus
Cesar Soto Valero (2018 – 2023): Automatic software debloat. Supported byWASP and co-advised with Martin Monperrus, Thomas Durieux
Nicolas Harrand (2016 – 2021): Multi-level software diversification. Supported by DGA-INRIA and WASP. Co-advised with Martin Monperrus and David Broman.
Oscar Luis Vera Perez (2016 – 2019): Automatic test assessment. Supported byH2020 STAMP and co-advised with Martin Monperrus.
Current situation: R&D software engineer at MediaKind.
Benjamin Danglot (2016 – 2019): Automatic test amplification. Supported byH2020 STAMP and co-advised with Martin Monperrus.
Current situation: R&D software engineer at Davidson.
Alejandro Boix (2016 – 2019): Distributed mitigation against browser fingerprinting. Supported by Cominlabs PROFILE and co-advised with David Bromberg
Marcelino Rodriguez-Cancio (2015 – 2018): Automatic computation diversification. Supported by Clarity project and co-advised with Benoit Combemale.
Current situation: R&D engineer, entrepreneur
Pierre Laperdrix (2014 – 2017): Secretless moving target against browser fingerprinting. Supported by MESR and co-advised with Gildas Avoine.
Current situation: Research scientist at CNRS.
Kwaku Yeboah-Antwi (2013 – 2016): Runtime emergence of software diversity. Supported by DIVERSIFY project and co-advised with Olivier Barais
Current situation: chief engineer, BCG Platinion
Mohamed Boussaa (2013 – 2016): An Architecture for Testing Large-Scale Dynamic Distributed Systems. Supported by HEADS project and co-advised withOlivier Barais.
Current situation: research engineer at ActiveEon.
David Mendez (2013 – 2016): Variability Management in Modeling Languages. Supported by VaryMDE project and co-advised withBenoit Combemale.
Current situation: Software engineer, Adobe.
Sana Ben Nasr (2013 – 2016): Modeling variability in regulatory requirements. Supported by CONNEXION project and co-advised with Mathieu Acher.
Current situation: Research engineer, ENSTA.
Valeria Lelli (2012 – 2015): Model-based test generation for critical interactive systems. Supported by CONNEXION project and co-advised with Arnaud Blouin.
Current situation: Professor at the Federal University of Ceará, Brazil.
Erwan Bousse (2012 – 2015): Hybrid model-based verification. Supported by MESR and co-advised with Benoit Combemale.
Current situation: Associate Professor at University of Nantes, France.
Jacky Bourgeois (2012 – 2015): Context-Aware Demand Shifting for domestic Microgeneration. Supported by Centre for Research in Computing (CRC) of The Open University in Milton Keynes (UK) and Université de Rennes 1 in Rennes (France) and co-advised with Janet van der Linden, Gerd Kortuem, Johann Bourcier.
Current situation: Researcher at TU Delft.
Joao Bosco Ferreira Filho (2011 – 2014): Variability modeling in software intensive systems. Supported byVaryMDE project and co-advised withOlivier Barais.
Current situation: Professor at the Federal University of Ceara, Brazil.
Hamza Samih (2011 – 2014): Extending model-based testing with variability and security management. Supported by CIFRE All4TEC and co-advised with Hélène Le Guen.
Current situation: software engineer in embedded systems at Nokia.
Aymeric Hervieu (2010 – 2013): Model-based testing: handling performance in embedded software product lines. Supported by CIFRE Kereval and co-advised with Arnaud Gotlieb and Alain Ribault (Kereval).
Current situation: R&D director for Energiency.
Nicolas Sannier (2010 – 2013): Synthesize heterogeneous sources of information into a requirements model. Supported by CIFRE – EDF and co-advised with Catherine Devic (EDF).
Current situation: research scientist in the University of Luxembourg.
Juan Cadavid (2009 – 2012): Assisting metamodeling with formal analysis. Supported by Bretagne Regional Council and MOVIDA ANR project and co-advised with Jean-Marc Jézéquel. Current situation: responsible for EU porjects at CEA in Paris, France.
Freddy Muñoz (2007 – 2010): Validation of Reasoning Engines and Adaptation Mechanisms for Self-adaptive Systems. Supported by DiVA EU project and co-advised with Jean-Marc Jézéquel. Current situation: director of technical program management, Compass.
Sagar Sen (2006 – 2009): Automatic Discovery of Effective Models. Supported by ANR DOMINO and S-CUBE NoE, co-advised with Hans Vangheluwe, Mc Gill University and Jean-Marc Jézéquel.
Current situation: research scientist at Simula Research Laboratory
Romain Delamare (2006 – 2009): Automatic analyses for testing aspect-oriented programs. Supported by Bretagne Regional Council and co-advised withYves Le Traon.
Current situation: software engineer at Legrand.
Jean-Marie Mottu (2005 – 2008): Model transformation testing: criteria, qualification and oracle for MDA components. Supported by MENRT and co-advised with Yves Le Traon.
Current situation: associate professor at Université de Nantes.
Erwan Brottier (2005 – 2008): Requirements-based validation: simulation and test generation. Supported by Cifre France Telecom and co-advised with Yves Le Traon.
Franck Fleurey (2003 – 2006): Method and language for reliable Model-Driven Engineering. Supported by MENRT and co-advised withYves Le Traon.
Current situation: senior software engineer at TellU.