| 2020 | A Benchmark Generator for Online First-Order Monitoring. Srdan Krstic, Joshua Schneider |
| 2020 | A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. Agnishom Chattopadhyay, Konstantinos Mamouras |
| 2020 | Actor-Based Runtime Verification with MESA. Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz |
| 2020 | Analysing the Performance of Python-Based Web Services with the VyPR Framework. Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer |
| 2020 | Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. Yanhong A. Liu, Scott D. Stoller |
| 2020 | Automatic Optimizations for Stream-Based Monitoring Languages. Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |
| 2020 | BDDs for Representing Data in Runtime Verification. Klaus Havelund, Doron Peled |
| 2020 | BISM: Bytecode-Level Instrumentation for Software Monitoring. Chukri Soueidi, Ali Kassem, Yliès Falcone |
| 2020 | Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
| 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 | Empirical Abstraction. Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson |
| 2020 | From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. Manfred Jaeger, Kim G. Larsen, Alessandro Tibo |
| 2020 | Logical Signal Processing: A Fourier Analysis of Temporal Logic. Niraj Basnet, Houssam Abbas |
| 2020 | Monitorability Under Assumptions. Thomas A. Henzinger, N. Ege Saraç |
| 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 | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2020 | PatrIoT: Policy Assisted Resilient Programmable IoT System. Moosa Yahyazadeh, Syed Rafiul Hussain, Md. Endadul Hoque, Omar Chowdhury |
| 2020 | Placement of Runtime Checks to Counteract Fault Injections. Benedikt Maderbacher, Anja F. Karl, Roderick Bloem |
| 2020 | Property-Directed Verified Monitoring of Signal Temporal Logic. Thomas Wright, Ian Stark |
| 2020 | Runtime Verification - 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings Jyotirmoy Deshmukh, Dejan Nickovic |
| 2020 | Runtime Verification of Autonomous Driving Systems in CARLA. Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
| 2020 | Runtime-Safety-Guided Policy Repair. Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li |
| 2020 | SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System. Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia |
| 2020 | Scalable Online Monitoring of Distributed Systems. David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider |
| 2020 | SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. Andrej Cizmárik, Pavel Parízek |
| 2020 | TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos |
| 2020 | Test4Enforcers: Test Case Generation for Software Enforcers. Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
| 2020 | Unifying the Time-Event Spectrum for Stream Runtime Verification. Felipe Gorostiaga, Luis Miguel Danielsson, César Sánchez |
| 2020 | Verified Rust Monitors for Lola Specifications. Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |