Thesis

2009

1. Jérémy Dubreil. Monitoring and Supervisory Control for Opacity Properties. PhD Thesis Université de Rennes 1, November 2009.

2008

1. Camille Constant. Génération automatique de tests pour des modèles avec variables ou récursivité. PhD Thesis Ecole doctorale Matisse, Université de Rennes I, November 2008.
2. T. Le Gall. Abstract Lattices for the Verification of Systems with Queues and Stacks. PhD Thesis Ecole doctorale Matisse, Université de Rennes 1, July 2008.

2006

1. V. Rusu. Formal verification and conformance testing for reactive systems. Habilitation à diriger des recherches Université de Rennes 1, December 2006.

2004

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

2000

1. P. Morel. Une algorithmique efficace pour la génération automatique de tests de conformité. PhD Thesis Université de Rennes I, France, February 2000.

1997

1. H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. PhD Thesis Université de Rennes 1, IFSIC, October 1997.

1996

1. V. Rusu. Vérification temporelle de programmes ELECTRE. PhD Thesis Ecole Centrale de Nantes, Laboratoire d'Automatique de Nantes, January 1996.

1991

1. T. Jéron. Contribution à la validation des protocoles : test d'infinitude et vérification à la volée. PhD Thesis Université de Rennes I, May 1991.

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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic