Committee (november 20, 2003) :
- Florence Maraninchi (supervisor, VERIMAG)
- Gérard Berry (reviewer, Esterel Technologies)
- Mireille Ducassé (reviewer, INSA Rennes)
- Anne-Cécile Kerbrat (examinator, Seditec, Toulouse)
- Guy Mazaré (president, Grenoble INP)
Publications
2003
- Automatic State Reaching for Debugging Reactive Programs. Erwan Jahier, Bertrand Jeannet, Fabien Gaucher, Florence Maraninchi - AADEBUG'2003 -- Fifth International Workshop on Automated Debugging - [bibtex]
- étude du débogage de systèmes réactifs et application au langage synchrone Lustre. Fabien Gaucher - [bibtex]
2000
- Step-wise + Algorithmic debugging for Reactive Programs: LuDiC, a debugger for Lustre. Florence Maraninchi, Fabien Gaucher - AADEBUG'2000 -- Fourth International Workshop on Automated Debugging - [bibtex]
1999
- SYRF Case Studies -- The SCHNEIDER example -- An Experience with Mode-automata. Florence Maraninchi, Yann Rémond, Fabien Gaucher - [bibtex]
