Runtime Verification
Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
Editors: Sen, Koushik, Khurshid, Sarfaz (Eds.)
Free Preview- Fast-track conference proceedings State-of-the-art research Up-to-date results
Buy this book
- 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.
- Table of contents (35 chapters)
-
-
Internal versus External DSLs for Trace Analysis
Pages 1-3
-
Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables
Pages 4-18
-
Runtime Monitoring of Time-Sensitive Systems
Pages 19-33
-
Teaching Runtime Verification
Pages 34-48
-
Runtime Verification: A Computer Architecture Perspective
Pages 49-62
-
Table of contents (35 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Runtime Verification
- Book Subtitle
- Second international Conference, RV 2011, San Francisco, USA, September 27-30, 2011, Revised Selected Papers
- Editors
-
- Koushik Sen
- Sarfaz Khurshid
- Series Title
- Programming and Software Engineering
- Series Volume
- 7186
- Copyright
- 2012
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-29860-8
- DOI
- 10.1007/978-3-642-29860-8
- Softcover ISBN
- 978-3-642-29859-2
- Edition Number
- 1
- Number of Pages
- XII, 458
- Number of Illustrations
- 69 b/w illustrations
- Topics
