LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » News » PhD students


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

 Mentions légales
Site map |