research
∙
11/09/2021
RTLola on Board: Testing Real Driving Emissions on your Phone
This paper is about shipping runtime verification to the masses. It pres...
share
research
∙
09/07/2021
An Executable Structural Operational Formal Semantics for Python
Python is a popular high-level general-purpose programming language also...
research
∙
01/31/2019
