A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

Zhe Chen; Daqiang Zhang; Rongbo Zhu; Yinxue Ma; Ping Yin; Feng Xie

doi:10.1166/sl.2013.2653

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks

Sensor Letters ◽

10.1166/sl.2013.2653 ◽

2013 ◽

Vol 11 (5) ◽

pp. 752-764 ◽

Cited By ~ 16

Author(s):

Zhe Chen ◽

Daqiang Zhang ◽

Rongbo Zhu ◽

Yinxue Ma ◽

Ping Yin ◽

...

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Formal Verification ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Scrutinizing Performance of Ad Hoc Routing Protocols on Wireless Sensor Networks

2009 First Asian Conference on Intelligent Information and Database Systems ◽

10.1109/aciids.2009.30 ◽

2009 ◽

Cited By ~ 3

Author(s):

Zhongwei Zhang ◽

Hong Zhou ◽

Jason Gao

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Performance Evaluation of Mobile Ad Hoc Routing Protocols on Wireless Sensor Networks for Environmental Monitoring

2015 17th UKSim-AMSS International Conference on Modelling and Simulation (UKSim) ◽

10.1109/uksim.2015.60 ◽

2015 ◽

Cited By ~ 1

Author(s):

Mabrouka Abuhmida ◽

Kapilan Radhakrishnan ◽

Ian Wells

Keyword(s):

Wireless Sensor Networks ◽

Performance Evaluation ◽

Sensor Networks ◽

Environmental Monitoring ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing ◽

Mobile Ad Hoc

Download Full-text

Energy based proficiency analysis of ad-hoc routing protocols in wireless sensor networks

2015 International Conference on Advances in Computer Engineering and Applications ◽

10.1109/icacea.2015.7164829 ◽

2015 ◽

Cited By ~ 2

Author(s):

Rohini Sharma ◽

D. K. Lobiyal

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Proficiency Analysis of AODV, DSR and TORA Ad-hoc Routing Protocols for Energy Holes Problem in Wireless Sensor Networks

Procedia Computer Science ◽

10.1016/j.procs.2015.07.380 ◽

2015 ◽

Vol 57 ◽

pp. 1057-1066 ◽

Cited By ~ 12

Author(s):

Rohini Sharma ◽

D.K. Lobiyal

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

An Empirical Analysis of Ad hoc Routing Protocols for Hybrid Wireless Sensor Networks

2007 International Conference on Electrical Engineering ◽

10.1109/icee.2007.4287317 ◽

2007 ◽

Author(s):

M. Saleem ◽

M.A. Sheikh

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Empirical Analysis ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Analysis on Ad Hoc Routing Protocols in Wireless Sensor Networks

International Journal of Ad hoc, Sensor & Ubiquitous Computing ◽

10.5121/ijasuc.2012.3601 ◽

2012 ◽

Vol 3 (6) ◽

pp. 1-13

Author(s):

Renjith P.N

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Enhanced Mobile Ad hoc Routing Protocol Using Cross Layer Design in Wireless Sensor Networks

Advances in Intelligent Systems and Computing - New Paradigms in Internet Computing ◽

10.1007/978-3-642-35461-8_1 ◽

2013 ◽

pp. 1-11

Author(s):

Waris Chanei ◽

Sakuna Charoenpanyasak

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocol ◽

Ad Hoc ◽

Wireless Sensor ◽

Cross Layer ◽

Cross Layer Design ◽

Ad Hoc Routing ◽

Ad Hoc Routing Protocol ◽

Mobile Ad Hoc

Download Full-text

Scenario Based Simulation Study of Ad Hoc Routing Protocol's Behavior in Wireless Sensor Networks

2009 International Conference on Future Computer and Communication ◽

10.1109/icfcc.2009.72 ◽

2009 ◽

Cited By ~ 1

Author(s):

S. Gowrishankar ◽

Subir Kumar Sarkar ◽

T.G. Basavaraju

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Simulation Study ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

Recursive and ad hoc routing based localization in wireless sensor networks

Computer Standards & Interfaces ◽

10.1016/j.csi.2015.09.006 ◽

2016 ◽

Vol 44 ◽

pp. 258-263 ◽

Cited By ~ 4

Author(s):

Pinar Kirci ◽

Hakima Chaouchi

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Ad Hoc ◽

Wireless Sensor ◽

Ad Hoc Routing

Download Full-text

The Comparison Study of Hierarchical Routing Protocols for Ad-Hoc and Wireless Sensor Networks

Proceedings of the The International Conference on Engineering & MIS 2015 - ICEMIS '15 ◽

10.1145/2832987.2833039 ◽

2015 ◽

Cited By ~ 2

Author(s):

Ibrihich Ouafaa ◽

Laassiri Jalal ◽

Krit Salah-ddine ◽

El Hajji Said

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Routing Protocols ◽

Ad Hoc ◽

Wireless Sensor ◽

Comparison Study ◽

Hierarchical Routing

Download Full-text