Statistical Model Checking of CSMA/CA in WSNs. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Cherifa Othmane (VECoS, 2016)

Using priced timed automata for the specification and verification of CSMA/CA in WSNs. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah (Int. J. Inf. Commun. Technol., 2020)

Performance evaluation of ODMAC protocol for WSNs powered by ambient energy. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah; Nadia Hamani (Int. J. Simul. Process. Model., 2021)

A new Mobility and Energy Harvesting aware Medium Access Control (MEH-MAC) protocol: Modelling and performance evaluation. - Zohra Hmidi; Laid Kahloul; Saber Benharzallah (Ad Hoc Networks, 2023)