Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Ezio Bartocci

    1. TU Wien, Vienna, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Rupak Majumdar

    1. Max Planck Institute for Software Systems, Kaiserslautern, Germany

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

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

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 (28 papers)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Invited Paper

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Towards a Verified Artificial Pancreas: Challenges and Solutions for Runtime Verification

      • Fraser Cameron, Georgios Fainekos, David M. Maahs, Sriram Sankaranarayanan
      Pages 3-17

  3. Regular Papers

    1. Front Matter

      Pages 19-19
      Download chapter PDF

    2. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties

      • Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink
      Pages 21-37

    3. Runtime Adaptation for Actor Systems

      • Ian Cassar, Adrian Francalanza
      Pages 38-54

    4. Robust Online Monitoring of Signal Temporal Logic

      • Jyotirmoy V. Deshmukh, Alexandre Donzé, Shromona Ghosh, Xiaoqing Jin, Garvit Juniwal, Sanjit A. Seshia
      Pages 55-70

    5. On Verifying Hennessy-Milner Logic with Recursion at Runtime

      • Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
      Pages 71-86

    6. Assuring the Guardians

      • Jonathan Laurent, Alwyn Goodloe, Lee Pike
      Pages 87-101

    7. A Case Study on Runtime Monitoring of an Autonomous Research Vehicle (ARV) System

      • Aaron Kane, Omar Chowdhury, Anupam Datta, Philip Koopman
      Pages 102-117

    8. Monitoring Electronic Exams

      • Ali Kassem, Yliès Falcone, Pascal Lafourcade
      Pages 118-135

    9. Monitoring Real Android Malware

      • Jan-Christoph Küster, Andreas Bauer
      Pages 136-152

    10. Time-Triggered Runtime Verification of Component-Based Multi-core Systems

      • Samaneh Navabpour, Borzoo Bonakdarpour, Sebastian Fischmeister
      Pages 153-168

    11. Monitoring for a Decidable Fragment of MTL-\(\int \)

      • André de Matos Pedro, David Pereira, Luís Miguel Pinho, Jorge Sousa Pinto
      Pages 169-184

    12. Runtime Verification Through Forward Chaining

      • Alan Perotti, Guido Boella, Artur d’Avila Garcez
      Pages 185-200

    13. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment

      • Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
      Pages 201-215

    14. From First-order Temporal Logic to Parametric Trace Slicing

      • Giles Reger, David Rydeheard
      Pages 216-232

    15. R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

      • Johann Schumann, Patrick Moosbrugger, Kristin Y. Rozier
      Pages 233-249

    16. A Hybrid Approach to Causality Analysis

      • Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, Insup Lee
      Pages 250-265

  4. Short Papers

    1. Front Matter

      Pages 267-267
      Download chapter PDF
Back to top

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Runtime Verification, RV 2015, held in Vienna, Austria, in September 2015. The 15 revised full papers presented together with 4 short papers, 2 tool papers, 4 tutorials, 3 invited talks, and 2 software competition papers were carefully reviewed and selected from 45 submissions.
The discussion of the conference centers around two main aspects. The first is to understand wether the runtime verification techniques can practically complement the traditional methods proving programs correct before their execution, such as model checking and theorem proving. The second concerns with formal methods and how their application can improve traditional ad-hoc monitoring techniques used in performance monitoring, hardware design emulation and simulation, etc.

Editors and Affiliations

  • TU Wien, Vienna, Austria

    Ezio Bartocci

  • Max Planck Institute for Software Systems, Kaiserslautern, Germany

    Rupak Majumdar

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation