Date | Intervenant | Titre |
---|---|---|
4 octobre 2001 | André Arnold | Réunion de rentrée. |
11 octobre 2001 | Grégoire Sutre | Vérification par abstraction paresseuse. |
18 octobre 2001 | André Arnold | Synthèse de contrôleurs des systèmes à événements discrets.
I. La théorie de Ramadge et Wonham. |
25 octobre 2001 | Aymeric Vincent | Synthèse de contrôleurs et stratégies gagnantes dans les jeux de parité. |
1 novembre 2001 | Férié | |
8 novembre 2001 | Alain Griffault | Première "vraie" expérience d'utilisation du modèle AltaRica et de ses outils dans un contexte industriel. |
15 novembre 2001 | Patrick Félix | CALIFE et test. |
22 novembre 2001 | Kaninda Musumbu | Alose (avec ses arêtes). |
29 novembre 2001 | Bertrand Tavernier | Plate-forme Calife : Utilisation d'XML pour un modèle commun. |
6 décembre 2001 | Frédéric Herbreteau | Automates à file réactifs embarqués. |
13 décembre 2001 | André Arnold | Synthèse de contrôleurs (suite). |
20 décembre 2001 | Eugène Asarin | Bruit et décidabilité dans les systèmes hybrides. |
27 décembre 2001 | Vacances | |
3 janvier 2002 | Vacances | |
10 janvier 2002 | Claude Jard | Principes pour synthétiser des cas de test répartis en utilisant un modèle de "true-concurrency". |
17 janvier 2002 | Franck Cassez | A Comparison of Control Problems for Timed and Hybrid Systems. |
24 janvier 2002 | André Arnold | Synthèse de contrôleurs (suite). |
31 janvier 2002 | Vlad Rusu | Vérification et test symboliques. |
7 février 2002 | Alain Finkel | Accélérer permet de terminer ! |
14 février 2002 | Jean-Michel Couvreur | Sur les dépliages de réseaux de Petri. |
21 février 2002 | Jean-Michel Couvreur | Sur les dépliages de réseaux de Petri (suite). |
28 février 2002 | Vacances | |
7 mars 2002 | Relâche | |
14 mars 2002 | Ahmed Bouajjani | TReX: A Tool for Reachability Analysis of Complex Systems. |
21 mars 2002 | Giacomo Lenzi | The D'Agostino-Hollenberg uniform interpolation theorem for the mu calculus. |
28 mars 2002 | Relâche | |
4 avril 2002 | Bernard Boigelot | On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables. |
11 avril 2002 | Michaël Adélaïde | Analyse paramétrique des systèmes hybrides. |
18 avril 2002 | Jean-Claude Royer | Type Abstrait Graphique. |
25 avril 2002 | Vacances | |
2 mai 2002 | André Arnold | Synthèse de contrôleurs (suite). |
9 mai 2002 | Férié | |
16 mai 2002 | Sardaouna Hamadou | ASET : Un protocole anonyme et sécuritaire pour les transactions électroniques. |
23 mai 2002 | Luigi Santocanale | Induction, co-induction, et jeux de parité. |
30 mai 2002 | Alain Griffault | AltaRica : syntaxe et sémantique. |
6 juin 2002 | Alain Griffault | AltaRica : modèles de conception et perspectives. |
13 juin 2002 | ||
20 juin 2002 | Relâche (MOVEP 2002) | |
27 juin 2002 | Relâche |