Recent research initiatives dedicated to formal modeling, functional correctness and security
analysis of IoT systems, are generally limited to, model abstract behavioral patterns and look …

The spread of sensors and intelligent devices of the Internet of Things and their integration
in daily environments are changing the way we interact with some of the most common …

The dramatic decrease in price and increase in availability of hobbyist electronics has led to
a wide array of embedded and interactive devices. While electronics have become more …

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 …

The development of the Internet of Things is gaining more and more momentum. Due to its
widespread applicability, many different solutions have been created in all kinds of areas …

Most modern applications are immutable and turn-key despite the acknowledged benefits of
empowering users to modify their software. Writing extensible software remains challenging …

Ethereum smart contracts are an innovation built on top of the blockchain technology, which
provides a platform for automatically executing contracts in an anonymous, distributed, and …

Notifications are an important feature to proactively inform smartphone users. However,
reading notifications on phones often has a disruptive effect on tasks at hand or social …

Design of Blockchain-Based Apps Using Familiar Software Patterns with a Healthcare Focus
Page 1 Design of Blockchain-Based Apps Using Familiar Software Patterns with a Healthcare …

Motivated by the introduction of CACAO, the first open standard that harmonizes the way we
document courses of action in a machine-readable format for interoperability, and the …