Page en cours de construction.
Recherche récente et/ou en cours
Programme du
groupe de travail MVTsi
.
Sujets de thèse présentés par l'équipe MVTsi en 98
(html)
,
(postcript)
.
Programme des
journées LSV (Cachan) - MVTsi
.
Programme de la journée
Preuve/Vérification de l'action FORMA
.
Recherche : historique
Méthodologie de modélisation.
Algorithmes d'exclusion mutuelle.
Publications
TSI : Technique et Science Informatiques.
L'article
TSFM 97 : Tools Support for Formal Methods.
Un résumé
Les transparents
Renpar 8 : Rencontre du parallèlisme.
Le programme
L'article
Les transparents
BMW 94 : Bordeaux Montréal Workshop
Analyse et synthèse des systèmes de transitions.
Le programme
L'article
Les transparents
LPAR 93 : Logic Programming and Automated Reasoning
Le programme
L'article
Les transparents
CFIP 93 : Colloque Francophone sur l'Ingénierie des Protocoles
BMW 92 : Bordeaux Montréal Workshop
Analyse et synthèse des systèmes de transitions.
Les transparents
Thèse