The aim of this chapter is to act as a primer for those wanting to learn about Runtime
Verification (RV). We start by providing an overview of the main specification languages …

We present two techniques to improve landmark localization in images from partially
annotated datasets. Our primary goal is to leverage the common situation where precise …

This paper establishes a comprehensive theory of runtime monitorability for Hennessy-
Milner logic with recursion, a very expressive variant of the modal µ-calculus. It investigates …

With the growing complexity of railway control systems, it is required to preform runtime
safety checks of system executions that go beyond conventional runtime monitoring of pre …

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 …

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

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 …

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 introduce a general framework for Runtime Verification, parameterized with respect to a
set of conditions. These conditions are encoded in the trace generated by a monitored …