Formal verification of MPR selection algorithm in the OLSR protocol. - Omar Barki; Zouhair Guennoun; Adnane Addaim (SITA, 2015)

Comparative study of MPR selection algorithms based on statistical model checking. - Omar Barki; Zouhair Guennoun; Adnane Addaim (ICMCS, 2016)

Artificial Neural Networks for Communication Wireless Networks: a Synthetic Study. - Omar Barki; Zouhair Guennoun; Adnane Addaim (ICMCS, 2018)