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 |