Software components are expected to communicate according to predetermined protocols
and APIs. Numerous methods have been proposed to check the correctness of …

Monitorability underpins the technique of runtime verification because it delineates what
properties can be verified at runtime. Although many monitorability definitions exist, few are …

We present a synthetic benchmarking framework that targets the systematic evaluation of RV
tools for message-based concurrent systems. Our tool can emulate various load profiles via …

We develop a behavioural theory for monitors—software entities that passively analyse the
runtime behaviour of systems so as to infer properties about them. First, we extend the …

We develop a behavioural theory for monitors, computational entities that passively analyse
the runtime behaviour of systems so as to infer properties about them. First, we present a …

Runtime enforcement is a dynamic analysis technique that instruments a monitor with a
system in order to ensure its correctness as specified by some property. This paper explores …

Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the
behaviour specified by some correctness property on an executing system. The …

Modern software is built on reactive principles, where systems are responsive, resilient,
elastic, and message-driven. Despite the benefits they beget, these aspects make the …

In concurrent and distributed systems, software components are expected to communicate
according to predetermined protocols and APIs-and if a component does not observe them …

With the advent of Industry 4.0, industrial facilities and critical infrastructures are transforming
into an ecosystem of heterogeneous physical and cyber components, such as …