Activités de recherche 


Mes travaux de recherche portent sur les nouvelles techniques de vérification et d'évaluation des systèmes informatiques et de télécommunications.

Je m'intéresse plus particulièrement à la comparaison stochastique aussi bien pour développer de nouvelles techniques fondées sur cette méthode que pour appliquer les techniques existantes pour étudier des modèles de sûreté de fonctionnement et de performances.

Quelques Articles


 

 

  • "Model Checking" Stochastique