Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

4th International Conference, RV 2013, Rennes, France, September 24-27, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Axel Legay

    1. Inria Rennes, Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Saddek Bensalem

    1. VERIMAG Centre Équation, Université Joseph Fourier, Gières, France

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

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

Included in the following conference series:

Conference proceedings info: RV 2013.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Paper

    1. Executing Specifications Using Synthesis and Constraint Solving

      • Viktor Kuncak, Etienne Kneuss, Philippe Suter
      Pages 1-20

  3. Regular Papers

    1. Informative Types and Effects for Hybrid Migration Control

      • Ana Almeida Matos, Jan Cederquist
      Pages 21-39

    2. Monitoring of Temporal First-Order Properties with Aggregations

      • David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
      Pages 40-58

    3. From Propositional to First-Order Monitoring

      • Andreas Bauer, Jan-Christoph Küster, Gil Vegliach
      Pages 59-75

    4. Right-Universality of Visibly Pushdown Automata

      • Véronique Bruyère, Marc Ducobu, Olivier Gauwin
      Pages 76-93

    5. Distributed Finite-State Runtime Monitoring with Aggregated Events

      • Kevin Falzon, Eric Bodden, Rahul Purandare
      Pages 94-111

    6. Synthesising Correct Concurrent Runtime Monitors

      • Adrian Francalanza, Aldrin Seychell
      Pages 112-129

    7. Practical Interruptible Conversations

      • Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
      Pages 130-148

    8. Runtime Verification with Particle Filtering

      • Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
      Pages 149-166

    9. An Optimized Memory Monitoring for Runtime Assertion Checking of C Programs

      • Nikolai Kosmatov, Guillaume Petiot, Julien Signoles
      Pages 167-182

    10. Impartiality and Anticipation for Monitoring of Visibly Context-Free Properties

      • Normann Decker, Martin Leucker, Daniel Thoma
      Pages 183-200

    11. Accelerating Data Race Detection Utilizing On-Chip Data-Parallel Cores

      • Vineeth Mekkat, Anup Holey, Antonia Zhai
      Pages 201-218

    12. Efficient Model to Query and Visualize the System States Extracted from Trace Data

      • Alexandre Montplaisir, Naser Ezzati-Jivan, Florian Wininger, Michel Dagenais
      Pages 219-234

    13. Repair Abstractions for More Efficient Data Structure Repair

      • Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, Sarfraz Khurshid
      Pages 235-250

    14. To Run What No One Has Run Before: Executing an Intermediate Verification Language

      • Nadia Polikarpova, Carlo A. Furia, Scott West
      Pages 251-268

    15. Optimizing Nop-shadows Typestate Analysis by Filtering Interferential Configurations

      • Chengsong Wang, Zhenbang Chen, Xiaoguang Mao
      Pages 269-284

    16. A Causality Analysis Framework for Component-Based Real-Time Systems

      • Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee
      Pages 285-303

    17. Reducing Monitoring Overhead by Integrating Event- and Time-Triggered Techniques

      • Chun Wah Wallace Wu, Deepak Kumar, Borzoo Bonakdarpour, Sebastian Fischmeister
      Pages 304-321

  4. Short Papers

    1. A Scala DSL for Rete-Based Runtime Verification

      • Klaus Havelund
      Pages 322-327
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the refereed proceedings of the 4th International Conference on Runtime Verification, RV 2013, held in Rennes, France, in September 2013. The 24 revised full papers presented together with 3 invited papers, 2 tool papers, and 6 tutorials were carefully reviewed and selected from 58 submissions. The papers address a wide range of specification languages and formalisms for traces; specification mining; program instrumentation; monitor construction techniques; logging, recording, and replay; fault detection, localization, recovery, and repair; program steering and adaptation; as well as metrics and statistical information gathering; combination of static and dynamic analyses and program execution visualization.

Editors and Affiliations

  • Inria Rennes, Rennes, France

    Axel Legay

  • VERIMAG Centre Équation, Université Joseph Fourier, Gières, France

    Saddek Bensalem

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation