Skip to main content
SpringerLink
Log in

Runtime Verification

21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

  • Conference proceedings
  • © 2021

Overview

Editors:
  1. Lu Feng

    1. University of Virginia, Charlottesville, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dana Fisman

    1. Ben-Gurion University of the Negev, Be'er Sheva, Israel

    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 12974)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RV 2021.

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 64.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 84.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 (19 papers)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Regular Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Predicate Monitoring in Distributed Cyber-Physical Systems

      • Anik Momtaz, Niraj Basnet, Houssam Abbas, Borzoo Bonakdarpour
      Pages 3-22

    3. Specifying Properties over Inter-procedural, Source Code Level Behaviour of Programs

      • Joshua Heneage Dawes, Domenico Bianculli
      Pages 23-41

    4. Into the Unknown: Active Monitoring of Neural Networks

      • Anna Lukina, Christian Schilling, Thomas A. Henzinger
      Pages 42-61

    5. Monitoring with Verified Guarantees

      • Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
      Pages 62-80

    6. On the Specification and Monitoring of Timed Normative Systems

      • Shaun Azzopardi, Gordon Pace, Fernando Schapachnik, Gerardo Schneider
      Pages 81-99

    7. Efficient Black-Box Checking via Model Checking with Strengthened Specifications

      • Junya Shijubo, Masaki Waga, Kohei Suenaga
      Pages 100-120

    8. Neural Predictive Monitoring Under Partial Observability

      • Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
      Pages 121-141

    9. A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals

      • Konstantinos Mamouras, Agnishom Chattopadhyay, Zhifu Wang
      Pages 142-163

    10. Nested Monitors: Monitors as Expressions to Build Monitors

      • Felipe Gorostiaga, César Sánchez
      Pages 164-183

    11. Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs

      • Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
      Pages 184-206

    12. Assumption-Based Runtime Verification of Infinite-State Systems

      • Alessandro Cimatti, Chun Tian, Stefano Tonetta
      Pages 207-227

  3. Short Papers and Tool Papers

    1. Front Matter

      Pages 229-229
      Download chapter PDF

    2. Differential Monitoring

      • Fabian Muehlboeck, Thomas A. Henzinger
      Pages 231-243

    3. Ortac: Runtime Assertion Checking for OCaml (Tool Paper)

      • Jean-Christophe Filliâtre, Clément Pascutto
      Pages 244-253

    4. Gaussian-Based Runtime Detection of Out-of-distribution Inputs for Neural Networks

      • Vahid Hashemi, Jan Křetínský, Stefanie Mohr, Emmanouil Seferis
      Pages 254-264

    5. Parallel and Multi-objective Falsification with Scenic and VerifAI

      • Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel J. Fremont, Sanjit A. Seshia
      Pages 265-276

    6. A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection

      • Donghwan Shin, Zanis Ali Khan, Domenico Bianculli, Lionel Briand
      Pages 277-287

    7. Specification and Runtime Verification of Temporal Assessments in Simulink

      • Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti
      Pages 288-296
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 21st International Conference on Runtime Verification, RV 2021, held virtually during October 11-14, 2021.

The 11 regular papers and 7 short/tool/benchmark papers presented in this book were carefully reviewed and selected from 40 submissions. Also included is one tutorial paper.

The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions.

 

Editors and Affiliations

  • University of Virginia, Charlottesville, USA

    Lu Feng

  • Ben-Gurion University of the Negev, Be'er Sheva, Israel

    Dana Fisman

Bibliographic Information

  • Book Title: Runtime Verification

  • Book Subtitle: 21st International Conference, RV 2021, Virtual Event, October 11–14, 2021, Proceedings

  • Editors: Lu Feng, Dana Fisman

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-030-88494-9

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2021

  • Softcover ISBN: 978-3-030-88493-2Published: 06 October 2021

  • eBook ISBN: 978-3-030-88494-9Published: 05 October 2021

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 331

  • Number of Illustrations: 33 b/w illustrations, 53 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation