13 citations · 25 across the 3 of their papers we have counts for
3 papers
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.…
cs.PL2021
An Executable Structural Operational Formal Semantics for Python
Maximilian A. Köhl
Python is a popular high-level general-purpose programming language also heavily used by the scientific community. It supports a variety of different programming paradigms and is p…
cs.AI2019★ 13 cited
Towards a Characterization of Explainable Systems
Dimitri Bohlender, Maximilian A. Köhl
Building software-driven systems that are easily understood becomes a challenge, with their ever-increasing complexity and autonomy. Accordingly, recent research efforts strive to…