2004 - 2005

Groupe de travail

Modélisation, Vérification et Test de systèmes informatisés

Le jeudi de 11h à 12h15
Salle 300, IMB, UFR de Mathématiques




Programme de l'année 2004 - 2005


DateOrateur/AnimateurTitre
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
SéminaireDiscussionRelâche


Last modified: Thu Jun 30 17:49:27 CEST 2005