- Chukri Soueidi, Ali Kassem and Ylies Falcone. BISM: Bytecode-Level Instrumentation for Software Monitoring
- Nastaran Shafiei, Klaus Havelund and Peter Mehlitz. Actor-based Runtime Verification with MESA
- Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi and Simone Silvetti. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
- Bernd Finkbeiner, Stefan Oswald, Noemi Passing and Maximilian Schwenger. Verified Rust Monitors for Lola Specifications
- Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjorn Andersson, Mark Klein, John P. Lehoczky and Hyoseung Kim. Formal Verification of a Mixed-TrustSynchronization Protocol
- Agnishom Chattopadhyay and Konstantinos Mamouras. A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics
- Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay and Jimmie Lawson. Empirical Abstraction
- David Basin, Matthieu Gras, Srdjan Krstic and Joshua Schneider. Scalable Online Monitoring of Distributed Systems
- Felipe Gorostiaga, Luis Miguel Danielsson and Cesar Sanchez. Unifying the Time-Event Spectrum for Stream Runtime Verification
- Niraj Basnet and Houssam Abbas. Logical Signal Processing: A Fourier Analysis of Temporal Logic
- Weichao Zhou, Ruihan Gao, Eunsuk Kang, Baekgyu Kim and Wenchao Li. Runtime-Safety-Guided Policy Repair
- Moosa Yahyazadeh, Syed Rafiul Hussain, Endadul Hoque and Omar Chowdhury. PatrIoT: Policy Assisted Resilient Programmable IoT System
- Alessandro Tibo, Manfred Jaeger and Kim Larsen. From Statistical Model Checking to Run-Time Monitoring using a Bayesian Network Approach
- Benedikt Maderbacher, Anja F. Karl and Roderick Bloem. Placement of Runtime Checks to Counteract Fault Injections
- Srdjan Krstic and Joshua Schneider. A Benchmark Generator for Online First-Order Monitoring
- Sumukh Shivakumar, Hazem Torfah, Ankush Desai and Sanjit Seshia. SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
- Andrej Cizmarik and Pavel Parizek. SharpDetect: Dynamic Analysis Framework for C#/.NET Programs
- Jan Baumeister, Bernd Finkbeiner, Matthis Kruse and Maximilian Schwenger. Automatic Optimizations for Stream-based Specification Languages
- Nikolai Kosmatov, Fonenantsoa Maurica and Julien Signoles. Efficient Runtime Assertion Checking of Properties over Mathematical Numbers
- Michell Guzman, Oliviero Riganelli, Daniela Micucci and Leonardo Mariani. Test4Enforcers: Test Case Generation for Software Enforcers
- Shih-Lun Wu, Ching-Yuan Bai, Kai-Chieh Chang, Yi-Ting Hsieh, Chao Huang, Chung-Wei Lin, Eunsuk Kang and Qi Zhu. Efficient System Verification with Multiple Weakly-Hard Constraints for Runtime Monitoring
- Eleni Zapridou, Ezio Bartocci and Panagiotis Katsaros. Runtime Verification of Autonomous Driving Systems in CARLA
- Thomas Wright and Ian Stark. Property-Directed Verified Monitoring of Signal Temporal Logic
- Joseph Cralley, Ourania Spantidi, Bardh Hoxha and Georgios Fainekos. TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications