Skip to main content
SpringerLink
Log in

Runtime Verification

17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

  • Conference proceedings
  • © 2017

Overview

Editors:
  1. Shuvendu Lahiri

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Giles Reger

    1. The University of Manchester, Manchester, United Kingdom

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

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

Included in the following conference series:

Conference proceedings info: RV 2017.

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. Tutorials

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. P: Modular and Safe Asynchronous Programming

      • Ankush Desai, Shaz Qadeer
      Pages 3-7

    3. A Foundation for Runtime Monitoring

      • Adrian Francalanza, Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Ian Cassar, Dario Della Monica et al.
      Pages 8-29

  3. Regular Papers

    1. Front Matter

      Pages 31-31
      Download chapter PDF

    2. Stream Runtime Monitoring on UAS

      • Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner, Sebastian Schirmer, Christoph Torens
      Pages 33-49

    3. Probabilistic Black-Box Reachability Checking

      • Bernhard K. Aichernig, Martin Tappler
      Pages 50-67

    4. Combining Symbolic Runtime Enforcers for Cyber-Physical Systems

      • Björn Andersson, Sagar Chaki, Dionisio de Niz
      Pages 68-84

    5. Almost Event-Rate Independent Monitoring of Metric Dynamic Logic

      • David Basin, Srđan Krstić, Dmitriy Traytel
      Pages 85-102

    6. Annotation Guided Collection of Context-Sensitive Parallel Execution Profiles

      • Zachary Benavides, Rajiv Gupta, Xiangyu Zhang
      Pages 103-120

    7. Signal Clustering Using Temporal Logics

      • Giuseppe Bombara, Calin Belta
      Pages 121-137

    8. Space Efficient Breadth-First and Level Traversals of Consistent Global States of Parallel Programs

      • Himanshu Chauhan, Vijay K. Garg
      Pages 138-154

    9. Witnessing Network Transformations

      • Chaoqiang Deng, Kedar S. Namjoshi
      Pages 155-171

    10. Combining Model Checking and Runtime Verification for Safe Robotics

      • Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
      Pages 172-189

    11. Monitoring Hyperproperties

      • Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
      Pages 190-207

    12. TeLEx: Passive STL Learning Using Only Positive Examples

      • Susmit Jha, Ashish Tiwari, Sanjit A. Seshia, Tuhin Sahai, Natarajan Shankar
      Pages 208-224

    13. From Model Checking to Runtime Verification and Back

      • Katarína Kejstová, Petr Ročkai, Jiří Barnat
      Pages 225-240

    14. Verifying Policy Enforcers

      • Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone
      Pages 241-258

    15. Hierarchical Non-intrusive In-situ Requirements Monitoring for Embedded Systems

      • Minjun Seo, Roman Lysecky
      Pages 259-276

    16. Monitoring Partially Synchronous Distributed Systems Using SMT Solvers

      • Vidhya Tekken Valapil, Sorrachai Yingchareonthawornchai, Sandeep Kulkarni, Eric Torng, Murat Demirbas
      Pages 277-293
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017.

The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 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 correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Shuvendu Lahiri

  • The University of Manchester, Manchester, United Kingdom

    Giles Reger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation