Skip to main content
SpringerLink
Log in
Book cover

Runtime Verification

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Shaz Qadeer

    1. Microsoft Research, Redmond, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Serdar Tasiran

    1. College of Engineering, Koc University, Sariyer, Turkey

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

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

Included in the following conference series:

Conference proceedings info: RV 2012.

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

  1. Front Matter

    Download chapter PDF

  2. Dynamic Analyses for Data-Race Detection

    • John Erickson, Stephen Freund, Madanlal Musuvathi
    Pages 1-1

  3. Symbolic Execution

    • Cristian Cadar, Koushik Sen
    Pages 2-2

  4. Dynamic Livelock Analysis of Multi-threaded Programs

    • Malay K. Ganai
    Pages 3-18

  5. Scalable Dynamic Partial Order Reduction

    • Jiri Simsa, Randy Bryant, Garth Gibson, Jason Hickey
    Pages 19-34

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

    • Jan Fiedor, Tomáš Vojnar
    Pages 35-41

  7. PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors

    • Ismail Kuru, Hassan Salehe Matar, Adrián Cristal, Gokcen Kestor, Osman Unsal
    Pages 42-47

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

    • Jim R. Larus
    Pages 48-48

  9. Detecting Unread Memory Using Dynamic Binary Translation

    • Jon Eyolfson, Patrick Lam
    Pages 49-63

  10. Sparse Coding for Specification Mining and Error Localization

    • Wenchao Li, Sanjit A. Seshia
    Pages 64-81

  11. Sliding between Model Checking and Runtime Verification

    • Martin Leucker
    Pages 82-87

  12. Runtime Verification and Enforcement for Android Applications with RV-Droid

    • Yliès Falcone, Sebastian Currea, Mohamad Jaber
    Pages 88-95

  13. Temporal Monitors for TinyOS

    • Doina Bucur
    Pages 96-109

  14. Real-Time Runtime Verification on Chip

    • Thomas Reinbacher, Matthias Függer, Jörg Brauer
    Pages 110-125

  15. BabelTrace: A Collection of Transducers for Trace Validation

    • Aouatef Mrad, Samatar Ahmed, Sylvain Hallé, Éric Beaudet
    Pages 126-130

  16. Quantitative Trace Analysis Using Extended Timing Diagrams

    • Andreas Richter, Klaus Kabitzsch
    Pages 131-135

  17. Maximal Causal Models for Sequentially Consistent Systems

    • Traian Florin Åžerbănuţă, Feng Chen, Grigore RoÅŸu
    Pages 136-150

  18. Monitoring Compliance Policies over Incomplete and Disagreeing Logs

    • David Basin, Felix Klaedtke, Srdjan Marinovic, Eugen Zălinescu
    Pages 151-167

  19. Adaptive Runtime Verification

    • Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok et al.
    Pages 168-182

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

    • Giovanni Vigna
    Pages 183-183
Back to top

Other volumes

  1. Runtime Verification

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held in Istanbul, Turkey, in September 2012. The 25 revised full papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 50 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, metrics and statistical information gathering, combination of static and dynamic analyses and program execution visualization.

Editors and Affiliations

  • Microsoft Research, Redmond, USA

    Shaz Qadeer

  • College of Engineering, Koc University, Sariyer, Turkey

    Serdar Tasiran

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation