2001 - 2002

Groupe de travail

Modélisation, Vérification et Tests des systèmes informatisés

&
Petite école pour la vérification

Le jeudi de 10h45 à 12h
Salle G.T. 2, LaBRI, Rez-de-chaussée



Programme de l'année 2001 - 2002

DateIntervenantTitre
4 octobre 2001 André Arnold Réunion de rentrée.
11 octobre 2001 Grégoire Sutre Vérification par abstraction paresseuse.
18 octobre 2001 André Arnold Synthèse de contrôleurs des systèmes à événements discrets.
I. La théorie de Ramadge et Wonham.
25 octobre 2001 Aymeric Vincent Synthèse de contrôleurs et stratégies gagnantes dans les jeux de parité.
1 novembre 2001 Férié
8 novembre 2001 Alain Griffault Première "vraie" expérience d'utilisation du modèle AltaRica et de ses outils dans un contexte industriel.
15 novembre 2001 Patrick Félix CALIFE et test.
22 novembre 2001 Kaninda Musumbu Alose (avec ses arêtes).
29 novembre 2001 Bertrand Tavernier Plate-forme Calife : Utilisation d'XML pour un modèle commun.
6 décembre 2001 Frédéric Herbreteau Automates à file réactifs embarqués.
13 décembre 2001 André Arnold Synthèse de contrôleurs (suite).
20 décembre 2001 Eugène Asarin Bruit et décidabilité dans les systèmes hybrides.
27 décembre 2001 Vacances
3 janvier 2002 Vacances
10 janvier 2002 Claude Jard Principes pour synthétiser des cas de test répartis en utilisant un modèle de "true-concurrency".
17 janvier 2002 Franck Cassez A Comparison of Control Problems for Timed and Hybrid Systems.
24 janvier 2002 André Arnold Synthèse de contrôleurs (suite).
31 janvier 2002 Vlad Rusu Vérification et test symboliques.
7 février 2002 Alain Finkel Accélérer permet de terminer !
14 février 2002 Jean-Michel Couvreur Sur les dépliages de réseaux de Petri.
21 février 2002 Jean-Michel Couvreur Sur les dépliages de réseaux de Petri (suite).
28 février 2002 Vacances
7 mars 2002 Relâche
14 mars 2002 Ahmed Bouajjani TReX: A Tool for Reachability Analysis of Complex Systems.
21 mars 2002 Giacomo Lenzi The D'Agostino-Hollenberg uniform interpolation theorem for the mu calculus.
28 mars 2002 Relâche
4 avril 2002 Bernard Boigelot On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.
11 avril 2002 Michaël Adélaïde Analyse paramétrique des systèmes hybrides.
18 avril 2002 Jean-Claude Royer Type Abstrait Graphique.
25 avril 2002 Vacances
2 mai 2002 André Arnold Synthèse de contrôleurs (suite).
9 mai 2002 Férié
16 mai 2002 Sardaouna Hamadou ASET : Un protocole anonyme et sécuritaire pour les transactions électroniques.
23 mai 2002 Luigi Santocanale Induction, co-induction, et jeux de parité.
30 mai 2002 Alain Griffault AltaRica : syntaxe et sémantique.
6 juin 2002 Alain Griffault AltaRica : modèles de conception et perspectives.
13 juin 2002
20 juin 2002 Relâche (MOVEP 2002)
27 juin 2002 Relâche



Last modified: Tue Jun 4 12:17:01 CEST 2002