H. Zayani, R. Ben-ayed, K. Djouani, and K. Barkaoui, Etude de protocoles MAC dans les rseaux de capteurs sans fil. Nouvelles Tendances Technologiques en Gnie Electrique & Informatique, pp.63-71, 2006.

S. Gobriel, R. Melhem, and D. Mosse, BLAM: An Energy-Aware MAC Layer Enhancement for Wireless AdHoc Networks, Proc. WCNC04, 2004.

, The Institute of Electrical and Inc. Electronics Engineers: IEEE 802.11 Standard -Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) specifications, 1999.

R. Gupta and J. Walrand, Backoff Algorithm: Fairness in a Distributed Ad-Hoc MAC. ICC'07, IEEE International Conference, pp.3562-3569, 2007.

V. Bharghavan, A. Demers, S. Shenker, and L. Zhang, MACAW: A media access protocol for wireless LANs, 1994.

P. Chatzimisios, A. Boucouvalas, V. Vitsas, A. Vafiadis, A. Oikonomidis et al., A simple and effective backoff scheme for the IEEE 802.11MAC protocol, CITSA, 2005.

H. Zayani, R. Ben-ayed, K. Djouani, and K. Barkaoui, ECo-MAC: An energy-efficient and lowlatency hybrid MAC protocol for wireless sensor networks, 2nd ACM International Workshop on Performance Monitoring, Measurement, and Evaluation of Heterogeneous Wireless and Wired Networks, pp.68-71, 2007.

A. Koepsel, J. Ebert, and A. Wolisz, A performance comparison of point and distributed coordination function of an IEEE 802.11 WLAN in the presence of real-time requirements, Proc. MoMuC, 2000.

G. Bianchi, Performance analysis of the IEEE 802.11 distributed coordination function, IEEE Journal on Selected Areas in Communication, pp.535-547, 2000.

M. Kwiatkowska, G. Norman, and J. Sproston, Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol. 2nd Joint Int. Workshop on Process Algebra and Performance Modelling and Probabilistic Methods in Verification, LNCS, vol.2399, pp.169-187, 2002.

A. Roy and K. Gopinath, Improved Probabilistic Models for 802.11 Protocol Verification, Computer Aided Verification, vol.3576, pp.239-252, 2005.

M. Fruth, Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.290-297, 2006.

P. Ballarini and A. Miller, Model Checking Medium Access Control for Sensor Networks, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.255-262, 2006.

M. Duflot, L. Fribourg, T. Herault, R. Lassaigne, F. Mangiette et al., Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electronic Notes in Theoretical Computer Science, vol.128, pp.195-214, 2005.

E. M. Clarke, O. Grumberg, and D. A. , Peled: Model Checking, 2000.

, OPNET web site

, UPPAAL web site

, PRISM web site

, This is my paper, SPIN web site, vol.10, pp.120-122, 2008.

A. &. Gizem and O. Ayese, Coomunications & Networks, Network Books, Journal of Systems and Software and has received the 1995 IEEE Int. Conf. on System Man and Cybernetics Outstanding Paper Award, 2009.

, She is currently a Professor at the Department of Information and Communication Technologies at the Ecole Nationale d' Ingénieurs de Tunis (ENIT) and a member of SysCom Research Laboratory. Her research interests include V&V of software systems, dependability and wireless sensor networks, 1990.