Program

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 🌮