Thèses de Doctorat Soutenues

Candidat: Kheldoun Ahmed,
Encadreur: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Utilisation des ECATNets Récursifs pour la Spécification et la Vérification des Systèmes,
Soutenue en Juillet 2018.

Candidat: Messaoud Rahim,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Proposition d’une Démarche de Spécification
Soutenue en Janvier  2017

Candidat: Mansouri Djamel,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Analyse et évaluation des performances des réseaux de capteurs
Soutenue en Décembre 2017

 

Thèses de  Doctorat en cours

 

Candidat: Bouchekir Redouane,
Encadreur:: M. C. Boukala
Intitulé de la thèse: Vérification des systèmes probabilistes modulaires

Candidat: Goucem Salsabil,
Encadreur:: M. C. Boukala
Intitulé de la thèse: Critère de couverture pour les modèles hybrides en ingénierie système

Candidat: Ahmed Saadi Hadjira,
Encadreur:: M. C. Boukala
Intitulé de la thèse: Analyse de diagnosticabilité des systèmes critiques

Candidat : Adel Khelifati

Encadreur : M. Boukala-Ioualalen

Intitulé de la thèse : Développement incrémentale de systèmes cyber-physiques fiables en exploitant Sysml et l'aproche orientée composants.

 

Candidat  : Lydia Yataghène 

Encadreur : M. Boukala-Ioualalen

Intitulé de la thèse : Modélisation des problèmes du cloud computing avec les modèles formels

 

Candidat : Amel Berrachedi

Encadreur : M. Boukala-Ioualalen

 Intitulé de la thèse : Modélisation des réseaux de capteurs par les modèles formels