Software Engineering

Spirals team

Self adaptation for distributed services and large software systems

Leader: Lionel Seinturier

PRESENTATION MEMBERS THESES PUBLICATIONS

Presentation

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. Spirals targets especially two properties: self-healing and self-optimization.
With self-healing, Spirals aims at studying and tailoring data mining and machine learning solutions for the design and implementation of software systems. This contributes to the goal of obtaining solutions for automatic software repair.
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. This participates to the goal of obtaining eternal distributed systems.

Boubacar Diarra

Modélisation formelle et fiabilisation des configurations des réseaux cloudifiés

Salman Farhat

Reconfiguration dynamique fiable pour les applications du cloud

Romain Fouquet

Améliorer la vie privée en ligne grâce au blocage de contenu et à la limitation d'informations

Edouard Guegain

Configurations d'environnements fog large-échelle - Koala

Maxime Huyghe

Détection et correction automatique de vulnérabilités par canaux auxiliaires dans les librairies cryptographiques

Jean-Luc Intumwayase

Vers une amélioration de la confidentialité en ligne grâce au blocage de contenu et à la restriction des informations

Pierre Jacquet

Fostering the Frugal Design of Cloud Native Applications

Naif Mehanna

Renforcer l'authentification web à travers les empreintes matérielles

Hugo Monfleur

Conception et développement d'un langage orienté micro-services

Maryam Rahmani

Traitement multi-échelle des données spatio-temporelles appliquées à la qualité de l'air dans les zones urbaines

Thibault Simon

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

Les autres équipes du groupe thématique ' GL '

CARAMEL CARBON RMoD