| 2025 | Runtime Verification - 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings Erika Ábrahám, Houssam Abbas |
| 2024 | A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop |
| 2024 | Adding State to Stream Runtime Verification. Manuel Caldeira, Hannes Kallwies, Martin Leucker, Daniel Thoma |
| 2024 | Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç |
| 2024 | Box-Based Monitor Approach for Out-of-Distribution Detection in YOLO: An Exploratory Study. Weicheng He, Changshun Wu, Saddek Bensalem |
| 2024 | Case Study: Runtime Safety Verification of Neural Network Controlled System. Frank Yang, Simon Sinong Zhan, Yixuan Wang, Chao Huang, Qi Zhu |
| 2024 | Distributed Monitoring of Timed Properties. Léo Henry, Thierry Jéron, Nicolas Markey, Victor Roussanaly |
| 2024 | Dynamic, Multi-objective Specification and Falsification of Autonomous CPS. Kevin Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2024 | Efficient Offline Monitoring for Dynamic Metric Temporal Logic. Konstantinos Mamouras |
| 2024 | Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces. Vahid Hashemi, Jan Kretínský, Sabine Rieder, Torsten Schön, Jan Vorhoff |
| 2024 | HyperPart-X: Probabilistic Guarantees for Parameter Mining of Signal Temporal Logic Formulas in Cyber-Physical Systems. Tanmay Khandait, Giulia Pedrielli |
| 2024 | Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga |
| 2024 | RTLolaMo Jan Baumeister, Bernd Finkbeiner, Jan Kautenburger, Clara Rubeck |
| 2024 | Sampling-Based and Gradient-Based Efficient Scenario Generation. Vidisha Kudalkar, Navid Hashemi, Shilpa Mukhopadhyay, Swapnil Mallick, Christof J. Budnik, Parinitha Nagaraja, Jyotirmoy V. Deshmukh |
| 2024 | Stream-Based Monitoring Under Measurement Noise. Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger |
| 2024 | The Complexity of Data-Free Nfer. Sean Kauffman, Kim Guldstrand Larsen, Martin Zimmermann |
| 2024 | TimelyMon: A Streaming Parallel First-Order Monitor. Lennard Reese, Rafael Castro Gonçalves Silva, Dmitriy Traytel |
| 2024 | Towards Efficient Runtime Verified Linearizable Algorithms. Gilde Valeria Rodríguez, Armando Castañeda |
| 2024 | faRM-LTL: A Domain-Specific Architecture for Flexible and Accelerated Runtime Monitoring of LTL Properties. Amrutha Benny, Sandeep Chandran, Rajshekar Kalayappan, Ramchandra Phawade, Piyush P. Kurur |