|
 |
unknown
Parallelism
Tel : (01691)54222
Fax : (01691)56586
Office : 106/PCRI-S
Personal web page : http://www.lri.fr/~herault/
Email : herault@lri.fr |
Research activities
- Model-Checking
- Distributed algorithms
- Self-stabilisation
- Fault Tolerance
- Cluster
-
Publications
Principle investigator
- SAFE-0S
Software & Patents
- MoGo: Computer-Go program
- MPICH-V: Message Passing Interface For Volatile Resources
- APMC: Approximate Probabilistic Model Checker
Ph.D. dissertations & Faculty habilitations
Ph.D - HERAULT.15-09-1999
Contracts & Grants
- VERAP
- DATA GRID EXPLORER
- SAFE-0S
- VERA
|
