Thèses encadrées

Thèses encadrées

Proposition d'une méthode organisationnelle pour la surveillance de la propagation des maladies chroniques et épidémiques : Application au système de santé de la RDC

Université Ibn Khaldoun, Soutenue le 29-04-2011

B. Dadi (Encadrant)
ROUICHI Khadir (Thésard)

Vérification automatique de code bas-niveau : C, assembleur et binaire

Université Ibn Khaldoun, Soutenue le 29-05-2010

B. Dadi (Encadrant)
SEQQUAT Karim (Thésard)

Modélisation et mise à jour d'ontologies interactives : application à la formation par simulation de gestes médicaux

Université Ibn Khaldoun, Soutenue le 29-06-2010

B. Dadi (Encadrant)
REJAFELLAH El-houcine (Thésard)

Aider les enseignants pendant la phase d'élaboration du scénario pédagogique par une approche ontologique de la modélisation des connaissances tâches-techniques du domaine considéré

Université Ibn Khaldoun, Soutenue le 29-04-2010

B. Dadi (Encadrant)
LAIDE Amal (Thésard)

Nanvix : Un système d'exploitation distribué pour les processeurs manycore légers

Université Ibn Khaldoun, Soutenue le 29-01-2009

B. Dadi (Encadrant)
AZEGGAGHE Hicham (Thésard)