Runtime Verification can be defined as a collection of formal methods for studying the
dynamic evaluation of execution traces against formal specifications. Aside from creating a …

Programming distributed systems is notoriously hard due to–among the others–concurrency,
asynchronous execution, message loss, and device failures. Homogeneous distributed …

Distributed collective systems are systems formed by homogeneous dynamic collections of
devices acting in a shared environment to pursue a joint task or goal. Typical applications …

Programming massively distributed systems in unreliable environments poses several non-
trivial challenges. Such systems need to be able to adapt and self-organise, and special …

The advent of highly distributed systems, such as the Internet of Things, has led to the
development of distributed systems that require efficient and resilient runtime monitoring …

Today's distributed and pervasive computing addresses large-scale cyber-physical
ecosystems, characterised by dense and large networks of devices capable of computation …

FCPP is an optimized C++ implementation of the Aggregate Programming (AP) paradigm for
the implementation of distributed systems. Until now, it has been either deployed on …