OUAKILI Youssef
OUAKILI Youssef
  1. Y. Ouakili
  2. Recherche
  3. Thèses encadrées
Thèses encadrées
Out of Hypervsor
Université Ibn Khaldoun, Soutenue le 29-04-2020
Programmation impérative par raffinements avec l'assistant de preuve Coq
Université Ibn Khaldoun, Soutenue le 29-05-2019
Garder la trace, mettre de l'ordre et relier les points : modéliser la variation et l'ambiguïté des expressions polylexicales
Université Ibn Khaldoun, Soutenue le 29-06-2019
  • Y. Ouakili (Encadrant)
  • KRIECHE Bouchra (Thésard)
Temps et durée : de la programmation réactive synchrone à la composition musicale
Université Ibn Khaldoun, Soutenue le 29-01-2019
  • Y. Ouakili (Encadrant)
  • OUBERHAMOU Amine (Thésard)
Détection d’évènements anormaux dans les gros volumes de données d’utilisation issues des hélicoptères
Université Ibn Khaldoun, Soutenue le 29-05-2018
  • Y. Ouakili (Encadrant)
  • EDDAOUDI Souad (Thésard)