Skip to main content
SpringerLink
Log in

Runtime Verification

23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings

  • Conference proceedings
  • © 2023

Overview

Editors:
  1. Panagiotis Katsaros

    1. Dept. of Informatics, Aristotle Univ. of Thessaloniki, Thessaloniki, Greece

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Laura Nenzi

    1. University of Trieste, Trieste, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14245)

Included in the following conference series:

Conference proceedings info: RV 2023.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Invited Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Assumption Generation for Learning-Enabled Autonomous Systems

      • Corina S. Păsăreanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
      Pages 3-22

    3. Customizable Reference Runtime Monitoring of Neural Networks Using Resolution Boxes

      • Changshun Wu, Yliès Falcone, Saddek Bensalem
      Pages 23-41

  3. Regular Papers

    1. Front Matter

      Pages 43-43
      Download chapter PDF

    2. Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking

      • Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
      Pages 45-65

    3. Monitoring Blackbox Implementations of Multiparty Session Protocols

      • Bas van den Heuvel, Jorge A. Pérez, Rares A. Dobre
      Pages 66-85

    4. Mining Specification Parameters for Multi-class Classification

      • Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Ničković
      Pages 86-105

    5. General Anticipatory Monitoring for Temporal Logics on Finite Traces

      • Hannes Kallwies, Martin Leucker, César Sánchez
      Pages 106-125

    6. Metric First-Order Temporal Logic with Complex Data Types

      • Jeniffer Lima Graf, Srđan Krstić, Joshua Schneider
      Pages 126-147

    7. Runtime Verification Prediction for Traces with Data

      • Moran Omer, Doron Peled
      Pages 148-167

    8. Monitoring Hyperproperties with Prefix Transducers

      • Marek Chalupa, Thomas A. Henzinger
      Pages 168-190Open Access

    9. Compositional Simulation-Based Analysis of AI-Based Autonomous Systems for Markovian Specifications

      • Beyazit Yalcinkaya, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia
      Pages 191-212

    10. Decentralized Predicate Detection Over Partially Synchronous Continuous-Time Signals

      • Charles Koll, Anik Momtaz, Borzoo Bonakdarpour, Houssam Abbas
      Pages 213-230

    11. Flexible Runtime Security Enforcement with Tagged C

      • Sean Anderson, Allison Naaktgeboren, Andrew Tolmach
      Pages 231-250

    12. Pattern Matching for Perception Streams

      • Jacob Anderson, Georgios Fainekos, Bardh Hoxha, Hideki Okamoto, Danil Prokhorov
      Pages 251-270

    13. Learning Monitor Ensembles for Operational Design Domains

      • Hazem Torfah, Aniruddha Joshi, Shetal Shah, S. Akshay, Supratik Chakraborty, Sanjit A. Seshia
      Pages 271-290

    14. Monitoring Algorithmic Fairness Under Partial Observations

      • Thomas A. Henzinger, Konstantin Kueffner, Kaushik Mallik
      Pages 291-311

  4. Short and Tool Papers

    1. Front Matter

      Pages 313-313
      Download chapter PDF

    2. AMT: A Runtime Verification Tool of Video Streams

      • Valentin Besnard, Mathieu Huet, Stoyan Bivolarov, Nourredine Saadi, Guillaume Cornard
      Pages 315-326
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023.
The 13 full papers and 7 short papers presented in this book together with 4 tutorial papers and 2 invited papers were carefully reviewed and selected from 39 submissions.
The RV conference is concerned with all aspects of novel lightweight formal methods to monitor, analyze, and guide the runtime behavior of software and hardware systems.

Runtime verification techniques are crucial for system correctness, reliability, and robustness; they provide an additional level of rigor and effectiveness compared to conventional testing and are generally more practical than exhaustive formal verification.


Editors and Affiliations

  • Dept. of Informatics, Aristotle Univ. of Thessaloniki, Thessaloniki, Greece

    Panagiotis Katsaros

  • University of Trieste, Trieste, Italy

    Laura Nenzi

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation