Jan Baumeister

Pacing Types for Asynchronous Stream Equations

A ROS Adapter for RTLola

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach

Tiny Drone, Tiny Resources: Deploying RTLola Monitors on the Crazyflie Platform

An Intermediate Program Representation for Optimizing Stream-Based Languages

Stream-Based Monitoring of Algorithmic Fairness

A Tutorial on Stream-Based Monitoring

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned

Certification Aspects of Runtime Assurance for Urban Air Mobility

A Hierarchy of Monitoring Properties for Autonomous Systems

Real-time Visualization of Stream-based Monitoring Data.

Monitoring with Verified Guarantees

A Temporal Logic for Asynchronous Hyperproperties

Automatic Optimizations for Runtime Verification Specifications

Automatic Optimizations for Stream-based Monitoring Languages

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

FPGA Stream-Monitoring of Real-time Properties

On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB

Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring

Encodings of Bounded Synthesis of Distributed Systems

Monitoring Smart Contracts with RTLola

Timing is Key - A WCET Analysis of RTLola

Modularization of code in RTLola

RTLola App

Runtime Monitoring of Neural Networks for Safe Autonomous Driving

Compiling RTLola Specifications

RTLola in the Cloud: Reliability for Cloud Applications using Runtime Verification

Runtime Verification for Algorithmic Fairness

Talking about the Future: Predicting Stream Values for Runtime Monitoring

From Passive to Active: Scheduled Monitoring in RTLola

Eviction Strategies for Parameterized Streams in RTLola

From Passive to Active Monitoring: A Scheduling Approach with RTLola

Back to the Future: Extending RTLola with Future Offsets

Enabling APIs' for RTLola

From RTLola to SRTLola: A Block-Based Syntax for Stream-Based Specification Languages

Functional HDLs Meet Stream-Based Monitoring: Hardware Monitors from RTLola Using Clash