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