Adaptation  Algèbre de Processus  Algèbre de processus  Analyse de contre-Exemple  Analyse de logs distribués  Applications cloud  Architecture Orientée-Services  Base de donnée  Chorégraphie de services  Commande de processus  Communication  Compilation  Compilation  Composant  Composants  Composants électroniques  Composition  Conformité  Contrats  Coordination  Couplage faible  Debugging  Débogage  Débogueurs  Déclaration de conformité  Edge  Exécution symbolique  Fog  Fonctions  Formalisme  Gestionnaire autonome  IOSTS  Informatique -- Recherche  Informatique autonome  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Instrumentation  Interfaces de programmation d'applications  Internet des Objets  Internet des objets  Interopérabilité  Langages formels  Logiciels  Model-Checking  Modèle de passation de messages  Modèles comportementaux  Monitoring  Méthode formelle  Méthodes Formelles  Méthodes formelles  Observation partielle  Outils  Parallélisme  Passage de valeurs  Programmation fonctionnelle  Programmation orientée objets  Programmation par objet  Programmes Distribues  Projection  Property  Propriétés temporelle  Protocoles de réseaux d'ordinateurs  Reconfiguration  Reconfiguration  Reconfiguration dynamique  Rendez-Vous Multiple  Runtime verification  Réalisabilité  Résilience  Résolution de problème  Réécriture de terme  Service Web orienté données  Service web  Services Web  Sous-typage  Surveillance  Système de transitions symboliques  Système distribué  Systèmes Distribués  Systèmes concurrents et distribués  Systèmes d'information  Systèmes distribués  Systèmes décentralisés  Systèmes informatiques  Systèmes à paramètres répartis  Sémantique dénotationnelle et opérationnelle  Sémantique opérationnelle  Techniques d'Abstraction  Techniques de synthèse asynchrones  Test passif  Test à base de modèles  Tests  Tests fonctionnels  Traduction automatique  Traitement réparti  Trust  Verification a L'execution  Vérification  Vérification Formel  Web des objets  

Gwen Salaün a rédigé la thèse suivante :


Gwen Salaün dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2021
Thèse en préparation

Informatique
En préparation depuis le 01-10-2020
Thèse en préparation


Gwen Salaün a dirigé les 5 thèses suivantes :


Gwen Salaün a été président de jury des 3 thèses suivantes :


Gwen Salaün a été rapporteur des 6 thèses suivantes :