Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

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 …

The Internet of Things (IoT) is a ubiquitous system connecting many different devices-the
things-which can be accessed from the distance. The cyber-physical systems (CPSs) …

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 …

Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …

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 …

Ultra-critical systems require high-level assurance, which cannot always be guaranteed in
compile time. The use of runtime verification (RV) enables monitoring these systems in …

In this paper, we develop a specification-based, process-aware, Intrusion Detection System
(IDS) for complex Industrial Control Systems (ICSs). Complex ICSs are distributed and …

Runtime verification (RV) enables monitoring systems at runtime, to detect property
violations early and limit their potential consequences. This paper presents an end-to-end …

Smart contracts present new challenges for runtime verification techniques, due to features
such as immutability of the code and the notion of gas that must be paid for the execution of …