Index
Keynote
-
Designing Assured AI-Based Autonomy: A Runtime Verification Perspective
-
Who Watches the Agents? Runtime Verification for Agentic AI Safety
-
From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy
-
Towards Private Runtime Verification: Foundations of Privacy-Preserving Automated Reasoning
-
Regular Paper
-
Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning
A. Brorholt, M. Galesloot, N. Jansen, K. Guldstrand Larsen, C. Schilling
-
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
-
DejaVuGuard: Runtime Verification of LLM Conversations
I. Cohen, K. Havelund, M. Omer, D. Peled
-
DSRV: Reconfigurable Stream Runtime Verification With Context Transfers
M. Kristensen, T. Wright, M. Frasheri, C. Gomes, P. Larsen, L. Esterle
-
From ODD to Runtime Monitors: ODD-Based Scenario Generation and Coverage Assessment
-
GoCCT — a common platform for controlled concurrency testing in Go
-
Knowledge-driven Stream Monitor Synthesis
Å. Kløvstad, R. Sieve, A. Pferscher, E. Kamburjan, E. Johnsen, M. Leucker
-
Logical Compression: Source Coding for Distributed Temporal Logic Monitoring
-
Modelling and Analysis under Uncertainty in STARK
-
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
-
Monitoring Hyperproperties over Observed and Constructed Traces
-
Monitoring LLM Conversations with First-Order Temporal Logic
-
Monitoring under uncertainty with DisTL
-
mstlo: An Online STL Monitoring Library for Rust and Python
A. Thomsen, N. Madsen, V. Evans, T. Wright, L. Esterle, P. Larsen
-
Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp
-
T. Tracy II, Y. Seneviratne, K. Nandagopal, B. Bingham, D. Chinnasame Rani, M. Dwyer, K. Skadron
-
Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates
-
Runtime Compliance Verification for AI Agents
-
Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock
-
Shielding for Higher-Order Safety
-
Synchronous Observers Revisited for Runtime Verification of Lustre Using STL
-
Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola
F. Scheerer, J. Baumeister, B. Finkbeiner, E. Müller, J. Tillman
Short Paper
-
Defense-in-Depth Runtime Safety in Move
V. Gao, W. Grieskamp, V. Kashyap, G. Mitenkov, T. Zhang, R. Zhou, A. Cappa, M. Ilardi
-
Extending RTLola with External Data Queries
-
Predictive Runtime Verification for Clinical Event Monitoring
-
Quantitative Refinement of Objectives: Runtime Consultants and Path Planning
-
Scenario-Based Compositional Statistical Model Checking for Safety Specifications
A. Pomalapally, A. Raeesi, K. Chang, B. Yalcinkaya, S. Seshia
Tool Paper
-
FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness
F. Scheerer, J. Baumeister, B. Finkbeiner, V. Krsmanovic, J. Siber, T. Wagenpfeil
-
mstlo: Efficient Online Monitoring of Signal Temporal Logic
A. Thomsen, N. Madsen, V. Evans, T. Wright, L. Esterle, P. Larsen
