Abstract Wireless Sensor Networks (WSNs) have facilitated human life in different fields:
medical, engineering, agriculture, environment, traffic, and military. WSNs are extensively …

Randomized exponential backoff is a widely deployed technique for coordinating access to
a shared resource. A good backoff protocol should, arguably, satisfy three natural …

Randomized exponential backoff is a widely deployed technique for coordinating access to
a shared resource. A good backoff protocol should, arguably, satisfy three natural …

Micro-grids offer a cost-effective approach to providing reliable power supply in isolated and
disadvantaged communities. These communities present a special case where access to …

An execution of a distributed algorithm is often seen as a game between the algorithm and a
conceptual adversary causing specific distractions to the computation. In this work we define …

Nowadays, Security is the biggest challenge in communication networks. Well defined
security protocols not only solve the privacy and security issues but also help to reduce the …

This article investigates the verification of livelock-freedom and self-stabilization on
parameterized rings consisting of symmetric, constant space, deterministic, and self …

In rural/remote areas, resource constrained smart micro-grid (RCSMG) architectures can
offer a cost-effective power management and supply alternative to national power grid …

Resource constrained smart micro-grid architectures describe a class of smart micro-grid
architectures that handle communications operations over a lossy network and depend on a …

This dissertation tackles several questions in distributed computing and fault-tolerance. It
consists of four main, more or less independent, chapters that all fit into a certain bigger …