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)
Apprendre par imitation : applications à quelques problèmes d'apprentissage structuré en traitement des langues
Université Ibn Khaldoun, Soutenue le 29-06-2014
  • A. Bellout (Encadrant)
  • ASSEBANE Yassin (Thésard)