| 2019 | Runtime Verification for Timed Event Streams with Partial Information. | Martin Leucker, Csar Snchez, Torben Scheffel, Malte Schmitz, Daniel Thoma |
| 2019 | Monitorability over Unreliable Channels. | Sean Kauffman, Klaus Havelund, Sebastian Fischmeister |
| 2019 | A Retrospective Look at the Monitoring and Checking (MaC) Framework. | Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
| 2019 | An Extension of LTL with Rules and Its Application to Runtime Verification. | Klaus Havelund, Doron Peled |
| 2019 | Algorithms for Monitoring Hyperproperties. | Christopher Hahn |
| 2019 | FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation. | Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy |
| 2019 | On the Runtime Enforcement of Timed Properties. | Ylis Falcone, Srinivas Pinisetty |
| 2019 | Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo. | Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan |
| 2019 | Explaining Violations of Properties in Control-Flow Temporal Logic. | Joshua Heneage Dawes, Giles Reger |
| 2019 | Decentralized Stream Runtime Verification. | Luis Miguel Danielsson, Csar Snchez |
| 2019 | NuRV: A nuXmv Extension for Runtime Verification. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2019 | Assumption-Based Runtime Verification with Partial Observability and Resets. | Alessandro Cimatti, Chun Tian, Stefano Tonetta |
| 2019 | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
| 2019 | Accelerated Learning of Predictive Runtime Monitors for Rare Failure. | Reza Babaee, Vijay Ganesh, Sean Sedwards |
| 2019 | Comparing Controlled System Synthesis and Suppression Enforcement. | Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Inglfsdttir |
| 2019 | A Formally Verified Monitor for Metric First-Order Temporal Logic. | Joshua Schneider, David A. Basin, Srdan Krstic, Dmitriy Traytel |
| 2018 | Time-Series Learning Using Monotonic Logical Properties. | Marcell Vazquez-Chanlatte, Shromona Ghosh, Jyotirmoy V. Deshmukh, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
| 2018 | Scalable Online First-Order Monitoring. | Joshua Schneider, David A. Basin, Frederik Brix, Srdan Krstic, Dmitriy Traytel |
| 2018 | Online and Offline Stream Runtime Verification of Synchronous Systems. | Csar Snchez |
| 2018 | From Parametric Trace Slicing to Rule Systems. | Giles Reger, David E. Rydeheard |
| 2018 | Property-Driven Runtime Resolution of Feature Interactions. | Santhana Gopalan Raghavan, Kosuke Watanabe, Eunsuk Kang, Chung-Wei Lin, Zhihao Jiang, Shinichi Shiraishi |
| 2018 | Practical Information Flow Control for Web Applications. | Angel Luis Scull Pupo, Laurent Christophe, Jens Nicolay, Coen De Roover, Elisa Gonzalez Boix |
| 2018 | MLTL Benchmark Generation via Formula Progression. | Jianwen Li, Kristin Y. Rozier |
| 2018 | Efficient Monitoring of Real Driving Emissions. | Maximilian A. Khl, Holger Hermanns, Sebastian Biewer |
| 2018 | A Framework for Non-intrusive Trace-driven Simulation of Manycore Architectures with Dynamic Tracing Configuration. | Jasmin Jahic, Matthias Jung, Thomas Kuhn, Claus Kestel, Norbert Wehn |