| 2021 | A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. | Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang |
| 2021 | Into the Unknown: Active Monitoring of Neural Networks. | Anna Lukina, Christian Schilling, Thomas A. Henzinger |
| 2021 | Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. | Vahid Hashemi, Jan Kretnsk, Stefanie Mohr, Emmanouil Seferis |
| 2021 | Nested Monitors: Monitors as Expressions to Build Monitors. | Felipe Gorostiaga, Csar Snchez |
| 2021 | Ortac: Runtime Assertion Checking for OCaml (Tool Paper). | Jean-Christophe Fillitre, Clment Pascutto |
| 2021 | Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. | Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic |
| 2021 | Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. | Joshua Heneage Dawes, Domenico Bianculli |
| 2021 | Monitoring with Verified Guarantees. | Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer |
| 2021 | Assumption-Based Runtime Verification of Infinite-State Systems. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2021 | Neural Predictive Monitoring Under Partial Observability. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2021 | PerceMon: Online Monitoring for Perception Systems. | Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos |
| 2021 | On the Specification and Monitoring of Timed Normative Systems. | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider |
| 2020 | Runtime-Safety-Guided Policy Repair. | Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li |
| 2020 | Runtime Verification of Autonomous Driving Systems in CARLA. | Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
| 2020 | PatrIoT: Policy Assisted Resilient Programmable IoT System. | Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury |
| 2020 | Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring. | Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang, Qi Zhu |
| 2020 | Property-Directed Verified Monitoring of Signal Temporal Logic. | Thomas Wright, Ian Stark |
| 2020 | BISM: Bytecode-Level Instrumentation for Software Monitoring. | Chukri Soueidi, Ali Kassem, Ylis Falcone |
| 2020 | SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. | Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
| 2020 | Actor-Based Runtime Verification with MESA. | Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
| 2020 | Monitoring Cyber-Physical Systems: From Design to Integration. | Maximilian Schwenger |
| 2020 | Monitoring Spatio-Temporal Properties (Invited Tutorial). | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
| 2020 | Placement of Runtime Checks to Counteract Fault Injections. | Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
| 2020 | Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. | Yanhong A. Liu, Scott D. Stoller |
| 2020 | A Benchmark Generator for Online First-Order Monitoring. | Srdan Krstic, Joshua Schneider |