Runtime Verification

First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

ISBN: 978-3-642-16611-2 (Print) 978-3-642-16612-9 (Online)

Table of contents (39 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Papers

    1. No Access

      Book Chapter

      Pages 1-15

      Automatic Requirement Extraction from Test Cases

    2. No Access

      Book Chapter

      Pages 16-17

      Code Contracts for .NET: Runtime Verification and So Much More

    3. No Access

      Book Chapter

      Pages 18-35

      Visual Debugging for Stream Processing Applications

    4. No Access

      Book Chapter

      Pages 36-50

      Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?

    5. No Access

      Book Chapter

      Pages 51-57

      Contracts for Scala

    6. No Access

      Book Chapter

      Pages 58-58

      Runtime Analysis and Instrumentation for Securing Software

  3. Tutorials

    1. No Access

      Book Chapter

      Pages 59-73

      Run-Time Verification of Networked Software

    2. No Access

      Book Chapter

      Pages 74-88

      Clara: Partially Evaluating Runtime Monitors at Compile Time

    3. No Access

      Book Chapter

      Pages 89-105

      You Should Better Enforce Than Verify

    4. No Access

      Book Chapter

      Pages 106-121

      Runtime Verification for the Web

    5. No Access

      Book Chapter

      Pages 122-135

      Statistical Model Checking: An Overview

    6. No Access

      Book Chapter

      Pages 136-152

      Runtime Verification with the RV System

  4. Regular and Short Papers

    1. No Access

      Book Chapter

      Pages 153-167

      A Meta-Aspect Protocol for Developing Dynamic Analyses

    2. No Access

      Book Chapter

      Pages 168-182

      Behavior Abstraction in Malware Analysis

    3. No Access

      Book Chapter

      Pages 183-197

      Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time

    4. No Access

      Book Chapter

      Pages 198-213

      Checking the Correspondence between UML Models and Implementation

    5. No Access

      Book Chapter

      Pages 214-228

      Compensation-Aware Runtime Monitoring

    6. No Access

      Book Chapter

      Pages 229-244

      Recovery Tasks: An Automated Approach to Failure Recovery

    7. No Access

      Book Chapter

      Pages 245-252

      Formally Efficient Program Instrumentation

    8. No Access

      Book Chapter

      Pages 253-269

      Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs

previous Page of 2