- 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 »
|
