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 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 …

Runtime Verification can be defined as a collection of formal methods for studying the
dynamic evaluation of execution traces against formal specifications. Aside from creating a …

Cyber–physical systems increasingly feature highly-distributed and mobile deployments of
devices spread over large physical environments: in these contexts, it is generally very …

Perception is a critical component of high-integrity applications of robotics and autonomous
systems, such as self-driving vehicles. In these applications, failure of perception systems …

Recent trends in the engineering of software-intensive systems increasingly promote the
adoption of computation at the edge of the network, in the proximity of where sensing and …

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 …

We introduce two complementary approaches to monitor decentralized systems. The first
approach relies on systems with a centralized specification, ie, when the specification is …

Network functions like firewalls, proxies, and NATs are instances of distributed systems that
lie on the critical path for a substantial fraction of today's cloud applications. Unfortunately …