Program
Format (Online/Pre-Recorded)
The invited talks, the tutorial and the test of time award presentation will be given live. Accepted papers have pre-recorded 20 minute videos (click on the details link beside each paper title). During the conference, each paper will be presented live in a 5 minute presentation followed by a 5 minute Q&A. Please watch the 20 minute videos in advance. You can also comment and ask questions on each paper's page.Registration Link
https://us02web.zoom.us/j/81208298068?pwd=dFZYNnlQUGdBZjlsbm9qRDJCeURDUT09Proceedings Link
https://link.springer.com/book/10.1007/978-3-030-88494-9Times are given in Pacific Daylight Time (PDT).
| Day 1: October 11 | |
| 7:00-7:10AM | Opening Remarks |
| Session 1: Keynote Talk, Chair: Jyotirmoy Deshmukh | |
| 7:10-8:10AM | Bringing Runtime Verification to the Masses [details] Invited Speaker: Holger Hermanns |
| 8:10-8:20AM | Break |
| Session 2: Specifications and Temporal Logics in RV, Chair: Klaus Havelund | |
| 8:20-8:30AM | A Compositional Framework for Quantitative Online Monitoring over Continuous-time Signals [details] Konstantinos Mamouras, Agnishom Chattopadhyay and Zhifu Wang |
| 8:30-8:40AM | On the Interpretation and Monitoring of Timed Deontic Logics [details]
Shaun Azzopardi, Gordon Pace, Fernando Schapachnik and Gerardo Schneider |
| 8:40-8:50AM | Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs [details]
Joshua Dawes and Domenico Bianculli |
| 8:50-9:00AM | Nested Monitors: Monitors as Expressions to Build Monitors [details]
Felipe Gorostiaga and Cesar Sanchez |
| 9:00-9:10AM | Break |
| Session 3: Tool/Demo/Short Papers, Chair: Nicola Paoletti | |
| 9:10-9:20AM | PerceMon: Online Monitoring for Perception Systems [details]
Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi and Georgios Fainekos |
| 9:20-9:30AM | Gaussian-based runtime detection of out-of-distribution inputs for neural networks [details]
Vahid Hashemi, Jan Kretinsky, Stefanie Mohr and Emmanouil Seferis |
| 9:30-9:40AM | Parallel and Multi-Objective Falsification with Scenic and VerifAI [details]
Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont and Sanjit A. Seshia |
| Day 2: October 12 | |
| Session 4: Keynote Talk, Chair: Dana Fisman | |
| 7:00-8:00AM | On the (Approximate) Analysis of Stochastic Real-Time Systems [details] Invited Speaker: Patricia Bouyer-Decitre |
| 8:00-8:10AM | Break |
| Session 5: RV for Distributed and Infinite-State Systems, Chair: Axel Legay | |
| 8:10-8:20AM | Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs [details]
Vimuth Fernando, Keyur Joshi, Jacob Laurel and Sasa Misailovic |
| 8:20-8:30AM | Predicate Monitoring in Distributed Cyber-physical Systems [details]
Anik Momtaz, Niraj Basnet, Houssam Abbas and Borzoo Bonakdarpour |
| 8:30-8:40AM | Assumption-Based Runtime Verification of Infinite-State Systems [details]
Alessandro Cimatti, Chun Tian and Stefano Tonetta |
| 8:40-8:50AM | Break |
| Session 6: Tool/Demo/Short Papers, Chair: Houssam Abbas | |
| 8:50-9:00AM | Ortac: Runtime Assertion Checking for OCaml [details]
Jean-Christophe Filliâtre and Clément Pascutto |
| 9:00-9:10AM | Differential Monitoring [details]
Fabian Muehlboeck and Thomas A. Henzinger |
| 9:10-9:20AM | A Theoretical Framework for Understanding the Relationship between Log Parsing and Anomaly Detection [details]
Donghwan Shin, Zanis Ali Khan, Domenico Bianculli and Lionel Briand |
| 9:20-9:30AM | Specification and Runtime Verification of Temporal Assessments in Simulink [details]
Akshay Rajhans, Anastasia Mavrommati, Pieter Mosterman and Roberto Valenti |
| Day 3: October 13 | |
| Session 7: Keynote Talk, Chair: Lu Feng | |
| 7:00-8:00AM | Neural Circuit Policies [details] Invited Speaker: Radu Grosu |
| 8:00-8:10AM | Break |
| Session 8: Applications of/for RV, Chair: Laura Nenzi | |
| 8:10-8:20AM | Monitoring with Verified Guarantees [details]
Johann C. Dauer, Bernd Finkbeiner and Sebastian Schirmer |
| 8:20-8:30AM | Into the Unknown: Active Monitoring of Neural Networks [details]
Anna Lukina, Christian Schilling and Thomas Henzinger |
| 8:30-8:40AM | Efficient Black-Box Checking via Model Checking with Strengthened Specifications [details]
Junya Shijubo, Masaki Waga and Kohei Suenaga |
| 8:40-8:50AM | Neural Predictive Monitoring under Partial Observability [details]
Francesca Cairoli, Luca Bortolussi and Nicola Paoletti |
| Session 9: Social Hour | |
| 8:50-9:50AM | Social Hour: Gather Town Link (best supported in Chrome and Firefox) |
| Day 4: October 14 | |
| Session 10: Tutorial, Chair: Ničković Dejan | |
| 7:00-8:30AM | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance [details]
Hazem Torfah, Sebastian Junges, Daniel Fremont and Sanjit A. Seshia |
| 8:30-8:40AM | Break |
| Session 11: Best Paper and Test of Time Awards, Chair: Bernd Finkbeiner | |
| 8:40-8:50AM | Best Paper and Test of Time Award Annoucement |
| 8:50-9:50AM | Test of Time Award Presentation: Parametric Identification of Temporal Properties (RV 2011) [details]
Eugene Asarin, Alexandre Donzé, Oded Maler, and Dejan Nickovic |
| 9:50-10:00AM | Break |
| Session 12: Business Meeting | |
| 10:00-10:50AM | Business Meeting |
| 10:50-11:00AM | Closing Remarks |