| 2020 | Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. | Nikolai Kosmatov, Fonenantsoa Maurica, Julien Signoles |
| 2020 | From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. | Manfred Jaeger, Kim G. Larsen, Alessandro Tibo |
| 2020 | Empirical Abstraction. | Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson |
| 2020 | Monitorability Under Assumptions. | Thomas A. Henzinger, N. Ege Sara |
| 2020 | BDDs for Representing Data in Runtime Verification. | Klaus Havelund, Doron Peled |
| 2020 | Test4Enforcers: Test Case Generation for Software Enforcers. | Michell Guzmn, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani |
| 2020 | Unifying the Time-Event Spectrum for Stream Runtime Verification. | Felipe Gorostiaga, Luis Miguel Danielsson, Csar Snchez |
| 2020 | Verified Rust Monitors for Lola Specifications. | Bernd Finkbeiner, Stefan Oswald, Noemi Passing, Maximilian Schwenger |
| 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 | TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. | Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos |
| 2020 | SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. | Andrej Cizmrik, Pavel Parzek |
| 2020 | A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. | Agnishom Chattopadhyay, Konstantinos Mamouras |
| 2020 | Automatic Optimizations for Stream-Based Monitoring Languages. | Jan Baumeister, Bernd Finkbeiner, Matthis Kruse, Maximilian Schwenger |
| 2020 | Logical Signal Processing: A Fourier Analysis of Temporal Logic. | Niraj Basnet, Houssam Abbas |
| 2020 | Scalable Online Monitoring of Distributed Systems. | David A. Basin, Matthieu Gras, Srdan Krstic, Joshua Schneider |
| 2020 | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2019 | Overhead-Aware Deployment of Runtime Monitors. | Teng Zhang, Greg Eakman, Insup Lee, Oleg Sokolsky |
| 2019 | Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs. | Hansol Yoon, Yi Chou, Xin Chen, Eric W. Frew, Sriram Sankaranarayanan |
| 2019 | AllenRV: An Extensible Monitor for Multiple Complex Specifications with High Reactivity. | Nic Volanschi, Bernard P. Serpette |
| 2019 | Reactive Control Meets Runtime Verification: A Case Study of Navigation. | Dogan Ulus, Calin Belta |
| 2019 | Timescales: A Benchmark Generator for MTL Monitoring Tools. | Dogan Ulus |
| 2019 | Stream-Based Monitors for Real-Time Properties. | Hazem Torfah |
| 2019 | Efficient Detection and Quantification of Timing Leaks with Neural Networks. | Saeid Tizpaz-Niari, Pavol Cern, Sriram Sankaranarayanan, Ashutosh Trivedi |
| 2019 | Introspective Environment Modeling. | Sanjit A. Seshia |
| 2019 | Shape Expressions for Specifying and Extracting Signal Features. | Dejan Nickovic, Xin Qin, Thomas Ferrre, Cristinel Mateis, Jyotirmoy V. Deshmukh |