5 citations · 6 across the 2 of their papers we have counts for
4 papers
Real-time Visualization of Stream-based Monitoring Data
Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold +1
Stream-based runtime monitors are used in safety-critical applications such as Unmanned Aerial Systems (UAS) to compute comprehensive statistics and logical assessments of system h…
A Temporal Logic for Asynchronous Hyperproperties
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour +2
Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a tra…
Automatic Optimizations for Stream-based Monitoring Languages
Jan Baumeister, Bernd Finkbeiner, Matthis Kruse +1
Runtime monitors that are specified in a stream-based monitoring language tend to be easier to understand, maintain, and reuse than those written in a standard programming language…
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer +2
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture,…