Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Bernd Finkbeiner

    1. Universität des Saarlandes, Saarbrücken, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Leonardo Mariani

    1. University of Milano Bicocca, Milan, 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 11757)

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

Included in the following conference series:

Conference proceedings info: RV 2019.

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

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. A Retrospective Look at the Monitoring and Checking (MaC) Framework

    • Sampath Kannan, Moonzoo Kim, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan
    Pages 1-14

  3. Introspective Environment Modeling

    • Sanjit A. Seshia
    Pages 15-26

  4. Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo

    • Georgios Fainekos, Bardh Hoxha, Sriram Sankaranarayanan
    Pages 27-47

  5. On the Runtime Enforcement of Timed Properties

    • Yliès Falcone, Srinivas Pinisetty
    Pages 48-69

  6. Algorithms for Monitoring Hyperproperties

    • Christopher Hahn
    Pages 70-90

  7. Stream-Based Monitors for Real-Time Properties

    • Hazem Torfah
    Pages 91-110

  8. Accelerated Learning of Predictive Runtime Monitors for Rare Failure

    • Reza Babaee, Vijay Ganesh, Sean Sedwards
    Pages 111-128

  9. Neural Predictive Monitoring

    • Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
    Pages 129-147

  10. Comparing Controlled System Synthesis and Suppression Enforcement

    • Luca Aceto, Ian Cassar, Adrian Francalanza, Anna Ingólfsdóttir
    Pages 148-164

  11. Assumption-Based Runtime Verification with Partial Observability and Resets

    • Alessandro Cimatti, Chun Tian, Stefano Tonetta
    Pages 165-184Open Access

  12. Decentralized Stream Runtime Verification

    • Luis Miguel Danielsson, César Sánchez
    Pages 185-201

  13. Explaining Violations of Properties in Control-Flow Temporal Logic

    • Joshua Heneage Dawes, Giles Reger
    Pages 202-220

  14. FastCFI: Real-Time Control Flow Integrity Using FPGA Without Code Instrumentation

    • Lang Feng, Jeff Huang, Jiang Hu, Abhijith Reddy
    Pages 221-238

  15. An Extension of LTL with Rules and Its Application to Runtime Verification

    • Klaus Havelund, Doron Peled
    Pages 239-255

  16. Monitorability over Unreliable Channels

    • Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
    Pages 256-272

  17. Runtime Verification for Timed Event Streams with Partial Information

    • Martin Leucker, César Sánchez, Torben Scheffel, Malte Schmitz, Daniel Thoma
    Pages 273-291Open Access

  18. Shape Expressions for Specifying and Extracting Signal Features

    • Dejan Ničković, Xin Qin, Thomas Ferrère, Cristinel Mateis, Jyotirmoy Deshmukh
    Pages 292-309

  19. A Formally Verified Monitor for Metric First-Order Temporal Logic

    • Joshua Schneider, David Basin, Srđan Krstić, Dmitriy Traytel
    Pages 310-328

  20. Efficient Detection and Quantification of Timing Leaks with Neural Networks

    • Saeid Tizpaz-Niari, Pavol Černý, Sriram Sankaranarayanan, Ashutosh Trivedi
    Pages 329-348
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 19th International Conference on Runtime Verification, RV 2019, held in Porto, Portugal, in October 2019.
The 25 regular papers presented in this book were carefully reviewed and selected from 38 submissions.
The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess system correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.
Chapter “Assumption-Based Runtime Verification with Partial Observability and Resets” and chapter “NuRV: a nuXmv Extension for Runtime Verification“ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • Universität des Saarlandes, Saarbrücken, Germany

    Bernd Finkbeiner

  • University of Milano Bicocca, Milan, Italy

    Leonardo Mariani

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation