Spirals is conducting research activities in the domains of distributed systems and software sciences. Spirals aims at introducing more automation in the adaptation mechanisms of software systems, in particular, transitioning from adaptive systems to self-adaptive systems.
In this context, Spirals targets two properties: self-optimization and self-protection. With self-optimization, Spirals aims at sharing, collecting, and analyzing distributed behaviors and data to continuously tailor, optimize, and keep under working conditions software systems. With self-protection, Spirals aims at automating as much as possible the security of software systems with respect to moving threats.
Lionel Seinturier
Developper des services logiciels durables à l'aide de modèles à grande échelle
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
Analyse de sécurité des standards web existants et futurs
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
Dégradation des performances des applications en ligne afin de réduire l'empreinte carbone 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
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
Améliorer la sur-allocation des ressources pour une meilleure consolidation des IaaS 19/07/2024
Reconfiguration dynamique sûre des applications comportant des options fonctionnelles 11/07/2024
Préserver la vie privée en ligne grâce au blocage de contenu 31/05/2023
Vers la Modélisation de l'Efficience Énergétique des Infrastructures de Calcul Virtualisés 15/12/2022
Éco-développement : une approche empirique pour réduire la consommation énergétique des logiciels 14/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
Comprendre les défauts de code spécifiques aux applications mobiles. 04/12/2019
Amplification automatique de tests unitaires pour le DevOps 14/11/2019
Tracking Versus Security : Investigating the two Facets of Browser Fingerprinting 24/10/2019
Inférer des modèles à partir d'APIs cloud et raisonner dessus : une approche outillée et formelle 21/12/2018
Flexible Framework for Elasticity in Cloud Computing 10/12/2018
From Runtime Failures to Patches : Study of Patch Generation in Production 25/09/2018
A Software Product Lines-Based Approach for the Setup and Adaptation of Multi-Cloud Environments 05/06/2018
Self-optimization of Infrastructure and Platform Resources in Cloud Computing 12/12/2016
Towards Improving the Quality of Mobile Apps by Leveraging Crowdsourced Feedback 02/12/2016
Detection and analysis of impact of code smells in mobile applications 30/11/2016
Multi-Dimensional Analysis of Software Power Consumptions in Multi-Core Architectures 24/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
Towards a better understanding of the energy consumption of software systems 19/03/2014
Contributions to the Rigorous Design of Concurrent Component-Based Software and Systems Using BIP 08/03/2024
Micro-architectural Side Channels: Studying the attack surface From hardware to browser 24/05/2023
Improving the Security and Privacy of the Web through Browser Fingerprinting 21/06/2021
Des oracles pour le diagnostic et la réparation automatique des bugs logiciels 03/05/2016
français
English