Date | Orateur/Animateur | Titre |
---|---|---|
30 septembre 2004 | André Arnold | Réunion de rentrée |
7 octobre 2004 | Alain Griffault | Sur l'extension d'AltaRica |
14 octobre 2004 | Jean-Michel Couvreur (LaBRI) |
Simple determinization of Büchi automata accepting weak w-languages |
21 octobre 2004 | Blaise Genest (University of Warwick) |
A Kleene-Büchi Theorem for a class of communicating automata with effective algorithms |
28 octobre 2004 | Shweta Gehlot (LaBRI) |
Verification of Systems with Data and Control Operations with Symbolic Simulation and Validity Checking |
4 novembre 2004 | Jean-Michel Couvreur | Sur une proposition de projet INRIA |
11 novembre 2004 | Férié | |
18 novembre 2004 | Sébastien Grivet (LaBRI) |
Dépliages efficaces de réseaux de Petri |
25 novembre 2004 | Relâche | |
2 décembre 2004 | Thao Dang (VERIMAG, Grenoble) |
The d/dt tool for verification of hybrid systems |
9 décembre 2004 | Kais Klai (LaBRI) |
Réseaux de Petri : vérification modulaire et symbolique |
16 décembre 2004 | Relâche (MOVEP'04) | |
23 décembre 2004 | Vacances | |
30 décembre 2004 | Vacances | |
6 janvier 2005 | Relâche | |
13 janvier 2005 | Relâche | |
20 janvier 2005 | Relâche | |
27 janvier 2005 | André Arnold (LaBRI) |
Présentation du logiciel Synthesis de Gérald Point |
3 février 2005 | Danièle Beauquier (LACL, Créteil) |
Décidabilité du model-checking de systèmes temps-réel probabilistes |
10 février 2005 | Relâche | |
17 février 2005 | Mikolaj Bojanczyk (LIAFA, Paris) |
Decidable characterisations of tree logics |
24 février 2005 | Vacances | |
3 mars 2005 | Relâche | |
10 mars 2005 | Relâche (JSI'05) | |
17 mars 2005 | The Quang Tran (LaBRI) |
Unfoldings of Well-Structured Transition Systems |
24 mars 2005 | Relâche | |
31 mars 2005 | Olivier Ly (LaBRI) |
Compositional Verification: Decidability Issues Using Graph Substitutions |
7 avril 2005 | Karen Godary (CITI, Lyon) |
Validation temporelle de TTA, architecture embarquée tolérante aux fautes pour l'automobile |
14 avril 2005 | Jérôme Leroux (IRISA, Rennes) |
De l'automate binaire à la formule de Presburger |
21 avril 2005 | Christophe Kehren (CERT-ONERA, Toulouse) |
Modèles d'architectures de sûreté (automates AltaRica de propriétés) |
28 avril 2005 | Relâche | |
5 mai 2005 | Férié | |
12 mai 2005 | Relâche | |
19 mai 2005 | Rémi Morin (LIF, Marseille) |
Raffinements au pays des MSC |
26 mai 2005 | Relâche (Réunion PERSÉE) | |
2 juin 2005 | Relâche | |
9 juin 2005 | François Laroussinie (LSV, Cachan) |
Model Checking Durational Probabilistic Systems |
16 juin 2005 | Relâche | |
23 juin 2005 | Hugo Gimbert (LIAFA, Paris) |
Équilibres de Nash stationnaires dans les jeux stochastiques à information parfaite |
30 juin 2005 | Relâche |