![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
RV 2023: Thessaloniki, Greece
- Panagiotis Katsaros
, Laura Nenzi
:
Runtime Verification - 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings. Lecture Notes in Computer Science 14245, Springer 2023, ISBN 978-3-031-44266-7
Invited Papers
- Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for Learning-Enabled Autonomous Systems. 3-22 - Changshun Wu
, Yliès Falcone
, Saddek Bensalem
:
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. 23-41
Regular Papers
- Luca Bortolussi
, Francesca Cairoli
, Ginevra Carbone, Paolo Pulcini:
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. 45-65 - Bas van den Heuvel
, Jorge A. Pérez
, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. 66-85 - Edgar A. Aguilar
, Ezio Bartocci
, Cristinel Mateis
, Eleonora Nesterini
, Dejan Nickovic
:
Mining Specification Parameters for Multi-class Classification. 86-105 - Hannes Kallwies
, Martin Leucker
, César Sánchez
:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. 106-125 - Jeniffer Lima Graf, Srdan Krstic
, Joshua Schneider
:
Metric First-Order Temporal Logic with Complex Data Types. 126-147 - Moran Omer, Doron Peled:
Runtime Verification Prediction for Traces with Data. 148-167 - Marek Chalupa
, Thomas A. Henzinger
:
Monitoring Hyperproperties with Prefix Transducers. 168-190 - Beyazit Yalcinkaya, Hazem Torfah
, Daniel J. Fremont
, Sanjit A. Seshia:
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. 191-212 - Charles Koll
, Anik Momtaz
, Borzoo Bonakdarpour
, Houssam Abbas
:
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. 213-230 - Sean Anderson
, Allison Naaktgeboren
, Andrew Tolmach
:
Flexible Runtime Security Enforcement with Tagged C. 231-250 - Jacob Anderson
, Georgios Fainekos
, Bardh Hoxha
, Hideki Okamoto
, Danil V. Prokhorov
:
Pattern Matching for Perception Streams. 251-270 - Hazem Torfah
, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia:
Learning Monitor Ensembles for Operational Design Domains. 271-290 - Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness Under Partial Observations. 291-311
Short and Tool Papers
- Valentin Besnard
, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard:
AMT: A Runtime Verification Tool of Video Streams. 315-326 - Chukri Soueidi
, Yliès Falcone
:
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. 327-338 - Yongchao Xing, Zhenbang Chen
, Shibo Xu, Yufeng Zhang
:
CCMOP: A Runtime Verification Tool for C/C++ Programs. 339-350 - Paloma Pedregal
, Felipe Gorostiaga
, César Sánchez
:
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. 351-362 - Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen:
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. 363-375 - 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. 376-388 - Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh:
Safety Monitoring for Pedestrian Detection in Adverse Conditions. 389-399
Tutorials
- Chukri Soueidi
, Yliès Falcone
:
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. 403-427 - Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). 428-446 - Klaus Havelund, Doron Peled:
Monitorability for Runtime Verification. 447-460 - Francesca Cairoli
, Luca Bortolussi
, Nicola Paoletti
:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. 461-487
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.