Abstract Mobile Ad-hoc Networks (MANETs) are becoming a promising and popular way to
carry out ubiquitous computing in numerous vital applications. Unique characteristics of …

Mobile ad-hoc networks (MANETs) and wireless mesh networks (WMNs) are used in a
variety of research areas, including the military, industry, healthcare, agriculture, the Internet …

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 …

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) …

For decades, numerous routing protocols have been designed to serve unicast traffic in
wireless ad hoc networks. However, these routing protocols still provide limited performance …

Abstract The Wireless Sensor Network research field has been growing and becoming more
mature during the last decade since novel technologies and research lines have emerged …

It is very difficult to detect intrusions in wireless sensor networks (WSN), because of its
dynamic network topology and diverse routing protocols. Traditional Intrusion Detection …

This paper proposes a timed process algebra for wireless networks, an extension of the
Algebra for Wireless Networks. It combines treatments of local broadcast, conditional unicast …

As (network) software is such an omnipresent component of contemporary mission-critical
systems, formal analysis is required to provide the necessary certification or at least formal …

Dynamic MANET On-demand (AODVv2) routing, formerly known as DYMO, is a routing
protocol especially designed for wireless, multi hop networks. AODVv2 determines routes in …