98 citations · 569 across the 35 of their papers we have counts for
5 papers · 1 filter
Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops
Rob van Glabbeek, Peter Höfner, Wee Lum Tan +1
In the area of mobile ad-hoc networks and wireless mesh networks, sequence numbers are often used in routing protocols to avoid routing loops. It is commonly stated in protocol spe…
Modelling and Verifying the AODV Routing Protocol
Rob van Glabbeek, Peter Höfner, Marius Portmann +1
This paper presents a formal specification of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process algebra which…
Automated Analysis of AODV using UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks.…
Modelling and Analysis of AODV in UPPAAL
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
This paper describes work in progress towards an automated formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in…
A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV
Ansgar Fehnker, Rob van Glabbeek, Peter Höfner +3
We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) protocols. It combines…