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 …

Autonomous driving vehicles are a kind of typical cyber-physical systems integrating
complex interactions between hardware and software components such as collaborative …

Abstract Adaptable Autonomous Systems are advanced autonomous systems which not
only interact with their environment, but are aware of it and are capable of adapting their …

Safe and reliable autonomous vehicles are key to solving many of today's mobility and
transportation problems. However, this reliability cannot be achieved during development …

When it comes to the verification of novel complex and learning automated driving functions,
existing standards reach their limits. In this thesis, a generic method for the online …

Collaborative and autonomous driving vehicles combine hardware and software complex
processes, also are heavily dependent on and influenced by the world of physical and cyber …

Due to the broad attack surface and the lack of runtime protection, potential safety and
security threats hinder the real-life adoption of autonomous vehicles. Although efforts have …

We provide a summary over architectural approaches that can be used to construct
dependable learning-enabled autonomous systems, with a focus on automated driving. We …

Aviation safety has accrued and applied decades of understanding on known risks and
effective mitigations. That knowledge captured in compliance standards-can be tested for …

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 …