Recherche
Thèmes de recherche :
Sûreté
de développement du logiciel
Intégration de
méthodes formelles et semi-formelles
Multi-modélisation,
méta-modélisation & transformation de
modèles
Aide à la validation/certification de
spécifications
Résultats et produits
Participation à des projets de recherche :
SELKIS (projet ANR en cours) : A development method of secure health care networks information systems : from requirements engineering to implementation.
EDEMOI (ANR, ACI Sécurité Informatique) : Elaboration d'une DEmarche et d'outils pour la MOdélisation Informatique, la validation et la restructuration de réglementations de "sûreté" (sécurité), et la détection des biais dans les aéroports.
TUCS (Dans le cadre du pôle de compétitivité i-trans) : Technologies UML pour la certification des systèmes complexes.
SAFECODE (ANR, ACI Sécurité Informatique) : SAFEty Software COmponents Design
Activités liées à la recherche :
Membre des comités de programme de : ICEIS 2010, INFORSID 2010, WTBFM/ABZ 2010, AFADL 2010.
Membre correspondant de la Commission des Utilisateurs des Moyens Informatiques du LIG (CUMI)
Encadrements :
En cours :
Thèse de doctorat (Co-encadrement avec Y. Ledru) – Nafees Qamar
« Generation of Formal Descriptions to support the Validation and Verification of Secure Information System Specifications »
Thèse de doctorat (Co-encadrement avec Y. Ledru) – Mohamed-Amine
Labiadh
« Intégration de UML et de méthodes formelles pour l'étude de la sécurité en
Systèmes d'Information : approche basée sur l'IDM »
Passés :
Master 2 Recherche – Karim Lahmar (ISIMA Clermont-Ferrand)
« Ingénierie
Dirigée par les Modèles pour une intégration efficace de UML et de méthodes formelles »
Projet
de fin d'études (4 mois) – Institut National des
Sciences Appliquées et de Technologie
« Mise
en œuvre d'une architecture MDA pour une multi-modélisation
en UML et B »
Stage
d'ingénieur - École Polytechnique de Tunisie (2
mois) :
« Graphical Visualisation of formal B specifications
with Animation Tools ».
Projet
de Fin d'Études pour l’obtention d’un diplôme
d’ingénieur Polytechnicien (6 mois) :
«
Réalisation d'un atelier de Multi-modélisation :
B/UML - ToolKit »
Stage
TER pour un étudiant en Master 1 à l'Université
Joseph Fourier (2 mois) :
« Développement d’un
service web offrant les fonctionnalités de la boîte à
outils B/UML »
Stage
d'ingénieur de recherche - Université de Technologie
de Compiègne (3 mois) :
« Développement
d'un plugin Eclipse pour la mise en oeuvre de transformations
B/UML »
