Groupe de travail

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

1997 - 1998

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

Programme du jeudi 25 juin 1998

Prévisions

Réunions précédentes

18 juin 1998. Répétition de soutenances de projets DEA

Géraud Canet

Logigrammes de sécurité (L'outil Alose).

Wadiha El-Batti

Vérification d'un calculateur de phase de vol.

Romuald Winckell

Compilation du langage AltaRica vers les formules booléennes.

4 juin 1998. Collégial

Discussion des trois dossiers de candidatures "équipe" aux postes de Maître de Conférences.

28 mai 1998. François Demichelis (LaBRI)

Automates temps-réel contrôlés.

14 mai 1998. Réunion FORMA (LSV-Cachan & LaBRI)

Présentation des travaux sur l'ABR.

23 avril 1998. Pierre Castéran (LaBRI)

Suites et preuves finies ou infinies (1).

9 avril 1998. Collégial

sujets de recherche prospectifs (et donc des sujets de thèse) dans le domaine des méthodes formelles.

26 mars 1998. Partenariat LaBRI/MVTsi-IXI-CEA

Démonstration du logiciel Miss-RDP.

12 mars 1998. Remi Douence (IRISA)

Introduction à l'architecture logicielle et au langage Wright.

12 février 1998. Marc-Michel Corsini (LaBRI)

Les pages www pour les outils de l'équipe.

5 février 1998. Jose Manuel Colom (Universidad de Zaragoza)

Descriptions linéaire des réseaux de Petri.

15 janvier 1998, Serge Colin (Saint Denis de la Réunion)

mu-calcul booléen et Prolog.

18 décembre 1997. Pierre Castéran (LaBRI)

Votre protocole ABR et nous.

4 décembre 1997. Jean-Michel Couvreur (LaBRI)

Les VHDL'BDD.

27 novembre 1997. Macha Nikolskaia (LaBRI)

Bonnes et mauvaises nouvelles dans les traitements d'arbres de défaillance par les BDD.

13 novembre 1997. Patrick Félix (LaBRI)

Le protocole ABR.

6 novembre 1997. Bertrand Le Saëc (LaBRI)

Métriques de couverture.

30 octobre 1997. Anne Dicky (LaBRI)

Systèmes de transition avec pannes.

13,14 octobre 1997. Journées LSV (Cachan) - MVTsi

Le programme

9 octobre 1997. Jérome Dormoy (LaBRI)

Un algorithme parallele pour le calcul de points fixes.

2 octobre 1997. Réunion de rentrée.

Préparation de la venue des "Cachanais" ? les 13 et 14 octobre.

Constitution du programme des séances suivantes.

Années précédentes

• MVTsi 1996-1997.
• 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