Smart contracts are regarded as one of the most promising and appealing notions in
blockchain technology. Their self-enforcing and event-driven features make some online …

Medical cyber-physical systems (MCPS) are life-critical, context-aware, networked systems
of medical devices. These systems are increasingly used in hospitals to provide high-quality …

This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in
Uppaal family that allows us to reason on networks of complex real-timed systems with a …

A comprehensive introduction to the foundations of model checking, a fully automated
technique for finding flaws in hardware and software; with extensive examples and both …

Abstract Reasoning about the correctness of parallel and distributed systems requires
automated tools. By now, the mCRL2 toolset and language have been developed over a …

Time-sensitive networking (TSN) is a next generation local area network technology for the
coexistence of information and operation technology, targeted to industrial automation, in …

Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

The development of Interoperability is a necessity for organisations to achieve business
goals and capture new market opportunities. Indeed, interoperability allows enterprises to …

The coordination of multiple autonomous vehicles into convoys or platoons is expected on
our highways in the near future. However, before such platoons can be deployed, the …

Whilst science has a strong reliance on quantitative and experimental methods, there are
many complex, socially based phenomena in HCI that cannot be easily quantified or …