Runtime Verification 2026

Speaker

Bernd Finkbeiner

Talks at this conference:
 Tue, 10:30 Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring ! Live
 Tue, 12:00 Extending RTLola with External Data Queries ! Live
 Wed, 14:30 FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness ! Live
 Fri, 11:30 Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola ! Live

 Overview

Sponsored by:

Formal Methods Europe