BELLOUT Abderrahim
BELLOUT Abderrahim
  1. A. Bellout
  2. Recherche
  3. Thèses encadrées
Thèses encadrées
Vérification par model-checking de programmes concurrents paramétrés sur des modèles mémoires faibles
Université Ibn Khaldoun, Soutenue le 29-07-2018
  • A. Bellout (Encadrant)
  • JOUBLYA Youness (Thésard)
ALEBAS : une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués
Université Ibn Khaldoun, Soutenue le 29-07-2017
  • A. Bellout (Encadrant)
  • CHAFIMI Rachid (Thésard)
Méthodes et outils pour la spécification et la preuve de propriétés difficiles de programmes séquentiels
Université Ibn Khaldoun, Soutenue le 29-07-2017
  • A. Bellout (Encadrant)
  • LEGDANI Hicham (Thésard)
L'humour dans les interactions sociales homme-robot
Université Ibn Khaldoun, Soutenue le 29-03-2016
  • A. Bellout (Encadrant)
  • IJANNANE Zoubir (Thésard)
É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, Soutenue le 29-07-2014