|
 |
unknown
Parallélisme
Tel : (01691)54222
Fax : (01691)56586
Bureau : 106/PCRI-S
Page personnelle : http://www.lri.fr/~herault/
Courrier électronique : herault@lri.fr |
Activités de recherche
- Model-Checking
- Algorithmique répartie
- Autostabilisation
- Tolerance aux pannes
- Grappes
- sécurité
Publications
Responsabilités de contrats
- SAFE-0S
Logiciels et brevets
- MoGo : Computer-Go program
- MPICH-V : Interface àpassage de messages pour les ressources volatiles
- APMC : Approximate Probabilistic Model Checker
Thèses et habilitations
Doctorat - HERAULT.15-09-1999
Participations à des contrats
- VERAP
- DATA GRID EXPLORER
- SAFE-0S
- VERA
|
