Program

	Tuesday	Wednesday	Thursday	Friday
9:00-10:00	Keynote: Hazem Torfah	Tutorial: Stark	Keynote: Joseph Tassarotti	Keynote: Ruzica Piskac
10:00-10:30	Coffee	Coffee	Coffee	Coffee
10:30-12:20	Session 1: Stream RV	Session 4: Static to Runtime	Session 6: RV for AI	Session 7: Quantitative and Predictive
12:20-13:30	Lunch	Lunch	Lunch	Lunch
13:30-15:00	Session 2: Distributed Monitoring	Session 5: Tool papers	Tools showcase / Test of Time	Session 8: Monitoring
15:00-15:30	Coffee	Coffee	Coffee	Coffee
15:30-17:00	Session 3: Shielding and Benchmark	Keynote: Mauricio Castillo-Effen	Social Outing

#I0		Rose Innovation Hub		University Club

8:00	Live Coffee and Registration
:10
:20
:30	Live Opening Remarks K. Deluzio, S. Kauffman, G. Pedrielli
:40
:50
9:00	Live Designing Assured AI-Based Autonomy: A Runtime Verification Perspective H. Torfah
:10
:20
:30
:40
:50
10:00	Live Coffee Break
:10
:20
:30	Live Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring B. Finkbeiner, M. Fränzle, F. Kohn, P. Kröger
:40
:50
11:00	Live DSRV: Reconfigurable Stream Runtime Verification With Context Transfers M. Kristensen, T. Wright, M. Frasheri, C. Gomes, P. Larsen, L. Esterle
:10
:20
:30	Live Knowledge-driven Stream Monitor Synthesis Å. Kløvstad, R. Sieve, A. Pferscher, E. Kamburjan, E. Johnsen, M. Leucker
:40
:50
12:00	Live Extending RTLola with External Data Queries F. Scheerer, B. Finkbeiner, S. Schirmer, J. Hirschler
:10
:20	Live Lunch
:30
:40
:50
13:00
:10
:20
:30	Live Runtime Monitoring of Distributed Cyber-Physical Systems Without a Global Clock C. Koll, H. Abbas
:40
:50
14:00	Live Logical Compression: Source Coding for Distributed Temporal Logic Monitoring V. Evans, D. Lucani, H. Cheng, T. Wright, C. Gomes
:10
:20
:30	Live Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic L. Bakiri, J. Dubut, S. Mover
:40
:50
15:00	Live Coffee Break
:10
:20
:30	Live Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning A. Brorholt, M. Galesloot, N. Jansen, K. Guldstrand Larsen, C. Schilling
:40
:50
16:00	Live Shielding for Higher-Order Safety F. Cano, T. Henzinger, K. Kueffner
:10
:20
:30	Live A Benchmarking Infrastructure for Offline Monitors S. Hallé
:40
:50
17:00		Live Welcome Reception
:10
:20
:30
:40
:50
18:00
:10
:20
:30
:40
:50

#I0		Rose Innovation Hub

