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
|