An Intel Galileo based wireless smart sensor platform targeted for monitoring, control,
maintenance and automation are presented. Intel Galileo standard processing platform with …

As (network) software is such an omnipresent component of contemporary mission-critical
systems, formal analysis is required to provide the necessary certification or at least formal …

Protocol design is usually based on the functional models developed according to the needs
of the system. In Intelligent Transport Systems (ITS), the features studied regarding Vehicular …

Formal verification is becoming more and more important in the field of wireless networks
(WSN). The general purpose formal method called Event-B is the latest incarnation of the B …

We consider environmental monitoring in a remote area with limited connectivity where
motes can join and leave the network arbitrarily, the topology is dynamic, transmission is …

Abstract Evolution of Intelligent Transportation Systems (ITS) towards connected and
autonomous vehicles requires robust communication protocols with proven or at least …

Abstract Nowadays, The Internet of Things (IoT) has shown an increased interest in the
academic literature, while its implementations became involved in almost every aspect of life …

Purpose: Vehicle intelligent position systems based on Received Signal Strength Indicator
(RSSI) in Wireless Sensor Networks (WSNs) are efficiently utilized. The vehicle's position …

Mobile distributed systems involve specific aspects such as migration, communication and
concurrency, usually under temporal constraints. In this paper, we deal with formal …

Considering the indoor temperature monitoring and energy saving control technology,
based on the traditional low energy adaptive clustering hierarchy (LEACH), a multi-hop …