Thèses encadrées

Thèses encadrées

Recherche sociale et personnalisée d'Information

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

B. Dadi (Encadrant)
JBARI Hajji (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)