Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > HERAULT Thomas
About LRI
Mr HERAULT Thomas

Warning: this member left the laboratory on 30/09/2012
 

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