• 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