The abstracts for the invited talks can be found on here.
For the tutorial abstracts please refer to this site.
When there is no link to the slides provided you can ask the authors via email.
The conference proceedings are available on SpringerLink via the following URL: https://link.springer.com/book/10.1007/978-3-030-03769-7
Saturday, November 10th
09:00-10:30 | Session 1A – Chair: Grigore Rosu – Room: Olympus |
09:00 | Klaus Havelund and Doron Peled Runtime Verification – From Propositional to First-Order Temporal Logic PPTX |
09:00-10:30 | Session 1B – Chair: Dejan Nickovic – Room: Athina |
09:00 | Ezio Bartocci Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) |
10:30-11:00 | Coffee Break ☕️ |
11:00-12:30 | Session 2A – Chair: Sylvain Hallé – Room: Olympus |
11:00 | Cesar Sanchez Online and Offline Stream Runtime Verification of Synchronous Systems PDF |
11:00-12:30 | Session 2B – Chair: Wolfgang Ahrendt – Room: Athina |
11:00 | Antoine El-Hokayem and Ylies Falcone Can We Monitor All Multithreaded Programs? PDF |
12:30-14:00 | Lunch Break 🌮 |
14:00-15:30 | Session 3 – Chair: Gerardo Schneider – Room: Olympus |
14:00 | Gordon Pace, Shaun Azzopardi and Joshua Ellul Monitoring Smart Contracts: CONTRACTLARVA and Open Challenges Beyond PDF |
15:30-16:00 | Coffee Break ☕️ |
16:00-17:30 | Session 4 – Chair: Martin Sachenbacher – Room: Olympus |
16:00 | Lukas Convent, Sebastian Hungerecker, Torben Scheffel, Malte Schmitz, Daniel Thoma and Alexander Weiss Hardware-based Runtime Verification with Embedded Tracing Units and Stream Processing PDF |
19:00-21:00 | Welcome drinks |
Sunday, November 11th
09:00-10:30 | Session 5 – Chair: Martin Leucker – Room: Olympus |
09:00 | Rajeev Alur Programming Abstractions for Data Stream Processing Systems PPTX |
10:00 | Giles Reger and David Rydeheard From Parametric Trace Slicing to Rule Systems |
10:30-11:00 | Coffee Break ☕️ |
11:00-12:30 | Session 6 – Chair: Giles Reger – Room: Olympus |
11:00 | Garvita Allabadi, Aritra Dhar, Ambreen Bashir and Rahul Purandare METIS: Resource- and Context-Aware Monitoring of Finite State Properties |
11:30 | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy Deshmukh, Alberto Sangiovanni-Vincentelli and Sanjit Seshia Time Series Learning using Monotonic Logical Properties |
12:00 | Antoine El-Hokayem and Yliès Falcone Bringing Runtime Verification Home |
12:30-14:00 | Lunch Break 🌮 |
14:00-15:30 | Session 7 – Chair: Oleg Sokolsky – Room: Olympus |
14:00 | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang and Shinichi Shiraishi Property-Driven Runtime Resolution of Feature Interactions |
14:30 | Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover and Elisa Gonzalez Boix Practical Information Flow Control for Web Applications |
15:00 | Adel Dokhanchi, Heni Ben Amor, Jyotirmoy Deshmukh and Georgios Fainekos Evaluating Perception Systems for Autonomous Vehicles using Quality Temporal Logic |
15:30-16:00 | Coffee Break ☕️ |
16:00-17:00 | Session 8 – Chair: Cesar Sanchez – Room: Olympus |
16:00 | Jianwen Li and Kristin Y. Rozier MLTL Benchmark Generation via Formula Progression |
16:30 | Patricia Bouyer, Samy Jaziri and Nicolas Markey Efficient timed diagnosis using automata with timed domains |
Monday, November 12th
09:00-10:30 | Session 9 – Chair: Dejan Nickovic – Room: Olympus |
09:00 | Frits Vaandrager Finding Software Bugs Using Active Automata Learning PDF |
10:00 | Maximilian Alexander Köhl, Holger Hermanns and Sebastian Biewer Efficient Monitoring of Real Driving Emissions |
10:30-11:00 | Coffee Break ☕️ |
11:00-12:30 | Session 10 – Chair: Christian Colombo – Room: Olympus |
11:00 | Angelo Ferrando, Louise A. Dennis, Davide Ancona, Michael Fisher and Viviana Mascardi Verifying and Validating Autonomous Systems: an Integrated Approach |
11:30 | Reza Babaee, Arie Gurfinkel and Sebastian Fischmeister Predictive Run-time Verification of Discrete-Time Reachability Properties in Black-box Systems using Trace-Level Abstraction and Statistical Learning |
12:00 | Joshua Schneider, David Basin, Frederik Brix, Srdjan Krstic and Dmitriy Traytel Scalable Online First-Order Monitoring |
12:30-14:00 | Lunch Break 🌮 |
14:00-15:30 | Session 11 – Chair: Volker Stolz – Room: Olympus |
14:00 | Ansem Ben Cheikh, Yoann Blein, Salim Chehida, German Vega, Yves Ledru and Lydie Du Bousquet An environment for the ParTraP trace property language |
14:20 | Jasmin Jahic, Matthias Jung, Thomas Kuhn and Norbert Wehn A Framework for Non-Intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuratione |
14:40 | Sylvain Hallé and Raphael Khoury Writing Domain-Specific Languages for BeepBeep |
15:00 | RV Benchmark Challenge |
15:30-16:00 | Coffee Break ☕️ |
16:00-17:00 | Session 12 – Chair: Gerardo Schneider – Room: Olympus |
16:00 | Saddek Bensalem and Dejan Nickovic In Memory of Oded Maler |
16:15 | Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, Cesar Sanchez, Gerardo Schneider and Volker Stolz COST Action IC1402: Runtime Verification beyond Monitoring |
16:30 | Klaus Havelund and Grigore Rosu Runtime Verification – 17 Years Later |
17:30-22:00 | Session Excursion and dinner |
Tuesday, November 13th
09:00-10:30 | Session 13 – Chair: Julien Signoles – Room: Olympus |
09:00 | Jim Kapinski The Future of Runtime Verification for Cyber-Physical Systems Development PDF |
10:00 | Ylies Falcone, Hosein Nazarpour, Mohamad Jaber, Marius Bozga and Saddek Bensalem Tracing Distributed Component-Based Systems |
10:30-11:00 | Coffee Break ☕️ |
11:00-12:30 | Session 14 – Chair: Wolfgang Ahrendt – Room: Olympus |
11:00 | Felipe Gorostiaga and Cesar Sanchez Striver: Stream Runtime Verification for Real-Time Signals and Event-Streams |
11:30 | Ylies Falcone, Srđan Krstić, Giles Reger and Dmitriy Traytel A Taxonomy for Classifying Runtime Verification Tools |
12:30-14:00 | Lunch Break 🌮 |