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.