Thesis

2011

  1. Benoît Caillaud. Analysis, Control and Synthesis of Concurrent Systems. Habilitation à diriger des recherches University of Rennes 1, March 2011. details

2010

  1. Benoît Delahaye. Modular Specification and Compositional Analysis of Stochastic Systems. PhD Thesis Université de Rennes 1, 2010. details
  2. Bernard Talla Fotsing. Les grammaires attribuées pour la conception et l'assemblage de langages dédiés. PhD Thesis Université de Rennes I et Université de Yaoundé I, December 2010. details

2009

  1. Maurice Tchoupé Tchendji. Une approche grammaticale pour la fusion de réplicats partiels d'un document structuré : application à l'édition collaborative asynchrone. PhD Thesis Université de Rennes I et Université de Yaoundé I, August 2009. details

2007

  1. Jean-Baptiste Raclet. Quotient de spécifications pour la réutilisation de composants. PhD Thesis \'Ecole doctorale Matisse, université de Rennes 1, 2007. details

2005

  1. Guillaume Feuillade. Spécification logique de réseaux de Petri. PhD Thesis Université de Rennes 1, école doctorale MATISSE, December 2005. details

2003

  1. Sophie Pinchinat. Contributions à l'analyse et au contrôle des systèmes réactifs. Habilitation à diriger des recherches Université de Rennes 1, école doctorale MATISSE, December 2003. details
  2. Stéphane Riedweg. Logiques pour le contrôle d'automatismes discrets. PhD Thesis Université de Renne 1, école doctorale MATISSE, December 2003. details

2002

  1. Pierre Le Maigat. Techniques algébriques max-plus pour l'analyse des performances temporelles de systèmes concurrents. PhD Thesis université de Rennes 1, école doctorale Matisse, September 2002. 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 part the S4 project web site.
It has been automatically generated using the bib2html program.