Fault-tolerant implementation of a distributed MLE-based time synchronization protocol for wireless sensor networks. - Djamel Djenouri; Nassima Merabtine; Fatma Zohra Mekahlia; Messaoud Doudou (WCNC, 2013)

Fast distributed multi-hop relative time synchronization protocol and estimators for wireless sensor networks. - Djamel Djenouri; Nassima Merabtine; Fatma Zohra Mekahlia; Messaoud Doudou (Ad Hoc Networks, 2013)

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method. - Fatma Zohra Mekahlia; Abdelghani Ghomari; Samy Yazid; Djamel Djenouri (J. Integr. Des. Process. Sci., 2016)