| 2021 | A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2021 | A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand |
| 2021 | Assumption-Based Runtime Verification of Infinite-State Systems. Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2021 | Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic |
| 2021 | Differential Monitoring. Fabian Muehlboeck, Thomas A. Henzinger |
| 2021 | Efficient Black-Box Checking via Model Checking with Strengthened Specifications. Junya Shijubo, Masaki Waga, Kohei Suenaga |
| 2021 | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. Vahid Hashemi, Jan Kretínský, Stefanie Mohr, Emmanouil Seferis |
| 2021 | Into the Unknown: Active Monitoring of Neural Networks. Anna Lukina, Christian Schilling, Thomas A. Henzinger |
| 2021 | Monitoring with Verified Guarantees. Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
| 2021 | Nested Monitors: Monitors as Expressions to Build Monitors. Felipe Gorostiaga, César Sánchez |
| 2021 | Neural Predictive Monitoring Under Partial Observability. Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2021 | On the Specification and Monitoring of Timed Normative Systems. Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2021 | Ortac: Runtime Assertion Checking for OCaml (Tool Paper). Jean-Christophe Filliâtre, Clément Pascutto |
| 2021 | Parallel and Multi-objective Falsification with Scenic and VerifAI. Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | PerceMon: Online Monitoring for Perception Systems. Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2021 | Predicate Monitoring in Distributed Cyber-Physical Systems. Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |
| 2021 | Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings Lu Feng, Dana Fisman |
| 2021 | Specification and Runtime Verification of Temporal Assessments in Simulink. Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti |
| 2021 | Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. Joshua Heneage Dawes, Domenico Bianculli |