Human oversight is currently discussed as a potential safeguard to counter some of the
negative aspects of high-risk AI applications. This prompts a critical examination of the role …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

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 …

Stream-based runtime monitoring frameworks are safety assurance tools that check the
runtime behavior of a system against a formal specification. This tutorial provides a hands …

This paper reports on the integration of runtime monitoring into fully-electric aircraft designed
by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime …

Runtime Verification studies how to check a run of a system against a formal specification,
typically expressed in some temporal logic. A monitor must produce a verdict at each step …

This paper is about ship** runtime verification to the masses. It presents the crucial
technology enabling everyday car owners to monitor the behaviour of their cars in-the-wild …

The safety of cyber-physical systems rests on the correctness of their monitoring
mechanisms. This is problematic if the specification of the monitor is implemented manually …

Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-
dependent signals originating from continuous-state or hybrid-state dynamical systems …

The observable behavior of a system usually carries useful information about its internal
state, properties, and potential future behaviors. In this paper, we introduce configuration …