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 …

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 …

Very early runtime verification systems focused on monitoring what we can refer to as
propositional events: just names of events. For this, finite state machines, standard regular …

We present the implementation of a prototype tool that runtime checks specifications written
in a maximally-expressive safety fragment of the linear-time modal μ-calculus called MAX …

Parametric runtime verification is the process of verifying properties of execution traces of
(data carrying) events produced by a running system. This paper considers the relationship …

We present a monitoring approach for verifying systems at runtime. Our approach targets
systems whose components communicate with the monitors over unreliable channels …

Runtime Verification is a light-weight approach to systems verification, where actual
executions of a system are processed and analyzed using rigorous techniques. In this paper …

We present an approach for verifying systems at runtime. Our approach targets distributed
systems whose components communicate with monitors over unreliable channels, where …

In the most comprehensive study on Android attacks so far (undertaken by the Android
Malware Genome Project), the behaviour of more than 1, 200 malwares was analysed and …

Runtime verification describes techniques in which individual runs of a system, typically
represented as traces, are inspected for desired or undesired properties. The central …