Wireless sensor networks (WSNs) are increasingly being adopted in critical applications. In
these networks undesired events may undermine the reliability level; thus their effects need …

Wireless sensor and actor networks (WSAN) are captivating significant attention because of
their suitability for safety–critical applications. Efficient actor placement in such applications …

The Dutch company Chess develops a wireless sensor network (WSN) platform using an
epidemic communication model. One of the greatest challenges in the design is to find …

Wireless self-organizing networks (WSONs) have attracted considerable attention from the
network research community; however, the key for their success is the rigorous validation of …

In this thesis, we present novel software technology for the analysis of wireless networks, an
emerging area of computer science. To address the widely acknowledged lack of formal …

Wireless sensor networks consist of resource constrained nodes, especially with respect to
power resources. In many cases, the replacement of a dead node is difficult and costly, eg …

We present a detailled timed automata model of the clock synchronization algorithm that is
currently being used in a wireless sensor network (WSN) that has been developed by the …

We study a clock synchronization protocol for the Chess WSN. First, we model the protocol
as a network of timed automata and verify various instances using the Uppaal model …

CaVi provides a uniform interface to state-of-the-art simulation methods and formal
verification methods for wireless sensor network. Simulation is suitable to examine the …

Wireless sensor networks are typically ad-hoc networks of resource-constrained nodes; in
particular, the nodes are limited in power resources. It can be difficult and costly to replace …