BEN MAÏSSA Yann

Docteur
Équipe : MoVe
Date de départ : 21/09/2013
https://lip6.fr/Yann.Ben-Maissa
https://lip6.fr/Yann.Ben-Maissa

Direction de recherche : Fabrice KORDON

Co-encadrement : ABOUTAJDINE Driss, THIERRY-MIEG Yann, MOULINE Salma

Contribution à la modélisation et à la vérification de réseaux de capteurs sans fil

L’objectif de la thèse est de fournir un moyen pour modéliser un réseau de capteurs sans fil à l’aide d’un langage semi-formel tout en garantissant la vérification d’un certain nombre de propriétés sur le modèle. Pour ce faire, le modèle semi-formel sera traduit automatiquement dans un langage formel à des fins de vérification. Le résultat de cette vérification sera ensuite retransmis à l’utilisateur. En cas d’erreurs, les concepteurs du système réviseront la spécification initiale et réappliqueront le processus de vérification jusqu’à ce que les propriétés soient satisfaites.

Soutenance : 21/09/2013

Membres du jury :

Laure Petrucci, Professeur à l'Université Paris 13 [Rapporteur]
Prof. Youssef FAKHRI, Université Ibn Tofail, Kénitra, Maroc [Rapporteur]
Salma Mouline, Université Mohammed V Agdal
Driss Aboutajdinne, Université Mohammed V Agdal
Fabrice Kordon, Professeur à l'Université Paris 6 - UPMC - LIP6
Yann THIERRY-MIEG, MC Université Paris 6 - UPMC - LIP6

Date de départ : 21/09/2013

Publications 2010-2013

Mentions légales
Carte du site