Open Access
An Abstract Model of Routing in Mobile Ad Hoc Networks
Cong Yuan,Jonathan Billington,Jörn Freiheit +2 more
- pp 137-156
About:
The article was published on 2005-01-01 and is currently open access. It has received 10 citations till now. The article focuses on the topics: Optimized Link State Routing Protocol & Ad hoc wireless distribution service.read more
Citations
More filters
Book ChapterDOI
Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
TL;DR: A Coloured Petri Net (CPN) model of the mandatory parts of the DYMO protocol is presented, and how scenario-based state space exploration has been used to validate key properties of the protocol is shown.
Proceedings ArticleDOI
Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks
TL;DR: The proposed technique uses formal verification, more specifically model checking, to detect problems such as routing loops, delivery message failures and errors in the protocol state machine in a simple way.
Proceedings ArticleDOI
An ad-hoc routing protocol in hybrid wireless networks for emergency communications
TL;DR: An ad-Hoc routing protocol using unicast-based route discovery in a hybrid wireless network, ECCA, which combines ad-hoc networking scheme with a centralized hierarchical network to collect damage assessment information in disaster circumstances.
Book ChapterDOI
Formal Verification of Routing Protocols for Wireless Ad Hoc Networks
TL;DR: This chapter presents the main tools, proposals, and techniques available to perform formal verification of routing algorithms for wireless ad hoc networks.
Proceedings ArticleDOI
Formal modelling and performance evaluation of a novel role-based Routing Algorithm for wireless sensor networks
TL;DR: A formal study of NORA (Network rOle-based Routing Algorithm) is presented, using coloured Petri Nets as an appropriate modelling language and CPNTools to evaluate the correctness of the protocol, using state space exploration, and performance evaluation.