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 …

This article introduces a framework that is meant to assist in mitigating societal risks that
software can pose. Concretely, this encompasses facets of software doping as well as …

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

Runtime Verification deals with the question of whether a run of a system adheres to its
specification. This paper studies runtime verification in the presence of partial knowledge …

Stream-based runtime monitors are used in safety-critical applications such as Unmanned
Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of …

Software doping is a phenomenon that refers to the presence of hidden software
functionality, whose existence is only in the interest of the manufacturer. The most prominent …

Software is doped if it contains a hidden functionality that is intentionally included by the
manufacturer and is not in the interest of the user or society. This thesis complements this …

Most modern systems, be it cyber-physical or mere software systems, are highly
configurable. The main challenge when dealing with such configurable systems stems from …

Runtime verification (RV) enables monitoring systems at runtime, to detect property
violations early and limit their potential consequences. To provide the level of assurance …

Employees often use enterprise social media (ESM) for communication, collaboration, and
knowledge sharing, leading to ESM networks–that is, social networks of interrelated …