Committee (march 16, 2005)
- Florence Maraninchi (supervisor, VERIMAG)
- Marc Pouzet (reviewer, LIP6, Paris)
- Patrice Quinton (reviewer, Rennes)
- Jean-Louis Colaço (examinator, EsterelTechnologies)
- Jacques Chassin-de-Kergommeaux (president, Grenoble INP)
Publications
2005
- Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. Lionel Morel - [bibtex]
2004
- Arrays and Contracts for the Specification and Analysis of Regular Systems. Florence Maraninchi, Lionel Morel - Fourth International Conference on Application of Concurrency to System Design - [bibtex]
- Logical-Time Contracts for the Development of Reactive Embedded Software. Florence Maraninchi, Lionel Morel - 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE) - [bibtex]
2001
- Contrat d'étude ELMU. Florence Maraninchi, Lionel Morel, Yann Rémond - [bibtex]
2000
- Verification and test generation for the SSCOP protocol. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier - Sci. Comput. Program - [bibtex]
