Formal Approach for Modeling, Verification and Performance Analysis of Wireless Sensors Network. - Sajeh Zairi; Anis Mezni; Belhassen Zouari (WWIC, 2015)

A Design Method for WSN's Automatic Scheduling Generation. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (MobiWac, 2016)

Automatic Generation of Wireless Sensor Networks Scheduling. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (HPCS, 2017)

Multi Criteria Automatic Generation of Optimal Routing for WSN. - Anis Mezni; Emil Dumitrescu; Éric Niel; Samir Ben Ahmed (IWCMC, 2018)