Thèses

2008

1. Camille Constant, Génération automatique de tests pour des modèles avec variables ou récursivité, Thèse de l'Ecole doctorale Matisse, Université de Rennes I, Novembre 2008. (détails)
2. T. Le Gall, Abstract Lattices for the Verification of Systems with Queues and Stacks, Thèse de l'Ecole doctorale Matisse, Université de Rennes 1, Juillet 2008. (détails)

2006

1. V. Rusu, Formal verification and conformance testing for reactive systems, Habilitation à diriger des recherches de l'Université de Rennes 1, Décembre 2006. (détails)
2. N. Bertrand, Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones et techniques de vérification automatique, Thèse de l'Laboratoire Spécification et Vérification, ENS Cachan, France, Septembre 2006. (détails)

2004

1. B. Gaudin, Synthèse de contrôleurs sur des systèmes à événements discrets structurés, Thèse de l'Université de Rennes 1, Novembre 2004. (détails)
2. E. Zinovieva, Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données, Thèse de l'Université de Rennes 1, Novembre 2004. (détails)
3. T. Jéron, Contribution à la génération automatique de tests pour les systèmes réactifs, Habilitation à diriger des recherches de l'Université de Rennes 1, Mars 2004. (détails)

2000

1. B. Jeannet, partitionnement Dynamique dans l'Analyse de Relations Linéraires et Application à la Vérification de Programmes Synchrones, Thèse de l'Institut National Polytechnique de Grenoble, Septembre 2000. (détails)
2. P. Morel, Une algorithmique efficace pour la génération automatique de tests de conformité, Thèse de l'Université de Rennes I, France, Février 2000. (détails)

1997

1. H. Marchand, Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis, Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. (détails)

1996

1. V. Rusu, Vérification temporelle de programmes ELECTRE, Thèse de l'Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes, Janvier 1996. (détails)

1991

1. T. Jéron, Contribution à la validation des protocoles : test d'infinitude et vérification à la volée, Thèse de l'Université de Rennes I, Mai 1991. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.