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 des systèmes adaptatifs vers les systèmes auto-adaptatifs.
Dans ce contexte, Spirals vise deux propriétés : l’auto-optimisation et l’auto-protection. 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. Avec l’auto-protection, Spirals vise à automatiser autant que possible la sécurité des systèmes logiciels face aux menaces mouvantes.
Lionel Seinturier
Modélisation et optimisation du passage à l'échelle des fonctions réseau 5G+/6G sur une infrastructure edge à large échelle
Architectures logicielles frugales pour le déploiement de micro-services natifs dans le cloud
Nouveaux modèles de développement pour les micro-services déployés nativement dans le cloud
Contrôle des émissions de tâche de calcul haute performance
Modélisation formelle et fiabilisation des configurations des réseaux cloudifiés
Reconfiguration dynamique fiable pour les applications du cloud
Vulnérabilités par canaux auxiliaires dans les environnement web
Détection automatique de vulnérabilités dues aux canaux auxiliaires microarchitecturaux
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
Machine learning distribué en environnements omniprésents utilisant des modèles dépendant de la localisation
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
Administration Autonome des Systèmes de Base de Données
Caractérisation du comportement dans les systèmes intelligents et profonds, avec des nœuds hétérogènes et reprogrammables
Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels 14/12/2022
Tracking Versus Security : Investigating the two Facets of Browser Fingerprinting 24/10/2019
Auto-optimisation des ressources des couches infrastructure et plate-forme du Cloud computing 12/12/2016
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
Automated Runtime Software Repair 26/11/2015
Sélection et Configuration de Clouds : une Approche à Basée de Lignes de Produits Logiciels 22/10/2014
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
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP 08/03/2024
Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 03/05/2016