Book Volume 8734 2014

Runtime Verification

5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings

Editors:

ISBN: 978-3-319-11163-6 (Print) 978-3-319-11164-3 (Online)

Table of contents (28 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Chapter

    Pages 1-9

    First International Competition on Software for Runtime Verification

  3. Monitoring and Trace Slicing

    1. No Access

      Chapter

      Pages 10-14

      Multiple Ways to Fail: Generalizing a Monitor’s Verdict for the Classification of Execution Traces

    2. No Access

      Chapter

      Pages 15-30

      Two Generalisations of Roşu and Chen’s Trace Slicing Algorithm A

    3. No Access

      Chapter

      Pages 31-47

      Scalable Offline Monitoring

    4. No Access

      Chapter

      Pages 48-63

      Monitoring Systems with Extended Live Sequence Charts

    5. No Access

      Chapter

      Pages 64-79

      Foundations of Boolean Stream Runtime Verification

    6. No Access

      Chapter

      Pages 80-84

      Portable Runtime Verification with Smartphones and Optical Codes

    7. No Access

      Chapter

      Pages 85-91

      Robust Consistency Checking for Modern Filesystems

  4. Runtime Verification of Distributed and Concurrent Systems

    1. No Access

      Chapter

      Pages 92-107

      On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems

    2. No Access

      Chapter

      Pages 108-123

      Supporting the Specification and Runtime Validation of Asynchronous Calling Patterns in Reactive Systems

    3. No Access

      Chapter

      Pages 124-139

      Speculative Program Parallelization with Scalable and Decentralized Runtime Verification

    4. No Access

      Chapter

      Pages 140-155

      Organising LTL Monitors over Distributed Systems with a Global Clock

    5. No Access

      Chapter

      Pages 156-161

      Dynamic Verification for Hybrid Concurrent Programming Models

    6. No Access

      Chapter

      Pages 162-177

      Abstraction and Mining of Traces to Explain Concurrency Bugs

  5. Runtime Verification of Real-Time and Embedded Systems

    1. No Access

      Chapter

      Pages 178-192

      Online Monitoring of Metric Temporal Logic

    2. No Access

      Chapter

      Pages 193-198

      On Real-Time Monitoring with Imprecise Timestamps

    3. No Access

      Chapter

      Pages 199-214

      ModelPlex: Verified Runtime Validation of Verified Cyber-Physical System Models

    4. No Access

      Chapter

      Pages 215-230

      Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems

    5. No Access

      Chapter

      Pages 231-246

      On-Line Monitoring for Temporal Logic Robustness

    6. No Access

      Chapter

      Pages 247-254

      ROSRV: Runtime Verification for Robots

previous Page of 2