611 citations · 855 across the 28 of their papers we have counts for
Showing cs.CYShow all
2 papers · 1 filter
cs.CY2023★ 2 cited
Software Doping Analysis for Human Oversight
Sebastian Biewer, Kevin Baum, Sarah Sterz +5
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 u…
cs.CY2021★ 12 cited
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.…