| 2023 | Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. | Chukri Soueidi, Ylis Falcone |
| 2023 | Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. | Chukri Soueidi, Ylis Falcone |
| 2023 | A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. | Paloma Pedregal, Felipe Gorostiaga, Csar Snchez |
| 2023 | Assumption Generation for Learning-Enabled Autonomous Systems. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
| 2023 | Runtime Verification Prediction for Traces with Data. | Moran Omer, Doron Peled |
| 2023 | Safety Monitoring for Pedestrian Detection in Adverse Conditions. | Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh |
| 2023 | Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. | Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas |
| 2023 | General Anticipatory Monitoring for Temporal Logics on Finite Traces. | Hannes Kallwies, Martin Leucker, Csar Snchez |
| 2023 | Monitoring Blackbox Implementations of Multiparty Session Protocols. | Bas van den Heuvel, Jorge A. Prez, Rares A. Dobre |
| 2023 | Monitoring Algorithmic Fairness Under Partial Observations. | Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik |
| 2023 | Monitorability for Runtime Verification. | Klaus Havelund, Doron Peled |
| 2023 | Metric First-Order Temporal Logic with Complex Data Types. | Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider |
| 2023 | Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). | Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan |
| 2023 | Monitoring Hyperproperties with Prefix Transducers. | Marek Chalupa, Thomas A. Henzinger |
| 2023 | Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2023 | Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
| 2023 | AMT: A Runtime Verification Tool of Video Streams. | Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard |
| 2023 | Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. | Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma |
| 2023 | Flexible Runtime Security Enforcement with Tagged C. | Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach |
| 2023 | Pattern Matching for Perception Streams. | Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov |
| 2023 | Mining Specification Parameters for Multi-class Classification. | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
| 2022 | Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu |
| 2022 | Runtime Verification for FMI-Based Co-simulation. | Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |
| 2022 | Towards Specificationless Monitoring of Provenance-Emitting Systems. | Martin Stoffers, Alexander Weinert |
| 2022 | Randomized First-Order Monitoring with Hashing. | Joshua Schneider |