BEN MAÏSSA Yann

Кандидат наук
Подразделение : MoVe
Окончание контракта : 21.09.2013
https://lip6.fr/Yann.Ben-Maissa
https://lip6.fr/Yann.Ben-Maissa

Научны(е)й руководител(и)ь : Fabrice KORDON

Со-руководитель : ABOUTAJDINE Driss, THIERRY-MIEG Yann, MOULINE Salma

Contribution to the modeling and verification of wireless sensor networks

The goal of the PhD thesis is to provide a way for modeling a wireless sensor networks using a semi-formal language, while ensuring that properties of interest are verified on the model. In order to this, the semi-formal model will be transformed automatically into a formal one, for verification. The verification result will be provided to the user. If a property of interest is not verified, the system designers will modify their specification and reapply the verification process until all properties are satisfied.

Защита диссертаций : 21.09.2013

Члены жюри :

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

Окончание контракта : 21.09.2013

Публикации 2010-2013

Mentions légales
Карта сайта