Equipe Modèles Coopératifs et Performances des Réseaux

Les principales thématiques de recherche sont :

1.     Conception de systèmes ouverts interopérables

o    Chaînes de Markov

o    Services Web

o    Langages BPEL

2.     Vérification de systèmes concurrents temporisés

o    Expressivité de modèles temporisés et/ou concurrents

o    Vérification des modèles temporisés concurrents

o    Analyse d’interférence temporelle

3.     Vérification et évaluation de systèmes complexes à caractère stochastique

o    Exploitation des ordres stochastiques pour le « model-checking » probabiliste

o    Exploitation du couplage pour le « model-checking » probabiliste

o    Vérification quantitative de systèmes non déterministes

 
Accueil