Supervised theses

Supervised theses

Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles

Université Ibn Khaldoun, Defended on 29-07-2018

A. Bellout (Supervisor)
JOUBLYA Youness (PhD candidate)

ALEBAS : une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués

Université Ibn Khaldoun, Defended on 29-07-2017

A. Bellout (Supervisor)
CHAFIMI Rachid (PhD candidate)

Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels

Université Ibn Khaldoun, Defended on 29-07-2017

A. Bellout (Supervisor)
LEGDANI Hicham (PhD candidate)

L'humour dans les interactions sociales homme-robot

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

A. Bellout (Supervisor)
IJANNANE Zoubir (PhD candidate)

Étude et conception d’objets de rééducation instrumentés pour le suivi de l’activité motrice des membres supérieurs des patients après un AVC

Université Ibn Khaldoun, Defended on 29-07-2014

A. Bellout (Supervisor)
RIGATI Bilal (PhD candidate)