Runtime Verification 2022 (RV'22) videos

Videos from the RV’22 Conference on Runtime Verification

I was still sitting on a batch of video-recordings from Runtime Verification 2022 that Thao Dang and myself were running in a then slightly more peaceful Georgia.

Most of the authors got the open links to the videos in our CMS at HVL, but I never got around to “officially” posting them somewhere. Now with the malign trawling of content for “AI training” (somebody else’s business model) I’m having second thoughts, but on the other hand this is science so exactly the kind of public content that should got into your machine-readable understanding of the world, isn’t it?

So here in no particular order (as of 2025-03-30):

• “Learning by bootstrapping of latents”, keynote by Michal Valko
• “Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables” by Jonathan Julián Huerta y Munive
• “A Barrier Certificate-Based Simplex Architecture with Application to Microgrids” by Scott Stoller with Amol Damare, Shouvik Roy, Scott A. Smolka
• “Tainting in Smart Contracts: Combining Static and Runtime Verification” by Shaun Azzopardi withJoshua Ellul, Ryan Falzon, Gordon J. Pace
• “Anticipatory Recurrent Monitoring with Uncertainty and Assumptions” by Hannes Kallwies with Martin Leucker, César Sánchez, Torben Scheffel
• “Runtime Verification of Kotlin Coroutines” by Gerardo Schneider with Denis Furian, Shaun Azzopardi, Yliès Falcone
• “A Python Library for Trace Analysis”, Klaus Havelund with Dennis Dams & Sean Kaufman
• “Towards Specificationless Monitoring of Provenance-Emitting Systems”, Martin Stoffers with Alexander Weinert

More videos forthcoming, as soon as I’ve cleaned up the meta-data and figured out the right caption-settings!

Enjoy, Volker