15 citations · 15 across the 2 of their papers we have counts for
2 papers
cs.NI2015★ 15 cited
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…
cs.LO2015
Proceedings Workshop on Models for Formal Analysis of Real Systems
Rob van Glabbeek, Jan Friso Groote, Peter Höfner
This volume contains the proceedings of MARS 2015, the first workshop on Models for Formal Analysis of Real Systems, held on November 23, 2015 in Suva, Fiji, as an affiliated works…