2002 - 2003

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 2002 - 2003

DateIntervenantTitre
26 septembre 2002 Davy Rouillard Application de techniques de preuve assistée, pour la spécification, la vérification et le test.
3 octobre 2002 Réunion de rentrée.
10 octobre 2002 Catalin Dima Problèmes théoriques de spécification et de vérification de systèmes temporisés.
17 octobre 2002 André Arnold Synthèse de contrôleurs (suite et fin).
24 octobre 2002 Claire Pagetti (IRCCyN) Une extension temporisée d'AltaRica.
31 octobre 2002 Relâche
7 novembre 2002 Alain Griffault Extension du langage AltaRica et compilation vers Lustre.
14 novembre 2002 Relâche (journée RTP SECC)
21 novembre 2002 Anatol Slissenko (LACL) Un cadre logique pour la vérification des systèmes temps réel.
28 novembre 2002 David J. Sherman Yeast Pheremone Signalling Pathways : an example of protein-protein interactions in cascade.
5 décembre 2002 Fabrice Kordon (LIP6) A préciser.
12 décembre 2002 David J. Sherman Yeast Pheremone Signalling Pathways : an example of protein-protein interactions in cascade.
19 décembre 2002 Grégoire Sutre Temporal-Safety Proofs for Systems Code.
26 décembre 2002 Vacances
2 janvier 2003 Vacances
9 janvier 2003 Alain Griffault Extension du langage AltaRica et compilation vers Lustre.
16 janvier 2003 Relâche
23 janvier 2003 Bernard Berthomieu Espaces d'états abstraits pour les Réseaux de Petri Temporels.
30 janvier 2003 Frédéric Herbreteau Hybrid Acceleration using Real Vector Automata.
6 février 2003 Grégoire Sutre Temporal-Safety Proofs for Systems Code.
13 février 2003 Sabine Pérès CTL et les réseaux de régulation génétique : un exemple avec multi-stationnarité.
20 février 2003 Vacances
27 février 2003 Tayssir Touili Reachability analysis of Process Rewrite Systems: Application to the verification of multithreaded recursive programs.
6 mars 2003 Pierre Courtieu Jakarta: un environnement de spécification et de preuve pour la plate-forme JavaCard.
13 mars 2003 Franck Pommereau Modèles composables et concurrents pour le temps-réel.
20 mars 2003 Mirabelle Nebut Réactions synchrones, spécification et analyse.
27 mars 2003 Richard Castanet Test de robustesse.
3 avril 2003 Relâche
10 avril 2003 Catalin Dima Discrétisation non archimédienne des langages temporisés.
17 avril 2003 Vacances
24 avril 2003 Stéphane Riedweg Logique temporelle et contrôle.
1 mai 2003 Férié
8 mai 2003 Férié
15 mai 2003 Relâche (rencontre avec le LSV)
22 mai 2003 Relâche
29 mai 2003 Férié
5 juin 2003 Erich Grädel Il était une fois dans l'ouest. Détermination, définissabilité et complexité de jeux à itinéraires.
12 juin 2003 Relâche
19 juin 2003 Relâche
26 juin 2003 Relâche



Last modified: Tue Jun 17 16:17:37 CEST 2003