THESESSOUTENUES
- Imen LOULOU (Une approche formelle d'aide à la conception et à la validation des architectures logicielles Publier/Souscrire)
- François ARMANDO (QoS coopérative pour l'adaptabilité des protocoles de Transport dans le contexte des activités de groupe)
- Riadh BEN HALIMA (Une démarche de spécification, de conception et de développement pour les applications à base de services Web auto-adaptables)
- Mohamed HADJ KACEM (Modélisation des applications distribuées à architecture dynamique : Conception et Validation)
- Francisco MOO MENA (Modélisation des architectures logicielles dynamiques : application à la gestion de la qualité de service des applications à base de services Web)
- Karim GUENNOUN (Architectures dynamiques dans le contexte des applications à base de composants et orientées service)) (autre acces) (Autres publications)
- Olga NABUCO (Proposition d'un réseau de partage de connaissances dans un environnement de production)
- Martin MOLINA (Modèle et services pour la coordination des sessions coopératives multiapplications : application à l’ingénierie système distribuée)
- Saul POMARES (Services de coordination et protocoles de diffusion causale pour les applications coopératives distribuées)
- Khalil DRIRA Thèse (Transformation et composition de graphes de refus : analyse de la testabilité)
- Khalil DRIRA HDR (Contribution à la conception des architectures logicielles et des protocoles de coordination pour les systèmes distribués coopératifs)