Aggregate computing is an emerging approach to the engineering of complex coordination
for distributed systems, based on viewing system interactions in terms of information …

Public transport is a fundamental aspect of urban life and its quality of service can
significantly impact the daily life of passengers. Research on quality of service in public …

Even though blockchain is mostly popular for its cryptocurrency, smart contracts have
become a very prominent blockchain application. Smart contracts are like classes that can …

Recent research on spatial and spatio-temporal model checking provides novel image
analysis methodologies, rooted in logical methods for topological spaces. Medical imaging …

We address the specification and verification of spatio-temporal behaviours of complex
systems, extending Signal Spatio-Temporal Logic (SSTL) with a spatial operator capable of …

Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …

Spatial and spatio-temporal model checking techniques have a wide range of application
domains, among which large scale distributed systems and signal and image analysis. We …

In spatially located, large scale systems, time and space dynamics interact and drives the
behaviour. Examples of such systems can be found in many smart city applications and …

We present an application of strategy synthesis to enforce spatial properties. This is
achieved by implementing a toolchain that enables the tools CATLib and VoxLogicA to …

Topological Spatial Model Checking is a recent paradigm where model checking techniques
are developed for the topological interpretation of Modal Logic. The Spatial Logic of Closure …