Supervised theses

Supervised theses

Recherche sociale et personnalisée d'Information

Université Ibn Khaldoun, Defended on 29-03-2011

B. Dadi (Supervisor)
JBARI Hajji (PhD candidate)

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

Université Ibn Khaldoun, Defended on 29-05-2010

B. Dadi (Supervisor)
SEQQUAT Karim (PhD candidate)

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

Université Ibn Khaldoun, Defended on 29-06-2010

B. Dadi (Supervisor)
REJAFELLAH El-houcine (PhD candidate)

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, Defended on 29-04-2010

B. Dadi (Supervisor)
LAIDE Amal (PhD candidate)

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

Université Ibn Khaldoun, Defended on 29-01-2009

B. Dadi (Supervisor)
AZEGGAGHE Hicham (PhD candidate)