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 …

We present rtamt, an online monitoring library for Signal Temporal Logic (STL) and its
interface-aware variant (IA-STL), providing both discrete-and dense-time interpretation of the …

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 …

The autonomous control of unmanned aircraft is a highly safety-critical domain with great
economic potential in a wide range of application areas, including logistics, agriculture, civil …

Runtime verification deals with checking correctness properties on the runs of a system
under scrutiny. To achieve this, it addresses a variety of sub-problems related to monitoring …

Realizing desired properties “by construction” is a highly appealing goal in the design of
safety-critical embedded systems. As verification and validation tasks in this domain are …

An essential part of cyber-physical systems is the online evaluation of real-time data
streams. Especially in systems that are intrinsically safety-critical, a dedicated monitoring …

We investigate online monitoring algorithms over dense-time and continuous-time signals
for properties written in metric temporal logic (MTL). We consider an abstract algebraic …

AI-based autonomous systems are increasingly relying on machine learning (ML)
components to perform a variety of complex tasks in perception, prediction, and control. The …

We present HLola, an extensible Stream Runtime Verification (SRV) tool, that borrows from
the functional language Haskell (1) rich types for data in events and verdicts; and (2) …