- Margarita Capretto
, Martín Ceresa
, César Sánchez
:
Transaction Monitoring of Smart Contracts. RV 2022: 162-180 - Dennis Dams, Klaus Havelund, Sean Kauffman
:
A Python Library for Trace Analysis. RV 2022: 264-273 - Jean-Christophe Filliâtre, Clément Pascutto
:
Optimizing Prestate Copies in Runtime Verification of Function Postconditions. RV 2022: 85-104 - Denis Furian, Shaun Azzopardi, Yliès Falcone, Gerardo Schneider:
Runtime Verification of Kotlin Coroutines. RV 2022: 221-239 - Florian Gallay, Yliès Falcone:
Decent: A Benchmark for Decentralized Enforcement. RV 2022: 293-303 - Luca Geretti, Pieter Collins
, Davide Bresolin
, Tiziano Villa:
Automating Numerical Parameters Along the Evolution of a Nonlinear System. RV 2022: 336-345 - Gaurav Gupta, Saumya Shankar, Srinivas Pinisetty:
Automated Surgical Procedure Assistance Framework Using Deep Learning and Formal Runtime Monitoring. RV 2022: 25-44 - Thomas A. Henzinger, Nicolas Mazzocchi
, N. Ege Saraç
:
Abstract Monitors for Quantitative Specifications. RV 2022: 200-220 - Hannes Kallwies
, Martin Leucker
, César Sánchez
, Torben Scheffel
:
Anticipatory Recurrent Monitoring with Uncertainty and Assumptions. RV 2022: 181-199 - Hannes Kallwies
, Martin Leucker, Malte Schmitz, Albert Schulz, Daniel Thoma, Alexander Weiss:
TeSSLa - An Ecosystem for Runtime Verification. RV 2022: 314-324 - Nahid Hasan Khan, Joseph Robertson, Ramiro Liscano, Akramul Azim, Vijay Sundaresan, Yee-Kang Chang:
Lock Contention Performance Classification for Java Intrinsic Locks. RV 2022: 274-282 - Peeyush Kushwaha, Rahul Purandare
, Matthew B. Dwyer:
Optimal Finite-State Monitoring of Partial Traces. RV 2022: 124-142 - Filipe Marques, António Morgado, José Fragoso Santos
, Mikolás Janota:
TestSelector: Automatic Test Suite Selection for Student Projects. RV 2022: 283-292 - Jonathan Julián Huerta y Munive
:
Relaxing Safety for Metric First-Order Temporal Logic via Dynamic Free Variables. RV 2022: 45-66 - Joshua Schneider
:
Randomized First-Order Monitoring with Hashing. RV 2022: 3-24 - Martin Stoffers
, Alexander Weinert
:
Towards Specificationless Monitoring of Provenance-Emitting Systems. RV 2022: 253-263 - Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros:
Runtime Verification for FMI-Based Co-simulation. RV 2022: 304-313 - Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu:
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV 2022: 67-84 - Thao Dang
, Volker Stolz
:
Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings. Lecture Notes in Computer Science 13498, Springer 2022, ISBN 978-3-031-17195-6 [contents] - 2021
- Shaun Azzopardi
, Gordon J. Pace
, Fernando Schapachnik, Gerardo Schneider
:
On the Specification and Monitoring of Timed Normative Systems. RV 2021: 81-99 - Anand Balakrishnan, Jyotirmoy Deshmukh, Bardh Hoxha, Tomoya Yamaguchi, Georgios Fainekos:
PerceMon: Online Monitoring for Perception Systems. RV 2021: 297-308 - Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
:
Neural Predictive Monitoring Under Partial Observability. RV 2021: 121-141 - Alessandro Cimatti, Chun Tian
, Stefano Tonetta:
Assumption-Based Runtime Verification of Infinite-State Systems. RV 2021: 207-227 - Johann C. Dauer
, Bernd Finkbeiner
, Sebastian Schirmer
:
Monitoring with Verified Guarantees. RV 2021: 62-80 - Joshua Heneage Dawes
, Domenico Bianculli
:
Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs. RV 2021: 23-41 - Vimuth Fernando, Keyur Joshi
, Jacob Laurel, Sasa Misailovic:
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV 2021: 184-206 - Jean-Christophe Filliâtre, Clément Pascutto
:
Ortac: Runtime Assertion Checking for OCaml (Tool Paper). RV 2021: 244-253 - Felipe Gorostiaga
, César Sánchez
:
Nested Monitors: Monitors as Expressions to Build Monitors. RV 2021: 164-183 - Vahid Hashemi
, Jan Kretínský
, Stefanie Mohr
, Emmanouil Seferis:
Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks. RV 2021: 254-264