default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRV 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 Noble 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
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.
last updated on 2025-01-30 20:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
