2003 - 2004

Groupe de travail

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

&
Petite école pour la vérification

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



Programme de l'année 2003 - 2004

DateIntervenantTitre
9 octobre 2003 Grégoire Sutre An optimal automata approach to LTL model checking of probabilistic systems.
16 octobre 2003 Réunion de rentrée.
23 octobre 2003 Michaël Adélaïde Analyse paramétrique des systèmes hybrides.
30 octobre 2003 Relâche (réunion AS Hybride)
6 novembre 2003 Aymeric Vincent Démonstration de Mec V.
13 novembre 2003 Serge Autexier Formal Software Development in MAYA.
20 novembre 2003 Claire Pagetti Le temps réel dans AltaRica.
27 novembre 2003 Aymeric Vincent Conception et réalisation d'un vérificateur de modèles AltaRica.
4 décembre 2003 Sébastien Grivet Algorithmes pour la construction de dépliages de réseaux de Petri saufs.
11 décembre 2003 Relâche (JTB6 "systems biology")
18 décembre 2003 Xavier Briand Contrôle avec événements indiscernables et inobservables.
25 décembre 2003 Férié
1 janvier 2004 Férié
8 janvier 2004 César Viho First steps towards formal interoperability testing.
15 janvier 2004 Thierry Jéron Génération de test, vérification et contrôle de systèmes réactifs.
22 janvier 2004 Relâche
29 janvier 2004 Sébastien Grivet Algorithmes pour la construction de dépliages de réseaux de Petri saufs.
5 février 2004 Relâche
12 février 2004 Relâche (réunion Persée)
19 février 2004 François Bréant Diagrammes de décision de données (DDD): application à la vérification du modèle ferroviaire BART.
26 février 2004 Vacances
4 mars 2004 Xavier Briand Contrôle avec événements indiscernables et inobservables.
11 mars 2004 André Arnold Une proposition de définition générale des systèmes hybrides.
18 mars 2004 Michaël Adélaïde Modélisation de réseaux de régulation génétique.
25 mars 2004 André Arnold Le mu-calcul modal temporisé.
1 avril 2004 Guillaume Gardey State Space Computation and Analysis of Time Petri Nets.
8 avril 2004 Claire Pagetti Extension temps réel d'AltaRica.
15 avril 2004 Vacances
22 avril 2004 Relâche
29 avril 2004 Relâche
6 mai 2004 Franck Cassez Stratégie optimale pour les jeux temporisés avec coût.
13 mai 2004 Jean-Michel Couvreur Une structure de données partagée pour manipuler les automates.
20 mai 2004 Férié
27 mai 2004 Dominique Cansell Formal Construction of a Non-blocking Concurrent Queue Algorithm.
3 juin 2004 Relâche
10 juin 2004 Manuel Baclet Modélisation et vérification des systèmes sur puce, exemple d'un composant d'IDCT.
17 juin 2004 Stéphanie Gaudan, The Quang Tran, Joseph Tylutki Pré-soutenances de mémoire de recherche.
24 juin 2004 Frédéric Herbreteau AltaRica Hybride.
1 juillet 2004 Relâche
8 juillet 2004 Relâche



Last modified: Wed Jun 30 16:18:50 CEST 2004