Thesis and habilitations

2014

1. Fabien Duchene. Detection of Web Vulnerabilities via Model Inference assisted Evolutionary Fuzzing. PhD Thesis Université de Grenoble, France, June 2014.

2013

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

2012

1. Muhammad Naeem Irfan. Analysis and optimization of software model inference algorithms. PhD Thesis Université de Grenoble, Grenoble, France, September 2012. download

2011

1. Muhammad Nafees Qamar. Spécification et animation de modèles de conception de la sécurité avec Z. PhD Thesis Université de Grenoble, December 2011.

2010

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

2009

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

2008

1. Muzammil Shahbaz. Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, December 2008.

2007

1. Vianney Darmaillacq. Génération de tests pour les systèmes répartis. PhD Thesis Université Joseph Fourier, Grenoble, France, December 2007.
2. Ioannis Parissis. Méthodes et outils pour le test des logiciels. Habilitation à diriger des recherches Université Joseph Fourier, Grenoble, France, December 2007.
3. Nicolas Stouls. Systèmes de transitions symboliques et hiérarchiques pour la conception et la validation de modèles B raffinés. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, December 2007. download
4. Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs. PhD Thesis Université Joseph Fourier, Grenoble, France, October 2007. download
5. Thomas Deruyter. Modélisation d'architectures DSP pour le reciblage de compilateur. PhD Thesis Institut Polytechnique de Grenoble, Grenoble, France, June 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. PhD Thesis Université Joseph Fourier, Grenoble, France, December 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. PhD Thesis Université de Grenoble 1, November 2006. download
3. Audrey Kermarrec. Enrichissement de tests de protocoles modélisés par des EFSM. PhD Thesis Institut National Polytechnique de Grenoble, September 2006.
4. Abdesselam Lakehal. Critères de couverture structurelle pour les programmes Lustre. PhD Thesis Université Joseph Fourier, Grenoble, France, September 2006. download

2005

1. Olivier Maury. Outils pour la synthèse de tests et la maîtrise de l'explosion combinatoire. PhD Thesis Université Joseph Fourier, Grenoble, France, December 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. PhD Thesis Université Joseph Fourier, Grenoble, France, July 2005. download
3. Pawel Hadam. Transports nouvelle génération dans les réseaux à très haut débit. PhD Thesis INPG, Grenoble, France, June 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. PhD Thesis Université Joseph Fourier, Grenoble, France, March 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é. PhD Thesis Université Joseph Fourier, Grenoble, France, October 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 INPG, Grenoble, France, December 2002. download
2. Stéphane Lo Presti. Langage de spécification et de description de présentations multimédias. PhD Thesis INPG, Grenoble, France, November 2002.
3. Rémy Sanlaville. Architecture logicielle : une expérimentation industrielle avec Dassault Systèmes. PhD Thesis Université Joseph Fourier, Grenoble, France, May 2002.

2000

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

1999

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

1996

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

1995

1. Anamaria Martins. La généralisation : un outil pour la réutilisation. PhD Thesis INPG, Grenoble, France, 1995.