Thèses de Doctorat Soutenues

Candidat: Messaoud Rahim,
Encadreur:: Prof M. Boukala-Ioualalen,
Intitulé de la thèse: Proposition d’une Démarche de Spécification
Soutenu: 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

Soutenances de Masters

1. Vers un contrôle de la compatibilité des systèmes infinis asynchrones, S. Brihem et C.K. Brahimi, soutenu juin 2017

2. Vérification formelle des exigences SysML, Encadré par M.C Boukala et D. Dahmani Soutenu en juin 2016.

3. Approche basée sur le découpage de modèles pour la vérification des exigences SysML sur les diagrammes d’activité, Encadré par M. Rahim Soutenu en juin 2016.

4. Vérification distribuée des diagrammes d’activité,, Encadré par M. Rahim. Soutenu en juin 2016.

5. Vérification des exigences SysML sur les diagrammes d'activités, Encadreé par M. Rahim, Soutenu juin 2015.