611 citations · 640 across the 7 of their papers we have counts for
9 papers
On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations
Gregory Stock, Juan A. Fraire, Holger Hermanns +3
Recent breakthroughs in technology have led to a thriving "new space" culture in low-Earth orbit (LEO) in which performance and cost considerations dominate over resilience and rel…
RTLola on Board: Testing Real Driving Emissions on your Phone
Sebastian Biewer, Bernd Finkbeiner, Holger Hermanns +3
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.…
What Do We Want From Explainable Artificial Intelligence (XAI)? -- A Stakeholder Perspective on XAI and a Conceptual Model Guiding Interdisciplinary XAI Research
Markus Langer, Daniel Oster, Timo Speith +5
Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, a…
Doping Tests for Cyber-Physical Systems
Sebastian Biewer, Pedro D'Argenio, Holger Hermanns
The software running in embedded or cyber-physical systems (CPS) is typically of proprietary nature, so users do not know precisely what the systems they own are (in)capable of doi…
Towards a Framework Combining Machine Ethics and Machine Explainability
Kevin Baum, Holger Hermanns, Timo Speith
We find ourselves surrounded by a rapidly increasing number of autonomous and semi-autonomous systems. Two grand challenges arise from this development: Machine Ethics and Machine…
Facets of Software Doping
Gilles Barthe, Pedro R. D'Argenio, Bernd Finkbeiner +1
This paper provides an informal discussion of the formal aspects of software doping.