8:00		Live Coffee and Registration
:10
:20
:30
:40
:50
9:00		Live Tutorial: the Stark tool V. Castiglioni, S. Tini
:10
:20
:30
:40
:50
10:00		Live Coffee Break
:10
:20
:30		Live Scenario-Based Compositional Statistical Model Checking for Safety Specifications A. Pomalapally, A. Raeesi, K. Chang, B. Yalcinkaya, S. Seshia
:40
:50		Live Periscope: Extending the Scope of Pre-Silicon Assertion-Based Verification with Runtime Monitor Feedback T. Tracy II, Y. Seneviratne, K. Nandagopal, B. Bingham, D. Chinnasame Rani, M. Dwyer, K. Skadron
11:00
:10
:20		Live Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp E. Ghisellini, P. Garoche
:30
:40
:50		Live Defense-in-Depth Runtime Safety in Move V. Gao, W. Grieskamp, V. Kashyap, G. Mitenkov, T. Zhang, R. Zhou, A. Cappa, M. Ilardi
12:00
:10		Live Test of Time Winner and RV 2027 Announcement S. Kauffman
:20		Live Lunch
:30
:40
:50
13:00
:10
:20
:30		Live mstlo: Efficient Online Monitoring of Signal Temporal Logic A. Thomsen, N. Madsen, V. Evans, T. Wright, L. Esterle, P. Larsen
:40
:50		Live GoCDR: Making Go concurrency bugs reproducible E. Kassubek, M. Sulzmann
14:00
:10		Live tidySTL: Exposing Implicit Semantics in STL Evaluation S. Sato, M. Waga
:20
:30		Live FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness F. Scheerer, J. Baumeister, B. Finkbeiner, V. Krsmanovic, J. Siber, T. Wagenpfeil
:40
:50
15:00		Live Coffee Break
:10
:20
:30		Live From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy M. Castillo-Effen
:40
:50
16:00
:10
:20

#I0		Rose Innovation Hub		Social Outing and Banquet

8:00	Live Coffee and Registration
:10
:20
:30
:40
:50
9:00	Live Who Watches the Agents? Runtime Verification for Agentic AI Safety J. Tassarotti
:10
:20
:30
:40
:50
10:00	Live Coffee Break
:10
:20
:30	Live Runtime Compliance Verification for AI Agents N. Kahani, M. Barati, D. Addae
:40
:50
11:00	Live Monitoring LLM Conversations with First-Order Temporal Logic I. Cohen, K. Havelund, M. Omer, D. Peled
:10
:20
:30	Live From ODD to Runtime Monitors: ODD-Based Scenario Generation and Coverage Assessment S. Brunner, M. Reif, S. Leue
:40
:50
12:00	Live Quantitative Refinement of Objectives: Runtime Consultants and Path Planning D. Fisman, E. Sudit
:10
:20	Live Lunch
:30
:40
:50
13:00
:10
:20
:30	Live Tools Showcase
:40
:50
14:00	Live Test of Time Award Session
:10
:20
:30
:40
:50
15:00	Live Coffee Break
:10
:20
:30		Live Special Collections Tour
:40
:50
16:00
:10
:20
:30		Live Kingston Trolley Tour
:40
:50
17:00
:10
:20
:30
:40
:50
18:00		Live Banquet
:10
:20
:30
:40
:50
19:00
:10
:20
:30
:40
:50
20:00
:10
:20
:30
:40
:50

#I0		Rose Innovation Hub

8:00		Live Coffee and Registration
:10
:20
:30
:40
:50
9:00		Live Towards Private Runtime Verification: Foundations of Privacy-Preserving Automated Reasoning R. Piskac
:10
:20
:30
:40
:50
10:00		Live Coffee Break
:10
:20
:30		Live Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates M. Amini, M. Raghothaman
:40
:50
11:00		Live STL-Witness: Signal Generation from STL Specifications D. Nickovic
:10
:20
:30		Live 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
:40
:50
12:00		Live Predictive Runtime Verification for Clinical Event Monitoring V. Lin, I. Lee
:10
:20		Live Lunch
:30
:40
:50
13:00
:10
:20
:30		Live Monitoring Hyperproperties over Observed and Constructed Traces M. Chalupa, T. Henzinger, A. Oliveira da Costa
:40
:50
14:00		Live Synchronous Observers Revisited for Runtime Verification of Lustre Using STL L. Kenwright, P. Roop, S. Chatterjee, N. Allen
:10
:20
:30		Live Monitoring under uncertainty with DisTL S. Betancourt, V. Castiglioni, S. Tini
:40
:50
15:00		Live Coffee Break
:10
:20

Caption

Keynote

Regular Paper

Short Paper

Tool Paper

Benchmarking Paper

Tutorial

Showcase

Break

Social

Runtime Verification 2026

Program

Caption

Sponsored by: