Equipe EPQoS

Equipe EPQoS

L'équipe Evaluation des Performances er Qualité de Service des Systèmes (EPQoS) travaille dans le domaine de la modélisation et de l'évaluation des propriétés quantitatives de systèmes modélisés à l'aide de modèles formels, particulièrement les réseaux de Petri, ainsi que leurs variantes, tels que les réseaux stochastiques, colorés, temporisés, ... , selon le type de systèmes auquel nous nous intéressons. Nous nous focalisons principalement sur la modélisation : - Du comportement des réseaux de capteurs - Des propriétés de la sécurité informatique, telles que la disponibilité, les attaques DOS, ... leur évaluation qualitative et quantitative. - La composition des services web, ainsi que leur formalisation. - Nous nous intéressons aussi aux modèles cloud, leurs propriétés et leur formalisation.

Membres de l'équipe EPQoS