Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Jyotirmoy Deshmukh

    1. University of Southern California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Dejan Ničković

    1. AIT Austrian Institute of Technology GmbH, Vienna, Austria

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

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

Included in the following conference series:

Conference proceedings info: RV 2020.

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

  1. Front Matter

    Pages i-xix
    Download chapter PDF

  2. Invited Presentation

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Monitorability Under Assumptions

      • Thomas A. Henzinger, N. Ege Saraç
      Pages 3-18

  3. Tutorials

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Monitoring Spatio-Temporal Properties (Invited Tutorial)

      • Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
      Pages 21-46

    3. Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

      • Yanhong A. Liu, Scott D. Stoller
      Pages 47-66

    4. Analysing the Performance of Python-Based Web Services with the VyPR Framework

      • Joshua Heneage Dawes, Marta Han, Omar Javed, Giles Reger, Giovanni Franzoni, Andreas Pfeiffer
      Pages 67-86

    5. Monitoring Cyber-Physical Systems: From Design to Integration

      • Maximilian Schwenger
      Pages 87-106

    6. BDDs for Representing Data in Runtime Verification

      • Klaus Havelund, Doron Peled
      Pages 107-128

  4. Runtime Verification for Autonomy

    1. Front Matter

      Pages 129-129
      Download chapter PDF

    2. Runtime-Safety-Guided Policy Repair

      • Weichao Zhou, Ruihan Gao, BaekGyu Kim, Eunsuk Kang, Wenchao Li
      Pages 131-150

    3. PatrIoT: Policy Assisted Resilient Programmable IoT System

      • Moosa Yahyazadeh, Syed Rafiul Hussain, Endadul Hoque, Omar Chowdhury
      Pages 151-171

    4. Runtime Verification of Autonomous Driving Systems in CARLA

      • Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
      Pages 172-183

    5. SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

      • Sumukh Shivakumar, Hazem Torfah, Ankush Desai, Sanjit A. Seshia
      Pages 184-194

  5. Runtime Verification for Software

    1. Front Matter

      Pages 195-195
      Download chapter PDF

    2. Scalable Online Monitoring of Distributed Systems

      • David Basin, Matthieu Gras, Srđan Krstić, Joshua Schneider
      Pages 197-220

    3. Actor-Based Runtime Verification with MESA

      • Nastaran Shafiei, Klaus Havelund, Peter Mehlitz
      Pages 221-240

    4. Placement of Runtime Checks to Counteract Fault Injections

      • Benedikt Maderbacher, Anja F. Karl, Roderick Bloem
      Pages 241-258

    5. Empirical Abstraction

      • Vivian M. Ho, Chris Alvin, Supratik Mukhopadhyay, Brian Peterson, Jimmie D. Lawson
      Pages 259-278

    6. Test4Enforcers: Test Case Generation for Software Enforcers

      • Michell Guzman, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
      Pages 279-297
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020. The conference was held virtually due to the COVID-19 pandemic.

The 14 regular papers and 2 short papers presented in this book were carefully reviewed and selected from 43 submissions. Also included are an invited paper, 5 tutorial papers, 6 tool papers, and a benchmark paper. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. The papers are organized in the following topical sections: runtime verification for autonomy; runtime verification for software; runtime verification with temporal logic specifications; stream-based monitoring; and runtime verification for cyber-physical systems.


Editors and Affiliations

  • University of Southern California, Los Angeles, USA

    Jyotirmoy Deshmukh

  • AIT Austrian Institute of Technology GmbH, Vienna, Austria

    Dejan Ničković

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation