RV

Keyphrases

Publications

2023

Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV (2023)
Chukri Soueidi, Yliès Falcone
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. RV (2023)
Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard
AMT: A Runtime Verification Tool of Video Streams. RV (2023)
Ziyan An, Xia Wang, Taylor T. Johnson, Jonathan Sprinkle, Meiyi Ma
Runtime Monitoring of Accidents in Driving Recordings with Multi-type Logic in Empirical Models. RV (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV (2023)
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. RV (2023)
Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh
Safety Monitoring for Pedestrian Detection in Adverse Conditions. RV (2023)
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. RV (2023)
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
Learning Monitor Ensembles for Operational Design Domains. RV (2023)
Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. RV (2023)
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
Monitoring Algorithmic Fairness Under Partial Observations. RV (2023)
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
Assumption Generation for Learning-Enabled Autonomous Systems. RV (2023)
Sean Anderson, Allison Naaktgeboren, Andrew Tolmach
Flexible Runtime Security Enforcement with Tagged C. RV (2023)
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
Monitoring Blackbox Implementations of Multiparty Session Protocols. RV (2023)
Klaus Havelund, Doron Peled
Monitorability for Runtime Verification. RV (2023)
Moran Omer, Doron Peled
Runtime Verification Prediction for Traces with Data. RV (2023)
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). RV (2023)
Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang
CCMOP: A Runtime Verification Tool for C/C++ Programs. RV (2023)
Hannes Kallwies, Martin Leucker, César Sánchez
General Anticipatory Monitoring for Temporal Logics on Finite Traces. RV (2023)
Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider
Metric First-Order Temporal Logic with Complex Data Types. RV (2023)
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov
Pattern Matching for Perception Streams. RV (2023)
Marek Chalupa, Thomas A. Henzinger
Monitoring Hyperproperties with Prefix Transducers. RV (2023)
Changshun Wu, Yliès Falcone, Saddek Bensalem
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. RV (2023)
Paloma Pedregal, Felipe Gorostiaga, César Sánchez
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. RV (2023)
Chukri Soueidi, Yliès Falcone
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. RV (2023)

volume 14245, 2023

Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings RV 14245 (2023)

2022

volume 13498, 2022

Runtime Verification - 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28-30, 2022, Proceedings RV 13498 (2022)