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

Modeling and analyzing mobile ad hoc networks (MANETs) pose non-trivial challenges to
formal methods. Time, geometry, communication delays and failures, mobility, and uni-and …

A metasurface is a surface that consists of artificial material, called metamaterial, with
configurable electromagnetic properties. This paper presents work in progress on the design …

Mobile ad hoc networks (MANETs) are increasingly popular and deployed in a wide range
of environments. However, it is challenging to formally analyze a MANET, both because …

We extend recent work by Höfner and McIver con the performances of the ad hoc routing
protocols AODV and DYMO in terms of routes established. Höfner and McIver apply …

In ad hoc networks like MANET the topology change frequently and interferences problems
are inevitable in many cases, as a result link failures can arise. Unfortunately, traditional …

Recently, various types of wireless networks and mobile communication technologies have
emerged; particularly the Wireless Mesh Networks (WMN) improving significantly the …

Simulations and test bed experiments have been the mainstay for analysis of routing
algorithms in computer networks. In isolation, these approaches are not amenable to more …

This paper presents the formal modelling and verification of the Ad-hoc On-demand
Distance Vector (AODV) routing protocol. Our study focuses on the quantitative aspects of …

Wireless Mesh Networks (WMNs), is an emerging wireless technology which attracts more
and more attention of service providers and enterprises. The main advantage of this new …