Runtime Verification

Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers

Editors:

ISBN: 978-3-642-35631-5 (Print) 978-3-642-35632-2 (Online)

Table of contents (30 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. No Access

    Book Chapter

    Pages 1-1

    Dynamic Analyses for Data-Race Detection

  3. No Access

    Book Chapter

    Pages 2-2

    Symbolic Execution

  4. No Access

    Book Chapter

    Pages 3-18

    Dynamic Livelock Analysis of Multi-threaded Programs

  5. No Access

    Book Chapter

    Pages 19-34

    Scalable Dynamic Partial Order Reduction

  6. No Access

    Book Chapter

    Pages 35-41

    ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level

  7. No Access

    Book Chapter

    Pages 42-47

    PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors

  8. No Access

    Book Chapter

    Pages 48-48

    It’s the End of the World as We Know It (And I Feel Fine)

  9. No Access

    Book Chapter

    Pages 49-63

    Detecting Unread Memory Using Dynamic Binary Translation

  10. No Access

    Book Chapter

    Pages 64-81

    Sparse Coding for Specification Mining and Error Localization

  11. No Access

    Book Chapter

    Pages 82-87

    Sliding between Model Checking and Runtime Verification

  12. No Access

    Book Chapter

    Pages 88-95

    Runtime Verification and Enforcement for Android Applications with RV-Droid

  13. No Access

    Book Chapter

    Pages 96-109

    Temporal Monitors for TinyOS

  14. No Access

    Book Chapter

    Pages 110-125

    Real-Time Runtime Verification on Chip

  15. No Access

    Book Chapter

    Pages 126-130

    BabelTrace: A Collection of Transducers for Trace Validation

  16. No Access

    Book Chapter

    Pages 131-135

    Quantitative Trace Analysis Using Extended Timing Diagrams

  17. No Access

    Book Chapter

    Pages 136-150

    Maximal Causal Models for Sequentially Consistent Systems

  18. No Access

    Book Chapter

    Pages 151-167

    Monitoring Compliance Policies over Incomplete and Disagreeing Logs

  19. No Access

    Book Chapter

    Pages 168-182

    Adaptive Runtime Verification

  20. No Access

    Book Chapter

    Pages 183-183

    Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications

  21. No Access

    Book Chapter

    Pages 184-198

    MapReduce for Parallel Trace Validation of LTL Properties

previous Page of 2