Enterprises that approach uncertainty and risk in software development based on lean and
agile methods [1] often do experience financial planning of projects as a restriction …

In this paper we present a stepwise formal development of the Optimised Link State Routing
(OLSR) protocol in Event-B. OLSR is a proactive routing protocol which finds routes for …

Abstract Wireless Mesh Networks (WMNs) are self-organising and self-healing wireless
networks that provide support for broadband communication without requiring fixed …

In this paper we compare models developed in two formal frameworks, Uppaal and Event-B,
for the Optimised Link State Routing (OLSR) protocol. OLSR is one of the proactive routing …

We compare two evolutions of the Ad-hoc On-demand Distance Vector (AODV) routing
protocol, ie DYMO and AODVv2-16. In particular, we apply statistical model checking to …

Wireless Mesh Networks (WMNs) are self-organising adhoc networks that provide support
for broadband communication without relying on a wired infrastructure. Such networks have …