Spirals mène des recherches dans les domaines des systèmes répartis et des sciences du logiciel. Spirals a pour but d'introduire plus d'automatisation dans les mécanismes d'adaptation des systèmes logiciels, en particulier pour assurer la transition entre des systèmes adaptatifs et auto-adaptatifs. Spirals vise plus particulièrement deux propriétés : l'auto-réparation et l'auto-optimisation. Avec l'auto-réparation, Spirals vise à étudier et adapter des solutions de fouille de données et d'apprentissage automatique pour la conception et l'implémentation des systèmes logiciels. Cela contribue à l'objectif d'obtenir des solutions pour la réparation automatique du logiciel. Avec l'auto-optimisation, Spirals vise à partager, collecter, et analyser des comportements et des données distribuées pour continuellement adapter, optimiser et conserver en fonctionnement les systèmes logiciels. Cela participe à l'objectif d'obtenir des systèmes logiciels éternels.
Lionel Seinturier
Modélisation formelle et fiabilisation des configurations des réseaux cloudifiés
Reconfiguration dynamique fiable pour les applications du cloud
Améliorer la vie privée en ligne grâce au blocage de contenu et à la limitation d'informations
Configurations d'environnements fog large-échelle - Koala
Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques
Vers une amélioration de la confidentialité en ligne grâce au blocage de contenu et à la restriction des informations
Fostering the Frugal Design of Cloud Native Applications
Renforcer l'authentification web à travers les empreintes matérielles
Conception et développement d'un langage orienté micro-services
Traitement multi-échelle des données spatio-temporelles appliquées à la qualité de l'air dans les zones urbaines
Eco-conception des logiciels : caractérisation de la qualité d'un composant logiciel sous l'angle environnemental à partir de la construction d'un index en vue de produire une application à faible empreinte environnementale
Vers la Modélisation de l'Efficience Énergétique des Infrastructures de Calcul Virtualisés 15/12/2022
Utiliser les empreintes de navigateur pour renforcer l'authentification sur Internet 14/01/2022
Eco-conception des logiciels : Investiguer et réduire la consommation énergétique des logiciels 08/10/2021
From Runtime Failures to Patches : Study of Patch Generation in Production 25/09/2018
Détection et analyse de l'impact des défauts de code dans les applications mobiles 30/11/2016
Usages of Graphs and Synthetic Data for Software Propagation Analysis 03/11/2016
Extraction et l'analyse de connaissance pour la réparation automatique de bugs 10/10/2014
Vers une meilleure compréhension de la consommation énergétique des systèmes logiciels 19/03/2014
Améliorer la sécurité et la vie privée sur le Web à travers les empreintes de navigateur 21/06/2021
Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 03/05/2016