This article gives an overview of the, monitoring oriented programming framework (MOP). In
MOP, runtime monitoring is supported and encouraged as a fundamental principle for …

This tutorial presents an overview of the field referred as to runtime verification. Runtime
Verification is the study of algorithms, data structures, and tools focused on analyzing …

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 …

Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …

Runtime monitoring is a general approach to verifying system properties at runtime by
comparing system events against a specification formalizing which event sequences are …

Runtime verification is the process of checking a property on a trace of events produced by
the execution of a computational system. Runtime verification techniques have recently …

The underlying property, its definition, and representation play a major role when monitoring
a system. Having a suitable and convenient framework to express properties is thus a …

Runtime verification (RV) consists in part of checking execution traces against user-provided
formalized specifications. Throughout the last decade many new systems have emerged …

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 …

Users wanting to monitor distributed or component-based systems often perceive them as
monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to …