Past PhD Committees
Jason Lecerf, president, Lille, 2019
Construction de moteurs de transformation de code automatique agnostiques du languageMaxime Compastié, president, Nancy, 2018
Software-defined Security for Distributed CloudsDan Zhang, examiner, Eindhoven, 2018
From Concurrent State Machines to Reliable Multi-threaded Java CodeThi-Kim-Dung Pham, reviewer, Paris, 2017
Development of Correct-by-Construction Software using Product Lines
Vivien Pelletier, Orléans, 2017
Sur-approximations non régulières et terminaison pour l’analyse d’accessibilité
Duy Duc Nguyen, president, Besançon, 2017
Modélisation d’une matrice de micro-mirroirs et contribution au développement d’un simulateur de matrices de micro-systèmes
Geoffrey Hetch, president, Lille, 2016
Détection et analyse de l’impact des défauts de code dans les applications mobiles
Luc André, president, Nancy, 2016
Préservation des intentions et maintien de la cohérence des données répliquées en temps réel
Benoit Cornu, reviewer, Lille, 2015
Automatic Analysis and Repair of Exception Bugs for Java Programs
Cyril Bouvier, Nancy, 2015
Algorithmes pour la factorisation d'entiers et le calcul de logarithme discret
Faiez Zalila, reviewer, Toulouse, 2014
Methods and tools for the integration of formal verification in domain-specific languages
Cyrille Wiedling, Nancy, 2014
Formal Verification of Advanced Families of Security Protocols: E-Voting and APIs
Jean-Christophe Bach, adviser, Nancy, 2014
Un îlot formel pour les transformations de modèles qualifiables
Clément Guy, reviewer, Rennes, 2013
Facilités de typage pour l'ingénierie des langages
Mathieu Giorgino, reviewer, Toulouse, 2013
Inductive Representation, Proofs and Refinement of Pointer Structures
Laurent Wouters, Paris, 2013
Multi-Domain Expert-User Modeling Infrastructure
Pengfei Liu, reviewer, Bordeaux, 2013
Intégration de politiques de sécurité dans des systèmes ubiquitaires
Luc Engelen, Eindhoven, 2012
From Napkin Sketches to Reliable Software
Aurélien Monot, Nancy, 2012
Contraintes de temps de bout-en-bout dans le contexte AUTOSAR
Claudia Tavares, adviser, Nancy, 2012
Un système de types pour la programmation par réécriture embarquée
K.C. Santosh, Nancy, 2011
"Graphics Recognition using Spacial Relations and Shape Analysis"
Julien Tesson, Orléans, 2011
"Environnement pour le développement et la preuve de correction systématiques de programmes parallèles fonctionnels"
Mathieu Boespflug, reviewer, Palaiseau, 2011
"Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo"
Julien Blond, Paris, 2010
"Modélisation et implantation d'une politique de sécurité d'un OS multi-niveaux via une traduction de FoCaLize vers C"
Laurent Hubert, reviewer, Rennes, 2010
"Foundations and Implementation of a Tool Bench for Static Analysis of Java Bytecode Programs"
Paul Brauner, Nancy, 2010
"Fondements et mise en oeuvre de la Super Déduction Modulo"
Emilie Balland, adviser, Nancy, 2009
"Conception d'un langage dédié à l'analyse et la transformation de programmes"
Muck van Weerdenburg, Eindhoven, 2009
"Efficient Rewriting Techniques"
Radu Kopetz, adviser, Nancy, 2008
"Contraintes d'anti-filtrage et programmation par réécriture"
Pierre Parrend, Lyon, 2008
"Software Security Models for Service-Oriented Programming (SOP) Platforms"
Antoine Reilles, adviser, Nancy, 2006
"Réécriture et compilation de confiance"