This chapter surveys runtime verification research related to distributed systems. We report
solutions that study how to monitor system with some distributed characteristic, solutions that …

Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …

In this paper, a brief account of the field of runtime verification is given. Starting with a
definition of runtime verification, a comparison to well-known verification techniques like …

This article studies runtime verification of properties expressed either in lineartime temporal
logic (LTL) or timed lineartime temporal logic (TLTL). It classifies runtime verification in …

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

Formal verification and validation play a crucial role in making cyber-physical systems (CPS)
safe. Formal methods make strong guarantees about the system behavior if accurate models …

Runtime verification is an area of formal methods that studies the dynamic analysis of
execution traces against formal specifications. Typically, the two main activities in runtime …

Bug-tracking and issue-tracking systems tend to be populated with bugs, issues, or tickets
written by a wide variety of bug reporters, with different levels of training and knowledge …

The use of runtime verification, as a lightweight approach to guarantee properties of
systems, has been increasingly employed on real-life software. In this paper, we present the …

Runtime monitoring is the process of checking whether an execution trace of a running
system satisfies a given specification. For this to be effective, monitors which run trace …