Thèses et habilitations à diriger les recherches

2014

1. Fabien Duchene. Detection of Web Vulnerabilities via Model Inference assisted Evolutionary Fuzzing. Thèse de l'Université de Grenoble, France, Juin 2014.

2013

1. Azzeddine Amiar. Aide à l'analyse de traces d'exécution dans le contexte des microcontrôleurs. Thèse de l'Université de Grenoble, France, Novembre 2013.
2. Sofia Bekrar. Recherche de vulnérabilités logicielles par combinaison d'analyses de code binaire et de frelatage (fuzzing). Thèse de l'Université de Grenoble, France, Octobre 2013.
3. Taha Triki. Réduction et filtrage de tests combinatoires. Thèse de l'Université de Grenoble, France, Octobre 2013.
4. Yves Grasland. Test fonctionnel de propriétés hybrides. Thèse de l'Université de Grenoble, France, Février 2013.

2012

1. Muhammad Naeem Irfan. Analysis and optimization of software model inference algorithms. Thèse de l'Université de Grenoble, Grenoble, France, Septembre 2012. download

2011

1. Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec Z. Thèse de l'Université de Grenoble, Décembre 2011.

2010

1. L. du Bousquet. Contributions à l'automatisation raisonnée de différents processus du test logiciel. Habilitation à diriger des recherches, Grenoble, France, Novembre 2010.
2. Virginia Papailiopoulou. Test automatique de programmes Lustre/SCADE. Thèse de l'Université Joseph Fourier, Grenoble, France, Février 2010. download

2009

1. Yliès Falcone. Étude et mise en oeuvre de méthodes de validation à l'exécution. Thèse de l'Université Joseph Fourier, Grenoble, France, Novembre 2009. download
2. Muhammad Rabee Shaheen. Validation de Métriques de Testabilité Logicielle pour Les Programmes Objets. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2009.
3. Besnik Seljimi. Test de logiciels synchrones avec la PLC. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2009. download

2008

1. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2008.

2007

1. Vianney Darmaillacq. Génération de tests pour les systèmes répartis. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2007.
2. Ioannis Parissis. Méthodes et outils pour le test des logiciels. Habilitation à diriger des recherches de l'Université Joseph Fourier, Grenoble, France, Décembre 2007.
3. Nicolas Stouls. Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Décembre 2007. download
4. Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2007. download
5. Thomas Deruyter. Modélisation d'architectures DSP pour le reciblage de compilateur. Thèse de l'Institut Polytechnique de Grenoble, Grenoble, France, Juin 2007.

2006

1. Héctor Ruíz Barradas. Propriétés de vivacité sous condition d'équité et sémantique des systèmes d'événements avec la méthode B. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2006. download
2. Akram Idani. B/UML : Mise en relation de spécifications B et de descriptions UML pour l'aide à la validation externe de développements formels en B. Thèse de l'Université de Grenoble 1, Novembre 2006. download
3. Audrey Kermarrec. Enrichissement de tests de protocoles modélisés par des EFSM. Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2006.
4. Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 2006. download

2005

1. Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. Thèse de l'Université Joseph Fourier, Grenoble, France, Décembre 2005. download
2. Karim-Cyril Griche. Génération Automatique de bouchons pour le Test Structurel basée sur l'analyse du flot de contrôle. Thèse de l'Université Joseph Fourier, Grenoble, France, Juillet 2005. download
3. Pawel Hadam. Transports nouvelle génération dans les réseaux à très haut débit. Thèse de l'INPG, Grenoble, France, Juin 2005.
4. Pierre Bontron. Les schémas de test : une abstraction pour la génération de tests de conformité et la mesure de couverture. Thèse de l'Université Joseph Fourier, Grenoble, France, Mars 2005. download

2004

1. Jérôme Vassy. Génération automatique de cas de test guidée par des propriétés de sûreté. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 2004. download

2002

1. Marie-Laure Potet. Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B. Habilitation à diriger des recherches de l'INPG, Grenoble, France, Décembre 2002. download
2. Stéphane Lo Presti. Langage de spécification et de description de présentations multimédias. Thèse de l'INPG, Grenoble, France, Novembre 2002.
3. Rémy Sanlaville. Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes. Thèse de l'Université Joseph Fourier, Grenoble, France, Mai 2002.

2000

1. Sophie Dupuy. Couplage de notations semi-formelles et formelles pour la spécification des systèmes d'information. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 2000. download
2. Nicolas Zuanon. Test de spécifications de services de télécommunication. Thèse de l'Université Joseph Fourier, Grenoble, France, Juin 2000.

1999

1. Eric Cheminot. Formalisation de spécifications de logiciels : traitement d'annotations en langue naturelle contrôlée. Thèse de l'INPG, Grenoble, Décembre 1999.
2. L. du Bousquet. Test fonctionnel statistique de systèmes spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1999.
3. Alain Cougoulic. Simulation de spécifications d'applications de gestion de réseaux de télécommunications. Thèse de l'INPG, Grenoble, Juin 1999.

1996

1. Yves Guerte. Dérivation de programmes impératifs à partir de spécifications algébriques. Thèse de l'Université Claude Bernard, 1996.
2. Catherine Oriat. Etude des spécifications modulaires: constructions de colimites finies, diagrammes, isomorphismes. Thèse de l'INPG, Grenoble, France, 1996.
3. Denis Avrilionis. Mécanismes pour l'évolution et la réutilisation des processus de production des logiciels. Thèse de l'Université Joseph Fourier, Grenoble, France, Octobre 1996.
4. Ioannis Parissis. Test de logiciels synchrones spécifiés en Lustre. Thèse de l'Université Joseph Fourier, Grenoble, France, Septembre 1996.

1995

1. Anamaria Martins. La généralisation : un outil pour la réutilisation. Thèse de l'INPG, Grenoble, France, 1995.