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 …

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 …

The diesel emissions scandal has demonstrated that real-world behavior of systems can
deviate excessively from the behavior shown under certification conditions. In response to …

Emission cleaning in modern cars is controlled by embedded software. In this context, the
diesel emission scandal has made it apparent that the automotive industry is susceptible to …

Today, Big Data, generated by connected vehicles, can improve road safety, lead the green
transition, and direct the mobility revolution. For this reason, we develop an Android app …

Analyzing runtime behavior is an important part of developing and verifying software
systems. This is especially true for complex component-based systems used in the vehicle …

In this paper, we will explore challenges for the validation and testing of Automated Driving
Functions (ADF), which represent one of the major roadblocks for successful integration of …

RV-Android is a new freely available open source runtime library for monitoring formal safety
properties on Android. RV-Android uses the commercial RV-Monitor technology as its core …

Smartphones connected to Internet should work properly for days without a reset. One of the
most critical non-functional properties to ensure the correct behavior is energy consumption …

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 …