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


    Navigation

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