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 Relâche
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 David Janin
(LaBRI)
Synthèse de programmes distribués dans les architectures synchrones zéro-délais
9 février 2006 Laurent Van Begin
(LIAFA, Paris)
A Complete Abstract Interpretation Framework for Coverability Properties of WSTS
16 février 2006 Vacances
23 février 2006 Loïc Hélouët
(IRISA, Rennes)
Jeux et scénarios pour la découverte de canaux cachés dans les systèmes distribués
2 mars 2006 Relâche
9 mars 2006 Jan Strejcek
(LaBRI)
Extended Process Rewrite System: Expressiveness and Decidability
16 mars 2006 Jérôme Leroux
(LaBRI, Bordeaux)
Regular Acceleration for Number Decision Diagrams
23 mars 2006 Guillaume Feuillade
(IRISA, Rennes)
Spécification logique de réseaux de Petri
30 mars 2006 Jerome Feret
(ENS, Paris)
Analyse des systemes mobiles par interpretation abstraite
6 avril 2006 Samy Abbes
(LIAFA, Paris)
Concurrent Probabilistic Models
13 avril 2006 Nicolas Baudru
(LIF, Marseille)
Unfolding Synthesis of Asynchronous Automata
20 avril 2006 Vacances
27 avril 2006 Hubert Garavel
(INRIA Rhône-Alpes)
Validation d'architectures multiprocesseurs à l'aide les outils CADP
4 mai 2006 Hervé Marchand
(IRISA, Rennes)
Motifs de surveillance pour diagnostic de systèmes à évènements discrets
11 mai 2006 Tayssir Touili
(LIAFA, Paris)
Verifying Concurrent Message-Passing C Programs with Recursive Calls
18 mai 2006 Richard Mayr
(North Carolina State University, USA)
Verification Methods for Infinite-State Probabilistic Systems
25 mai 2006 Férié
1 juin 2006 Relâche
8 juin 2006 Thierry Jeron
(IRISA, Rennes)
Sélection de tests par analyse approchée
15 juin 2006 Relâche
22 juin 2006 Relâche (MOVEP'06)
SéminaireDiscussionRelâche


Last modified: Mon Jan 2 17:20:37 CET 2006