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

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 …

This paper presents detectEr, a runtime verification tool for monitoring asynchronous
component systems. The tool synthesises executable monitors from properties expressed in …

Abstract Reaction Systems (RSs) are a successful computational framework inspired by
biological systems. RSs can involve a large number of reactions and entities, which makes it …

In runtime verification, a monitor watches a trace of a system and, if possible, decides after
observing each finite prefix whether or not the unknown infinite trace satisfies a given …

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 …

Quantitative monitoring can be universal and approximate: For every finite sequence of
observations, the specification provides a value and the monitor outputs a best-effort …

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 …

Reaction systems (RSs) are a computational framework inspired by biochemical
mechanisms. A RS defines a finite set of reactions over a finite set of entities. Typically each …