UNIVERSITE HASSAN 1er N° d’ordre 

:
FACULTE DES SCIENCES ET
TECHNIQUES
SETTAT

HABILITATION UNIVERSITAIRE
Spécialité : Informatique

Titre :

ification formelle de la qualité de service des systèmes distribués ouverts

Présenté et soutenue publiquement par

Youssef BALOUKI

Soutenue le 10/02/2015 devant le jury composé de :

Université Hassan I – FSTS - Président

Université Hassan I – ESTB - Rapporteur
Université Hassan I – FSTS - Examinateur
Université Hassan I – FSTS - Rapporteur
Université Mohammed V – FSR - Examinateur
Université Mohammed V – FSR - Rapporteur
Avant-Propos
Ce mémoire d’habilitation universitaire décrit mon Curriculum Vitae, mes activités
d’enseignement et de recherche auxquelles je me suis consacré depuis 2004, à la Faculté des
Sciences de Rabat et à la Faculté des Sciences et Techniques de Settat. L’ensemble de mon
activité de recherche est présenté de manière synthétique et factuelle. Celle-ci est
intégralement explicitée dans les annexes composées de mes principales publications.

Ce rapport est donc divisé en deux parties.

La première partie présente un résumé des travaux de recherche que j’ai menés depuis
l’achèvement de ma thèse (Février 2010). Ces travaux de recherche portent sur la
spécification formelle et modélisation des systèmes répartis ouverts et la transformation des
modèles guidée par l’approche MDA.

Dans une seconde partie, plus condensée, mon implication relative aux deux premières
facettes du métier d’enseignant-chercheur que sont l’enseignement et la prise de
responsabilités collectives sont exposés. Mon parcours professionnel, mon cursus
universitaire et mes collaborations scientifiques sont donc présentés.