| Date | Intervenant | Titre |
| 9 octobre 2003 |
Grégoire Sutre |
An optimal automata approach to LTL model checking of
probabilistic systems. |
| 16 octobre 2003 |
|
Réunion de rentrée. |
| 23 octobre 2003 |
Michaël Adélaïde |
Analyse paramétrique des systèmes hybrides. |
| 30 octobre 2003 |
Relâche (réunion AS Hybride) |
| 6 novembre 2003 |
Aymeric Vincent |
Démonstration de Mec V. |
| 13 novembre 2003 |
Serge Autexier |
Formal Software Development in MAYA. |
| 20 novembre 2003 |
Claire Pagetti |
Le temps réel dans AltaRica. |
| 27 novembre 2003 |
Aymeric Vincent |
Conception et réalisation d'un vérificateur de modèles
AltaRica. |
| 4 décembre 2003 |
Sébastien Grivet |
Algorithmes pour la construction de dépliages
de réseaux de Petri saufs. |
| 11 décembre 2003 |
Relâche (JTB6 "systems biology") |
| 18 décembre 2003 |
Xavier Briand |
Contrôle avec événements indiscernables et inobservables. |
| 25 décembre 2003 |
Férié |
|
| 1 janvier 2004 |
Férié |
| 8 janvier 2004 |
César Viho |
First steps towards formal interoperability testing. |
| 15 janvier 2004 |
Thierry Jéron |
Génération de test, vérification et contrôle de systèmes réactifs. |
| 22 janvier 2004 |
Relâche |
| 29 janvier 2004 |
Sébastien Grivet |
Algorithmes pour la construction de dépliages
de réseaux de Petri saufs. |
| 5 février 2004 |
Relâche |
| 12 février 2004 |
Relâche (réunion Persée) |
| 19 février 2004 |
François Bréant |
Diagrammes de décision de données (DDD): application à la
vérification du modèle ferroviaire BART. |
| 26 février 2004 |
Vacances |
| 4 mars 2004 |
Xavier Briand |
Contrôle avec événements indiscernables et inobservables. |
| 11 mars 2004 |
André Arnold |
Une proposition de définition générale des systèmes hybrides. |
| 18 mars 2004 |
Michaël Adélaïde |
Modélisation de réseaux de régulation génétique. |
| 25 mars 2004 |
André Arnold |
Le mu-calcul modal temporisé. |
| 1 avril 2004 |
Guillaume Gardey |
State Space Computation and Analysis of Time Petri Nets. |
| 8 avril 2004 |
Claire Pagetti |
Extension temps réel d'AltaRica. |
| 15 avril 2004 |
Vacances |
| 22 avril 2004 |
Relâche |
| 29 avril 2004 |
Relâche |
| 6 mai 2004 |
Franck Cassez |
Stratégie optimale pour les jeux temporisés avec coût. |
| 13 mai 2004 |
Jean-Michel Couvreur |
Une structure de données partagée pour manipuler les automates. |
| 20 mai 2004 |
Férié |
| 27 mai 2004 |
Dominique Cansell |
Formal Construction of a Non-blocking Concurrent Queue Algorithm. |
| 3 juin 2004 |
Relâche |
| 10 juin 2004 |
Manuel Baclet |
Modélisation et vérification des systèmes sur puce, exemple d'un composant
d'IDCT. |
| 17 juin 2004 |
Stéphanie Gaudan, The Quang Tran, Joseph Tylutki |
Pré-soutenances de mémoire de recherche. |
| 24 juin 2004 |
Frédéric Herbreteau |
AltaRica Hybride. |
| 1 juillet 2004 |
Relâche |
| 8 juillet 2004 |
Relâche |