This paper surveys how formal verification can be used to prove the correctness of ad hoc
routing protocols, which are fundamental infrastructure of wireless sensor networks. The …

The advancement of the Internet of Things (IoT) has tremendously influenced many fields of
human life. The Internet of Medical Things, Internet of Flying Things, Internet of Floating …

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 …

We consider software written for networked, wireless sensor nodes, and specialize software
verification techniques for standard C programs in order to locate programming errors in …

Abstract The Wireless Body Area Network (WBAN) that can collect measured vital signs
through sensors enables continuous monitoring of the elder and of chronic diseases. As …

Networked embedded systems generally have extremely low visibility of system faults. In this
paper, we report on experimenting with online, node-local temporal monitors for networked …

Wireless Sensor Networks (WSNs) monitor environment phenomena and in some cases
react in response to the observed phenomena. The distributed nature of WSNs and the …

Wireless Sensor Networks (WSNs) have attracted considerable research attention in recent
years because of the perceived potential benefits offered by self-organising, multi-hop …

We present formal specification and verification of a robot moving in a complex network,
using temporal sequence learning to avoid obstacles. Our aim is to demonstrate the benefit …

Two major trends in computing hardware during the last decade have been an increase in
the number of processing cores found in individual computer hardware platforms and an …