Skip to main content
SpringerLink
Log in
SpringerLink
Log in

Runtime Verification

Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Sarfraz Khurshid

    1. Electrical and Computer Engineering, The University of Texas at Austin, Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Koushik Sen

    1. University of California, Berkeley, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast-track conference proceedings State-of-the-art research Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7186)

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

Included in the following conference series:

Conference proceedings info: RV 2011.

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

  1. Front Matter

    Download chapter PDF

  2. Tutorials

    1. Internal versus External DSLs for Trace Analysis

      • Howard Barringer, Klaus Havelund
      Pages 1-3

    2. Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables

      • Chao Wang, Malay Ganai
      Pages 4-18

    3. Runtime Monitoring of Time-Sensitive Systems

      • Borzoo Bonakdarpour, Sebastian Fischmeister
      Pages 19-33

    4. Teaching Runtime Verification

      • Martin Leucker
      Pages 34-48

  3. Invited

    1. Runtime Verification: A Computer Architecture Perspective

      • Sharad Malik
      Pages 49-62

    2. A: Parallelism and Deadlocks

      1. Isolating Determinism in Multi-threaded Programs
        • Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
        Pages 63-77
      2. Efficiency Optimizations for Implementations of Deadlock Immunity
        • Horatiu Jula, Silviu Andrica, George Candea
        Pages 78-93
      3. Permission Regions for Race-Free Parallelism
        • Edwin Westbrook, Jisheng Zhao, Zoran Budimlić, Vivek Sarkar
        Pages 94-109
      4. Dynamic Race Detection with LLVM Compiler
        • Konstantin Serebryany, Alexander Potapenko, Timur Iskhodzhanov, Dmitriy Vyukov
        Pages 110-114

    3. B: Malware Detection

      1. NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows
        • Narcisa Andreea Milea, Siau Cheng Khoo, David Lo, Cristian Pop
        Pages 115-130

    4. C: Temporal Constraints and Concurrency Bugs

      1. Runtime Verification of LTL-Based Declarative Process Models
        • Fabrizio Maria Maggi, Michael Westergaard, Marco Montali, Wil M. P. van der Aalst
        Pages 131-146
      2. Parametric Identification of Temporal Properties
        • Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic
        Pages 147-160
      3. Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
        • William N. Sumner, Christian Hammer, Julian Dolby
        Pages 161-176
      4. Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
        • Bohuslav KÅ™ena, ZdenÄ›k Letko, Tomáš Vojnar
        Pages 177-192

    5. D: Sampling and Specification Conformance

      1. Runtime Verification with State Estimation
        • Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka et al.
        Pages 193-207
      2. Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
        • Samaneh Navabpour, Chun Wah Wallace Wu, Borzoo Bonakdarpour, Sebastian Fischmeister
        Pages 208-222
      3. CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
        • Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
        Pages 223-238
      4. Automated Test-Trace Inspection for Microcontroller Binary Code
        • Thomas Reinbacher, Jörg Brauer, Daniel Schachinger, Andreas Steininger, Stefan Kowalewski
        Pages 239-244

  4. Invited

    1. What Is My Program Doing? Program Dynamics in Programmer’s Terms

      • Steven P. Reiss, Alexander Tarvo
      Pages 245-259
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software and hardware systems, memory transactions, tools; foundational techniques and multi-valued approaches.

Editors and Affiliations

  • Electrical and Computer Engineering, The University of Texas at Austin, Austin, USA

    Sarfraz Khurshid

  • University of California, Berkeley, USA

    Koushik Sen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation