Thesis

2011

1. Bartosz Grabiec. Distributed system supervision using timed constrained unfoldings. PhD Thesis ENS Cachan, 2011.

2009

1. Debmalya Biswas. Visibility in Hierarchical Systems. PhD Thesis Université de Rennes 1, 2009.
2. Sidney Rosario. Quality of Service issues in compositions of Web services. PhD Thesis Université de Rennes 1, 2009.

2008

1. Thomas Gazagnaire. Scenario Languages: Using Partial Orders to Model, Verify and Supervize Distributed and Concurrent Systems. PhD Thesis Université de Rennes 1, 2008.
2. Stefan Haar. Law and Partial Order; Nonsequential Behaviour and Probability in Asynchronous Systems. PhD Thesis Université de Rennes 1, 2008.

2007

1. Eric Fabre. Bayesian Networks of Dynamic Systems. PhD Thesis Université de Rennes 1, 2007.
2. Emmanuel Donin de Rosière. Un langage non déterministe pour l'écriture de scénarios de test. PhD Thesis Université de Rennes 1, September 2007.

2006

1. Thomas Chatain. Symbolic Unfoldings of High-Level Petri Nets and Application to Supervision of Distributed Systems. PhD Thesis Université de Rennes 1, 2006.

2004

1. S. Abbes. Probabilistic Models for Distributed and Concurrent Systems. Limit Theorems and Applications to Statistical Parametric Estimation. PhD Thesis Université de Rennes 1, 2004.

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 v210, © INRIA 2002-2006, Projet Lagadic