2005 - 2006

Groupe de travail

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

Le jeudi de 11h à 12h15
Salle 076, LaBRI, Rez-de-chaussée




Programme de l'année 2005 - 2006


DateOrateur/AnimateurTitre
29 septembre 2005 Igor Walukiewicz Réunion de rentrée
6 octobre 2005 Relâche
13 octobre 2005 Jérôme Leroux
(LaBRI)
The convex hull of a Number Decision Diagram is a computable polyhedron
20 octobre 2005 Bernard Boigelot
(Univ. Liège)
Generic Acceleration by Iterating Automata
27 octobre 2005 Vacances
3 novembre 2005 Marc Zeitoun
(LaBRI)
Controller synthesis problem for distributed systems
10 novembre 2005 Antoine Rollet
(LaBRI)
Du test de conformité au test de robustesse
17 novembre 2005 Emmanuel Fleury
(LaBRI)
TiGa: Timed Games for Everyone!
24 novembre 2005 Relâche
1 décembre 2005 Gregor Goessler
(INRIA Rhône-Alpes)
Component-based construction of reactive systems in Prometheus
8 décembre 2005 Ismaïl Berrada
(LaBRI)
Modélisation, Analyse et Test des Systèmes Communicants à Contraintes Temporelles: Vers une Approche Ouverte du Test
15 décembre 2005 Relâche
22 décembre 2005 Vacances
29 décembre 2005 Vacances
5 janvier 2006 Guillaume Gardey
(LaBRI)
Contribution à la vérification et au contrôle des systèmes temps réel -- Applications aux réseaux de Petri temporels et aux automates temporisés
12 janvier 2006 David Janin
(LaBRI)
Synthèse de programmes distribués dans les architectures synchrones zéro-délais
19 janvier 2006 Thomas Brihaye
(Univ. Mons-Hainaut)
Vérification d'automates hybrides o-minimaux
26 janvier 2006 Patricia Bouyer
(LSV, Cachan)
Jeux temporisés optimaux
2 février 2006 Hubert Garavel
(INRIA Rhône-Alpes)
Validation d'architectures multiprocesseurs à l'aide les outils CADP
9 février 2006 Laurent Van Begin
(LIAFA, Paris)
A préciser
16 février 2006 Vacances
23 février 2006 Loic Helouet
(IRISA, Rennes)
A préciser
2 mars 2006 Xavier Briand
(LaBRI)
A préciser
9 mars 2006 Jan Strejcek
(LaBRI)
Extended Process Rewrite System: Expressiveness and Decidability
16 mars 2006
23 mars 2006
30 mars 2006
6 avril 2006
13 avril 2006
20 avril 2006 Vacances
27 avril 2006
4 mai 2006
11 mai 2006
18 mai 2006
25 mai 2006 Férié
1 juin 2006
8 juin 2006
15 juin 2006
22 juin 2006 Relâche (MOVEP'06)
29 juin 2006
6 juillet 2006
SéminaireDiscussionRelâche


Last modified: Thu Dec 15 11:13:25 CET 2005