| 2022 | Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. | Jonathan Julin Huerta y Munive |
| 2022 | TestSelector: Automatic Test Suite Selection for Student Projects. | Filipe Marques, Antnio Morgado, Jos Fragoso Santos, Mikols Janota |
| 2022 | Optimal Finite-State Monitoring of Partial Traces. | Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer |
| 2022 | Lock Contention Performance Classification for Java Intrinsic Locks. | Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang |
| 2022 | TeSSLa - An Ecosystem for Runtime Verification. | Hannes Kallwies, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss |
| 2022 | Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. | Hannes Kallwies, Martin Leucker, Csar Snchez, Torben Scheffel |
| 2022 | Abstract Monitors for Quantitative Specifications. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2022 | Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. | Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty |
| 2022 | Automating Numerical Parameters Along the Evolution of a Nonlinear System. | Luca Geretti, Pieter Collins, Davide Bresolin, Tiziano Villa |
| 2022 | Decent: A Benchmark for Decentralized Enforcement. | Florian Gallay, Ylis Falcone |
| 2022 | Runtime Verification of Kotlin Coroutines. | Denis Furian, Shaun Azzopardi, Ylis Falcone, Gerardo Schneider |
| 2022 | Optimizing Prestate Copies in Runtime Verification of Function Postconditions. | Jean-Christophe Fillitre, Clment Pascutto |
| 2022 | A Python Library for Trace Analysis. | Dennis Dams, Klaus Havelund, Sean Kauffman |
| 2022 | A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. | Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller |
| 2022 | Transaction Monitoring of Smart Contracts. | Margarita Capretto, Martn Ceresa, Csar Snchez |
| 2022 | Real-Time Visualization of Stream-Based Monitoring Data. | Jan Baumeister, Bernd Finkbeiner, Stefan Gumhold, Malte Schledjewski |
| 2022 | AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2022 | Tainting in Smart Contracts: Combining Static and Runtime Verification. | Shaun Azzopardi, Joshua Ellul, Ryan Falzon, Gordon J. Pace |
| 2021 | Parallel and Multi-objective Falsification with Scenic and VerifAI. | Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. | Hazem Torfah, Sebastian Junges, Daniel J. Fremont, Sanjit A. Seshia |
| 2021 | A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. | Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel C. Briand |
| 2021 | Efficient Black-Box Checking via Model Checking with Strengthened Specifications. | Junya Shijubo, Masaki Waga, Kohei Suenaga |
| 2021 | Specification and Runtime Verification of Temporal Assessments in Simulink. | Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti |
| 2021 | Differential Monitoring. | Fabian Muehlboeck, Thomas A. Henzinger |
| 2021 | Predicate Monitoring in Distributed Cyber-Physical Systems. | Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour |