Groupe de travail

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

1996 - 1997

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

Réunions.

• 29 mai 1997. Dr. Subramanian (Madras). Learning languages.
• 15 mai 1997. Emmanuelle Encrenaz (LIP6). Vérification de modèle symbolique de programmes VHDL.
• 24 avril 1997. André Arnold (LaBRI). A propos des systèmes de transition génériques de Paul Crubillé.
• 17 avril 1997. Jean-Michel Couvreur (LaBRI). Graphes de processus arborescents (suite).
• 3 avril 1997. Jean-Michel Couvreur (LaBRI). Graphes de processus arborescents.
• 20 mars 1997. Christophe Chevrier et Patrick Félix (LaBRI).
  • le protocole SSCOP.
  • l'algorithme de contrîle de la capacité de transfert ABR.
• 13 mars 1997. Richard Castanet (LaBRI). Techniques de tests par la vérification.
• 6 mars 1997. André Arnold (LaBRI). Comparaison d'une implémentation et d'une spécification avec Mec.
• 20 février 1997. Réunion informelle.
  • Les pages WWW de l'équipe et des logiciels.
  • La collaboration avec le LSV de Cachan.
• 23 janvier 1997. Yves Dutuit (LADS). L'activité de modélisation et d'analyse des systèmes en sôreté de fonctionnement.
• 16 janvier 1997. Alain Griffault (LaBRI). Modélisation et Spécification d'un ascenseur. (A propos de l'exposé de FranÛois Laroussinie du 12 décembre).
• 12 décembre 1996. FranÛois Laroussinie (LSV Cachan). Logiques temporelles avec passé.
• 5 décembre 1996. Richard Castanet (LaBRI). Le projet FORMA.
• 28 novembre 1996. Jean-Michel Couvreur (LaBRI). Sur la vivacité de sous-classes de réseaux de Petri.
• 21 novembre 1996. Macha Nikolskaia et Gérald Point (LaBRI).
  • Minimisation d'un BDD représentant un arbre de défaillances.
  • Arabica : un outil pour les réseaux de Petri.
• 14 novembre 1996. Miguel Alabau (LaBRI). Interactions de services.
• 7 novembre 1996. Jean-FranÛois Husson (IRIT Toulouse). Modélisations de la causalité par des relations d'indépendances.
• 24 octobre 1996. Paul Gloess (LaBRI). Présentation de PVS.
• 17 octobre 1996. Réunion informelle. Le point sur MEC.
• 10 octobre 1996. Antoine Rauzy (LaBRI). Calcul de coupes et d'impliquants premier dans des arbres de défaillance.
• 1 octobre 1996. Réunion de rentrée.
  • Bilan de l'année écoulée.
  • Projets pour l'année.

Années suivantes

• MVTsi 1997-1998.

Années précédentes

• MVTsi 1995-1996.
• Sémantique du parallélisme 1994-1995.
• Sémantique du parallélisme 1993-1994.
• Sémantique du parallélisme 1992-1993.

Navigation