Activité d'Encadrement

Thèses de Doctorat

Doctorant : Linda MOHAND OUSSAID (ENSMA, Poitiers).

Sujet : « Modélisation et vérification des IHM multimodales en sortie. Etude de la fission d’information et de l’allocation des médias et des modalités ».

Directeur de thèse : Yamine AIT AMEUR. Professeur à l’IRIT–ENSEEIHT de Toulouse.

Période : Octobre 2011 – Septembre 2013.

L’objectif de la thèse est de proposer un modèle formel générique pour la conception des interfaces multimodales en sortie en prenant en compte la fission sémantique qui décrit la décomposition de l’information à restituer en informations élémentaires, et l’allocation des paires modalité-média pour chaque information élémentaire.

Stages de Master

Etudiant : Nessrine BADACHE (Université de Poitiers).

Sujet : « Étude de la Composition de Services par le Raffinement. Mise en œuvre avec la méthode B Evénementiel ».

Co-encadrant : Yamine AIT AMEUR. Professeur à l’IRIT–ENSEEIHT de Toulouse.

Période : Mars 2011 – Juin 2011.

L’objectif visé par ce stage est d’étudier différents scénarios de composition et de substitution de services par une approche basée sur le raffinement. Une mise en œuvre a été réalisée avec la méthode B Evénementiel.

Stages d’ingénieur

Etudiant : Abderrahman MOKNI (Ecole Nationale des Sciences de l'Informatique, Tunisie).

Sujet :« Développement d’un module pour l’animation de modèles B Evénementiel ».

Co-encadrant :Michael BARON. Ingénieur de recherche au LISI-ENSMA de Poitiers.

Période : Mars 2011 – Juin 2011. 

L’objectif visé par ce stage est le développement d’un plugin Eclipse permettant l’intégration de l’animateur de modèles B Evénementiel B2EXPRESS dans la plate-forme RODIN. La partie concernée par ce stage vise à concevoir une IHM qui faciliterait l’utilisation de l’outil.

Etudiant : Raoul TAFFO TIAM (Institut Africain d’Informatique, Gabon).

Sujet :« Animer des modèles B Evénementiel dans l’environnement Rodin. Le plugin B2EXPRESS ».

Co-encadrant :Michael BARON. Ingénieur de recherche au LISI-ENSMA de Poitiers.

Période : Septembre 2010 - Février 2011. 

L’objectif visé par ce stage est le développement d’un plugin Eclipse permettant l’intégration de l’animateur de modèles B Evénementiel B2EXPRESS dans la plate-forme RODIN. La partie concernée par ce stage vise à développer des plugins Eclipse qui regrouperaient tout le noyau fonctionnel de l’outil.