| 8h30-9h30 |
Accueil des participants |
| 9h30-10h00 |
Cérémonie d'ouverture |
| 10h00-10h10 |
Présentation du laboratoire |
| 10h10-10h30 |
Equipe EpQoS |
Equipe SyCA |
Equipe SARA |
Equipe SVS |
| 10h30-11h 15 |
Conférence invitée 1 Pr. Samir TATA, TELECOM SudParis, France Déploiement d’applications basées services dans le Cloud
|
| 11h15-11h30 |
Pause Café |
| 11h30-12h45 |
Session 1 Modélisation et analyse de systèmes multi-agents, WLANs et autonomiques
|
|
Meriem Taibi, USTHB Modélisation et vérification des protocoles d'interaction des systèmes multi-agents par les réseaux de Petri colorés.
|
|
Mohand Yazid, Université de Béjaia Modélisation analytique et évaluation des performances des réseaux WLANS avec QOS (IEEE 802.11E-EDCA)
|
|
Mehdi Sliem, USTHB Evaluation des performances des systèmes autonomiques
|
| 12h45-13h45 |
Pause Déjeuner |
| 13h45-14h30 |
Conférence invitée 2 Pr. Samir TATA, TELECOM SudParis, France Autonomic computing pour la gestion d'application en environnement cloud
|
| 14h30-14h45 |
Pause Café |
| 14h45-16h00 |
Session 2 Vérification des systèmes
|
|
Dr. Djaouida Zaouche, USTHB Vers des modèles formels puissants pour le contrôle de la cohérence
temporelle de documents multimedias
|
|
Ahmed Kheldoun, Univ. de Médéa Modélisation et analyse des systèmes dynamiques reconfigurables
|
|
Fatiha Ouazar, USTHB Vérification des systèmes modulaires
|
