Nihal Pekergin

Modélisation, évaluation, vérification des systèmes informatiques

Nouvelles techniques d'analyse des systèmes à événements discrets
Comparaison stochastique
"Model checking" statistique

Formation

Recherche

CheckBound (ANR-SETI-06-02)

MARkovian MOdeling Tools and Environments (ANR-12-MONU-19)

Enseignements