Runtime Verification 2026

Rose Innovation Hub

Rooms

The majority of the conference will take place in the Rose Innovation Hub in Mitchell Hall, located in the south-east corner of Mitchell Hall, across the parking lot from the corner of Union St. and Division St.

Mitchell Hall Outdoor View

Talks in this room:

Tuesday

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

Wednesday

8:00 Live	Coffee and Registration
9:00 Live	Tutorial: the Stark tool V. Castiglioni, S. Tini
10:00 Live	Coffee Break
10:30 Live	Scenario-Based Compositional Statistical Model Checking for Safety Specifications A. Pomalapally, A. Raeesi, K. Chang, B. Yalcinkaya, S. Seshia
10: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:20 Live	Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp E. Ghisellini, P. Garoche
11: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:10 Live	Test of Time Winner and RV 2027 Announcement S. Kauffman
12:20 Live	Lunch
13:30 Live	mstlo: Efficient Online Monitoring of Signal Temporal Logic A. Thomsen, N. Madsen, V. Evans, T. Wright, L. Esterle, P. Larsen
13:50 Live	GoCDR: Making Go concurrency bugs reproducible E. Kassubek, M. Sulzmann
14:10 Live	tidySTL: Exposing Implicit Semantics in STL Evaluation S. Sato, M. Waga
14:30 Live	FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness F. Scheerer, J. Baumeister, B. Finkbeiner, V. Krsmanovic, J. Siber, T. Wagenpfeil
15:00 Live	Coffee Break
15:30 Live	From Runtime Verification to Runtime Assurance: Architectural Patterns for Learning-Enabled Autonomy M. Castillo-Effen

Thursday

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

Friday

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

Sponsored by:

Formal Methods Europe