default search action

combined dblp search
author search
venue search
publication search

ask others

RV 2023: Thessaloniki, Greece

> Home > Conferences and Workshops > RV

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/rv/2023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/2023
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

- view
  authority control:
- export record
  dblp key:
  - conf/rv/PasareanuMGY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PasareanuMGY23
Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for Learning-Enabled Autonomous Systems. 3-22
- view
  authority control:
- export record
  dblp key:
  - conf/rv/WuFB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/WuFB23
Changshun Wu, Yliès Falcone, Saddek Bensalem:
Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes. 23-41

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/BortolussiCCP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BortolussiCCP23
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. 45-65
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HeuvelPD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HeuvelPD23
Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre:
Monitoring Blackbox Implementations of Multiparty Session Protocols. 66-85
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AguilarBMNN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AguilarBMNN23
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic:
Mining Specification Parameters for Multi-class Classification. 86-105
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KallwiesLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KallwiesLS23
Hannes Kallwies, Martin Leucker, César Sánchez:
General Anticipatory Monitoring for Temporal Logics on Finite Traces. 106-125
- view
  authority control:
- export record
  dblp key:
  - conf/rv/GrafKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/GrafKS23
Jeniffer Lima Graf, Srdan Krstic, Joshua Schneider:
Metric First-Order Temporal Logic with Complex Data Types. 126-147
- view
  authority control:
- export record
  dblp key:
  - conf/rv/OmerP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/OmerP23
Moran Omer, Doron Peled:
Runtime Verification Prediction for Traces with Data. 148-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rv/ChalupaH23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChalupaH23
Marek Chalupa, Thomas A. Henzinger:
Monitoring Hyperproperties with Prefix Transducers. 168-190
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YalcinkayaTFS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YalcinkayaTFS23
Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia:
Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications. 191-212
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KollMBA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KollMBA23
Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas:
Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals. 213-230
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AndersonNT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AndersonNT23
Sean Noble Anderson, Allison Naaktgeboren, Andrew Tolmach:
Flexible Runtime Security Enforcement with Tagged C. 231-250
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AndersonFHOP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AndersonFHOP23
Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil V. Prokhorov:
Pattern Matching for Perception Streams. 251-270
- view
  authority control:
- export record
  dblp key:
  - conf/rv/TorfahJSACS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/TorfahJSACS23
Hazem Torfah, Aniruddha R. Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia:
Learning Monitor Ensembles for Operational Design Domains. 271-290
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HenzingerKM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HenzingerKM23
Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik:
Monitoring Algorithmic Fairness Under Partial Observations. 291-311

Short and Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/rv/BesnardHBSC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/BesnardHBSC23
Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard:
AMT: A Runtime Verification Tool of Video Streams. 315-326
- view
  authority control:
- export record
  dblp key:
  - conf/rv/SoueidiF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SoueidiF23
Chukri Soueidi, Yliès Falcone:
Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM. 327-338
- view
  authority control:
- export record
  dblp key:
  - conf/rv/XingCXZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/XingCXZ23
Yongchao Xing, Zhenbang Chen, Shibo Xu, Yufeng Zhang:
CCMOP: A Runtime Verification Tool for C/C++ Programs. 339-350
- view
  authority control:
- export record
  dblp key:
  - conf/rv/PedregalGS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/PedregalGS23
Paloma Pedregal, Felipe Gorostiaga, César Sánchez:
A Stream Runtime Verification Tool with Nested and Retroactive Parametrization. 351-362
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YorihiroJMCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YorihiroJMCL23
Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen:
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. 363-375
- view
  authority control:
- export record
  dblp key:
  - conf/rv/AnWJSM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/AnWJSM23
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
- view
  authority control:
- export record
  dblp key:
  - conf/rv/MallickGBD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/MallickGBD23
Swapnil Mallick, Shuvam Ghosal, Anand Balakrishnan, Jyotirmoy Deshmukh:
Safety Monitoring for Pedestrian Detection in Adverse Conditions. 389-399

Tutorials

- view
  authority control:
- export record
  dblp key:
  - conf/rv/SoueidiF23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/SoueidiF23a
Chukri Soueidi, Yliès Falcone:
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases. 403-427
- view
  authority control:
- export record
  dblp key:
  - conf/rv/ChengLY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/ChengLY23
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan:
Runtime Monitoring DNN-Based Perception - (via the Lens of Formal Methods). 428-446
- view
  authority control:
- export record
  dblp key:
  - conf/rv/HavelundP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/HavelundP23
Klaus Havelund, Doron Peled:
Monitorability for Runtime Verification. 447-460
- view
  authority control:
- export record
  dblp key:
  - conf/rv/CairoliBP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/CairoliBP23
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.