Networks have grown increasingly complicated. Violations of intended policies can
compromise network availability and network reliability. Network operators need to ensure …

Today's IoT systems include event-driven smart applications (apps) that interact with sensors
and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app …

Recent advances and industry standards in Internet of Things (IoT) have accelerated the
real-world adoption of connected devices. To manage this hybrid system of digital real-time …

Advances and standards in Internet of Things (IoT) have simplified the realization of building
automation. However, non-expert IoT users still lack tools that can help them to ensure the …

Programmatically controllable home devices are proliferating, ranging from lights, locks, and
motion sensors to smart refrigerators, televisions, and cameras, giving end users …

Internet of Things (IoT) has become prevalent in various fields, especially in the context of
home automation (HA). To better control HA-IoT devices, especially to integrate several …

Modern mobile systems such as smartphones, tablets, and wearables contain a plethora of
sensors such as camera, microphone, GPS, and accelerometer. Moreover, being mobile …

Ordinary users can build their smart home automation system easily nowadays, but such
user-customized systems could be error-prone. Using formal verification to prove the …

A large class of IoT applications read sensors, execute application logic, and actuate
actuators. However, the lack of high-level programming abstractions compromises …

The introduction of the Internet of Things (IoT) ecosystem into public and private sectors has
markedly changed the way people live, work, and entertain through integrating the digital …