• Home
• People
• Publications

Thesis

2022

1. Abdul Majith Noordheen. Automated verification and synthesis of distributed systems : in particular applied to SDN-IoT platform. PhD Thesis Université Rennes 1, No 2022,June 2022.
2. E. Clément. Robustness of timed automata : computing the maximally-permissive strategies. PhD Thesis Université Rennes 1, March 2022.

2021

1. Léo Henry. There and back again : formal methods and model learning for real-time systems : acting upon reality and learning from its reactions. PhD Thesis Université Rennes 1, December 2021.
2. S. Sadhukhan. A Verification Viewpoint on Network Congestion Games. PhD Thesis Inria Rennes, December 2021.
3. A. Queffelec. Connected Multi-Agent Path Finding: How Robots Get Away with Texting and Driving. PhD Thesis IRISA, équipe LogicA, October 2021.
4. A. Majumdar. Vérification et synthèse de systèmes concurrents paramétrés. PhD Thesis Université Paris-Saclay, No 2021,September 2021.
5. Rituraj Singh. Data Centric Workflows for Crowdsourcing Application. PhD Thesis Université de Rennes 1, May 2021.

2020

1. Victor Roussanaly. Efficient verification of real time systems. PhD Thesis Université Rennes 1, November 2020.
2. Sihem Cherrared. Fault management of programmable multi-tenant networks. PhD Thesis Université Rennes 1, No 2020,June 2020.

2019

1. H. Bazille. Detection and Quantification of Events in Stochastic Systems. PhD Thesis Univ-Rennes1, December 2019.
2. T.A. Pham. Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs. PhD Thesis ENS Rennes, December 2019.
3. K. Kecir. Performance evaluation of urban rail traffic management techniques. PhD Thesis Université Rennes 1, No 2019,July 2019.
4. R. Nsaibirni. A Guarded Attribute Grammar Based Model for User Centered, Distributed, and Collaborative Case Management Case of the Disease Surveillance Process. PhD Thesis Université de Yaoundé I, April 2019.

2018

1. Engel Lefaucheux. Controlling information in Probabilistic Systems. PhD Thesis Université Rennes 1, September 2018.
2. M. Pichené. Multi-level analysis in computational system biology : the case of HeLa cells under apoptosis treatment. PhD Thesis Université Rennes 1, No 2018,June 2018.

2017

1. Hervé Marchand. Contribution to the Analysis of Discrete Event Systems. Habilitation à diriger des recherches Université de Rennes 1, June 2017.

2016

1. Blaise Genest. Taming Concurrency using Representatives.. Habilitation à diriger des recherches Université de Rennes 1, March 2016.

2015

1. N. Bertrand. Contributions to the verification and control of timed and probabilistic models. Habilitation à diriger des recherches Rennes 1, November 2015. download
2. Paulin Fournier. Parameterized verification of networks of many identical processes. PhD Thesis Université de Rennes 1, March 2015. download
3. S. Pinisetty. Runtime enforcement of timed properties. PhD Thesis Université Rennes 1, No 2015,January 2015. 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.

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.
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.
3. Rouwaida Abdallah. Implementability of distributed systems described with scenarios. PhD Thesis École normale supérieure de Cachan - ENS Cachan, July 2013.
4. Carole Hounkonnou. Auto-diagnostic actif dans les réseaux de télécommunications. PhD Thesis Université Rennes 1, July 2013.
5. L. Hélouet. Automates d'ordres : Théorie et Applications. Habilitation à diriger des recherches Université de Rennes 1, May 2013.

2007

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

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.

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.

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.

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.

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