Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Gwen Salaün
Gwen Salaün
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Thesis:
Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes
Directed Thesis:
Autonomic resilience of distributed IoT applications in the Fog
Débogage de modèles comportementaux par analyse de contre-exemple
Coordination and reconfiguration of distributed cloud applications
Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones