Groupe de travail
Modélisation, Vérification et Test des systèmes informatisés
1995 - 1996
Le jeudi de 10h30 à 12h
Ancienne salle séminaire, LaBRI, Premier étage.
Réunions.
- 6 juin 1996.
Paul Crubille (LaBRI).
Systèmes de transition génériques.
- 30 mai 1996.
Pierre-André Wacrenier (LaBRI).
Election dans les graphes premiers.
- 18 avril 1996.
Antoine Rauzy (LaBRI).
Aralia.
- 11 avril 1996.
Pierre Castéran (LaBRI).
A propos de CBS.
- 14 mars 1996.
David Janin (LaBRI).
Non déterminisme et contrîle.
- 29 février 1996.
Richard Castanet (LaBRI).
Le test et l'architecture de tests de protocoles.
- 22 février 1996.
André Arnold (LaBRI).
Vu et Entendu à Grenoble d'une part, et si on parlait des tests d'autre part.
- 15 février 1996.
Anne Dicky (LaBRI).
Encore des réductions d'automates.
- 8 février 1996.
Vlad Rusu (LAN, Nantes).
Vérification temporelle de programmes ELECTRE.
- 1 février 1996.
Alain Griffault (LaBRI).
Méthodologie de modélisation et de vérification avec l'outil Mec, appliquée à un exemple.
- 25 janvier 1996.
Renaud Paquay (Namur).
Le nouveau Mec belge.
- 11 janvier 1996.
Daniel Loeb (LaBRI).
Applications des jeux simples et forts aux algorithmes distribués.
- 20 décembre 1995.
David Janin (LaBRI).
Propriétés logiques des comportements.
- 14 décembre 1995.
Jérome Dormoy (LaBRI).
Algorithmes (séquentiel et parallèle) de calcul du point fixe.
- 23 novembre 1995.
Anne Dicky (LaBRI).
$\tau$-inertie et $\tau$-convergence.
- 16 novembre 1995.
Bertrand Le Saßc (LaBRI).
Test de protocoles et couverture.
- 26 octobre 1995.
Alain Griffault (LaBRI).
Vérification avec Mec de propriétés d'un algorithme d'élection autostabilisant.
- 19 octobre 1995.
Miguel Alabau (LaBRI).
Les intéractions de services.
- 12 octobre 1995.
Renaud Paquay (Namur).
Les arbres partagés : Quelques applications.
- 28 septembre 1995.
Réunion de rentrée.
- Bilan de l'année écoulée.
- Projets pour l'année.
Années suivantes
Années précédentes
Navigation
Equipe
Modélisation, Vérification et Test des systèmes informatisés