 |
 |
Maître de Conférences
Université Paris-Saclay
Algorithmique et Complexité
Tel : (01691)55844
Fax :
Bureau : 35/PCRI-S
Page personnelle : http://sylvain.berbiqui.org
Courrier électronique : syp@lri.fr |
Activités de recherche
- Vérification
- Test de Logiciels
- Model-Checking
- Algorithmique répartie
- Algorithmes probabilistes
Publications
Responsabilités de contrats
- Spades
Logiciels et brevets
- MPICH-V : Interface àpassage de messages pour les ressources volatiles
- APMC : Approximate Probabilistic Model Checker
Thèses et habilitations
Doctorat - PEYRONNET.01-10-2000
Habilitation à diriger des recherches - Approximation and verification
Participations à des contrats
- VERAP
|
