Thesis

2015

  1. N. Bertrand. Contributions to the verification and control of timed and probabilistic models. Habilitation à diriger des recherches Rennes 1, November 2015. details Hal : Hyper Archive en ligne download
  2. S. Pinisetty. Runtime enforcement of timed properties. PhD Thesis Université Rennes 1, No 2015,January 2015. details Hal : Hyper Archive en ligne download

2014

  1. S. Chédor. Diagnostic, opacité et test de conformité pour des systèmes récursifs. PhD Thesis Université de Rennes 1, January 2014. details pdf

2013

  1. Aurore Junier. Analyse de performance et de stabilité des réseaux de télécommunication. PhD Thesis École normale supérieure de Cachan - ENS Cachan, December 2013. details Hal : Hyper Archive en ligne pdf
  2. Amélie Stainer. Contribution à la vérification des automates temporisés : déterminisation, vérification quantitative et accessibilité dans les réseaux d'automates. PhD Thesis Université Rennes 1, November 2013. details Hal : Hyper Archive en ligne pdf
  3. Rouwaida Abdallah. Implementability of distributed systems described with scenarios. PhD Thesis École normale supérieure de Cachan - ENS Cachan, July 2013. details Hal : Hyper Archive en ligne pdf
  4. Carole Hounkonnou. Auto-diagnostic actif dans les réseaux de télécommunications. PhD Thesis Université Rennes 1, July 2013. details Hal : Hyper Archive en ligne pdf
  5. L. Hélouet. Automates d'ordres : Théorie et Applications. Habilitation à diriger des recherches Université de Rennes 1, May 2013. details

2007

  1. E. Fabre. Bayesian Networks of Dynamic Systems. Habilitation à diriger des recherches Université de Rennes 1, 2007. details

2006

  1. N. Bertrand. Modèles stochastiques pour les pertes de messages dans les protocoles asynchrones et techniques de vérification automatique. PhD Thesis Laboratoire Spécification et Vérification, ENS Cachan, France, September 2006. details pdf

2004

  1. 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. details

1999

  1. Eric Badouel. Automates réversibles et réseaux de Petri, dualité et représentation : le problème de la synthèse. Habilitation à diriger des recherches Université de Rennes 1, April 1999. details

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. details ps

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. details

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