Adaptation  Algèbre de Processus  Algèbre de processus  Analyse de contre-Exemple  Applications cloud  Architecture Orientée-Services  Base de donnée  Chorégraphie de services  Commande de processus  Communication  Compilation  Compilation  Composant  Composants  Composants électroniques  Conformité  Contrats  Coordination  Couplage faible  Débogage  Déclaration de conformité  Exécution symbolique  Fonctions  Formalisme  Gestionnaire autonome  IOSTS  Informatique dans les nuages  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Interopérabilité  Langages formels  Model-Checking  Modèle de passation de messages  Modèles comportementaux  Méthode formelle  Méthodes Formelles  Méthodes formelles  Outils  Passage de valeurs  Programmation fonctionnelle  Programmation orientée objets  Programmation par objet  Projection  Propriétés temporelle  Protocoles de réseaux d'ordinateurs  Reconfiguration  Reconfiguration dynamique  Rendez-Vous Multiple  Réalisabilité  Résolution de problème -- Logiciels  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 d'information  Systèmes informatiques  Techniques d'Abstraction  Techniques de synthèse asynchrones  Test passif  Test à base de modèles  Tests  Tests fonctionnels  Traduction automatique  Traitement réparti  Vérification  Vérification Formel  

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


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


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


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