PhD graduated
Team : MoVe
Departure date : 09/21/2013

Supervision : Fabrice KORDON

Co-supervision : 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.

Defence : 09/21/2013 - 10h - Université Mohammed V Agdal, Rabat, Maroc

Jury members :

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

2010-2013 Publications