- Anna Lukina
, Christian Schilling
, Thomas A. Henzinger
:
Into the Unknown: Active Monitoring of Neural Networks. RV 2021: 42-61 - Konstantinos Mamouras, Agnishom Chattopadhyay
, Zhifu Wang:
A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals. RV 2021: 142-163 - Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour:
Predicate Monitoring in Distributed Cyber-Physical Systems. RV 2021: 3-22 - Fabian Muehlboeck
, Thomas A. Henzinger
:
Differential Monitoring. RV 2021: 231-243 - Akshay Rajhans
, Anastasia Mavrommati
, Pieter J. Mosterman, Roberto G. Valenti
:
Specification and Runtime Verification of Temporal Assessments in Simulink. RV 2021: 288-296 - Junya Shijubo
, Masaki Waga
, Kohei Suenaga
:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120 - Donghwan Shin
, Zanis Ali Khan
, Domenico Bianculli
, Lionel C. Briand
:
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection. RV 2021: 277-287 - Hazem Torfah
, Sebastian Junges
, Daniel J. Fremont
, Sanjit A. Seshia:
Formal Analysis of AI-Based Autonomy: From Modeling to Runtime Assurance. RV 2021: 311-330 - Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont
, Sanjit A. Seshia:
Parallel and Multi-objective Falsification with Scenic and VerifAI. RV 2021: 265-276 - Lu Feng
, Dana Fisman
:
Runtime Verification - 21st International Conference, RV 2021, Virtual Event, October 11-14, 2021, Proceedings. Lecture Notes in Computer Science 12974, Springer 2021, ISBN 978-3-030-88493-2 [contents] - 2020
- Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Laura Nenzi, Simone Silvetti:
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV 2020: 417-428 - David A. Basin
, Matthieu Gras, Srdan Krstic
, Joshua Schneider
:
Scalable Online Monitoring of Distributed Systems. RV 2020: 197-220 - Niraj Basnet, Houssam Abbas:
Logical Signal Processing: A Fourier Analysis of Temporal Logic. RV 2020: 359-382 - Jan Baumeister
, Bernd Finkbeiner
, Matthis Kruse
, Maximilian Schwenger
:
Automatic Optimizations for Stream-Based Monitoring Languages. RV 2020: 451-461 - Agnishom Chattopadhyay
, Konstantinos Mamouras:
A Verified Online Monitor for Metric Temporal Logic with Quantitative Semantics. RV 2020: 383-403 - Andrej Cizmárik, Pavel Parízek
:
SharpDetect: Dynamic Analysis Framework for C#/.NET Programs. RV 2020: 298-309 - Joseph Cralley, Ourania Spantidi
, Bardh Hoxha, Georgios Fainekos:
TLTk: A Toolbox for Parallel Robustness Computation of Temporal Logic Specifications. RV 2020: 404-416 - Joshua Heneage Dawes, Marta Han
, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer:
Analysing the Performance of Python-Based Web Services with the VyPR Framework. RV 2020: 67-86 - Bernd Finkbeiner
, Stefan Oswald, Noemi Passing
, Maximilian Schwenger
:
Verified Rust Monitors for Lola Specifications. RV 2020: 431-450 - Felipe Gorostiaga, Luis Miguel Danielsson
, César Sánchez:
Unifying the Time-Event Spectrum for Stream Runtime Verification. RV 2020: 462-481 - Michell Guzmán, Oliviero Riganelli
, Daniela Micucci
, Leonardo Mariani
:
Test4Enforcers: Test Case Generation for Software Enforcers. RV 2020: 279-297 - Klaus Havelund, Doron Peled:
BDDs for Representing Data in Runtime Verification. RV 2020: 107-128 - Thomas A. Henzinger, N. Ege Saraç
:
Monitorability Under Assumptions. RV 2020: 3-18 - Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson:
Empirical Abstraction. RV 2020: 259-278 - Manfred Jaeger
, Kim G. Larsen
, Alessandro Tibo
:
From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach. RV 2020: 517-535 - Nikolai Kosmatov
, Fonenantsoa Maurica, Julien Signoles
:
Efficient Runtime Assertion Checking for Properties over Mathematical Numbers. RV 2020: 310-322 - Srdan Krstic
, Joshua Schneider
:
A Benchmark Generator for Online First-Order Monitoring. RV 2020: 482-494 - Yanhong A. Liu, Scott D. Stoller:
Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. RV 2020: 47-66 - Benedikt Maderbacher
, Anja F. Karl
, Roderick Bloem
:
Placement of Runtime Checks to Counteract Fault Injections. RV 2020: 241-258 - Laura Nenzi, Ezio Bartocci
, Luca Bortolussi
, Michele Loreti, Ennio Visconti
:
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV 2020: 21-46