Date | Orateur/Animateur | Titre | ||
---|---|---|---|---|
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) |