77 citations · 336 across the 21 of their papers we have counts for
8 papers · 1 filter
Formalising the Optimised Link State Routing Protocol
Ryan Barry, Rob van Glabbeek, Peter Höfner
Routing protocol specifications are traditionally written in plain English. Often this yields ambiguities, inaccuracies or even contradictions. Formal methods techniques, such as p…
A Process Algebra for Link Layer Protocols
Rob van Glabbeek, Peter Höfner, Michael Markl
We propose a process algebra for link layer protocols, featuring a unique mechanism for modelling frame collisions. We also formalise suitable liveness properties for link layer pr…
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…
A Rigorous Analysis of AODV and its Variants
Peter Höfner, Rob van Glabbeek, Wee Lum Tan +3
In this paper we present a rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol using a formal specification in AWN (Algebra for Wireless Networks), a…
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.…