, Etude de protocoles MAC dans les rseaux de capteurs sans fil. Nouvelles Tendances Technologiques en Gnie Electrique & Informatique, pp.63-71, 2006.
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.
, Backoff Algorithm: Fairness in a Distributed Ad-Hoc MAC. ICC'07, IEEE International Conference, pp.3562-3569, 2007.
MACAW: A media access protocol for wireless LANs, 1994. ,
A simple and effective backoff scheme for the IEEE 802.11MAC protocol, CITSA, 2005. ,
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 performance comparison of point and distributed coordination function of an IEEE 802.11 WLAN in the presence of real-time requirements, Proc. MoMuC, 2000. ,
Performance analysis of the IEEE 802.11 distributed coordination function, IEEE Journal on Selected Areas in Communication, pp.535-547, 2000. ,
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. ,
Improved Probabilistic Models for 802.11 Protocol Verification, Computer Aided Verification, vol.3576, pp.239-252, 2005. ,
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. ,
Model Checking Medium Access Control for Sensor Networks, International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp.255-262, 2006. ,
, Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electronic Notes in Theoretical Computer Science, vol.128, pp.195-214, 2005.
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.
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.