↓ Skip to main content

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

Overview of attention for book
Cover of 'Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Dynamic Analyses for Data-Race Detection
  3. Altmetric Badge
    Chapter 2 Symbolic Execution
  4. Altmetric Badge
    Chapter 3 Dynamic Livelock Analysis of Multi-threaded Programs
  5. Altmetric Badge
    Chapter 4 Scalable Dynamic Partial Order Reduction
  6. Altmetric Badge
    Chapter 5 ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level
  7. Altmetric Badge
    Chapter 6 PaRV: Parallelizing Runtime Detection and Prevention of Concurrency Errors
  8. Altmetric Badge
    Chapter 7 It’s the End of the World as We Know It (And I Feel Fine)
  9. Altmetric Badge
    Chapter 8 Detecting Unread Memory Using Dynamic Binary Translation
  10. Altmetric Badge
    Chapter 9 Sparse Coding for Specification Mining and Error Localization
  11. Altmetric Badge
    Chapter 10 Sliding between Model Checking and Runtime Verification
  12. Altmetric Badge
    Chapter 11 Runtime Verification and Enforcement for Android Applications with RV-Droid
  13. Altmetric Badge
    Chapter 12 Temporal Monitors for TinyOS
  14. Altmetric Badge
    Chapter 13 Runtime Verification
  15. Altmetric Badge
    Chapter 14 BabelTrace: A Collection of Transducers for Trace Validation
  16. Altmetric Badge
    Chapter 15 Quantitative Trace Analysis Using Extended Timing Diagrams
  17. Altmetric Badge
    Chapter 16 Maximal Causal Models for Sequentially Consistent Systems
  18. Altmetric Badge
    Chapter 17 Monitoring Compliance Policies over Incomplete and Disagreeing Logs
  19. Altmetric Badge
    Chapter 18 Adaptive Runtime Verification
  20. Altmetric Badge
    Chapter 19 Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications
  21. Altmetric Badge
    Chapter 20 MapReduce for Parallel Trace Validation of LTL Properties
  22. Altmetric Badge
    Chapter 21 Path-Aware Time-Triggered Runtime Verification
  23. Altmetric Badge
    Chapter 22 Fast-Forward Runtime Monitoring — An Industrial Case Study
  24. Altmetric Badge
    Chapter 23 Runtime Enforcement of Timed Properties
  25. Altmetric Badge
    Chapter 24 Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic
  26. Altmetric Badge
    Chapter 25 Rewrite-Based Statistical Model Checking of WMTL
  27. Altmetric Badge
    Chapter 26 From Runtime Verification to Runtime Intervention and Adaptation
  28. Altmetric Badge
    Chapter 27 Certifying Solutions for Numerical Constraints
  29. Altmetric Badge
    Chapter 28 Profiling Field Initialisation in Java
  30. Altmetric Badge
    Chapter 29 Defense against Stack-Based Attacks Using Speculative Stack Layout Transformation
  31. Altmetric Badge
    Chapter 30 Runtime Verification
Overall attention for this book and its chapters
Altmetric Badge

About this Attention Score

  • Good Attention Score compared to outputs of the same age (71st percentile)
  • Good Attention Score compared to outputs of the same age and source (70th percentile)

Mentioned by

twitter
1 X user
wikipedia
1 Wikipedia page

Readers on

mendeley
5 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Runtime Verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers
Published by
Lecture notes in computer science, January 2013
DOI 10.1007/978-3-642-35632-2-4
ISBNs
978-3-64-235631-5, 978-3-64-235632-2
Authors

Bucur, Doina

Editors

Qadeer, Shaz, Tasiran, Serdar

X Demographics

X Demographics

The data shown below were collected from the profile of 1 X user who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 5 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Denmark 1 20%
Germany 1 20%
Unknown 3 60%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 40%
Professor > Associate Professor 1 20%
Student > Doctoral Student 1 20%
Student > Master 1 20%
Readers by discipline Count As %
Computer Science 5 100%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 11 March 2022.
All research outputs
#7,140,466
of 23,317,888 outputs
Outputs from Lecture notes in computer science
#2,299
of 8,159 outputs
Outputs of similar age
#77,041
of 283,761 outputs
Outputs of similar age from Lecture notes in computer science
#92
of 316 outputs
Altmetric has tracked 23,317,888 research outputs across all sources so far. This one has received more attention than most of these and is in the 68th percentile.
So far Altmetric has tracked 8,159 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has gotten more attention than average, scoring higher than 70% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 283,761 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 71% of its contemporaries.
We're also able to compare this research output to 316 others from the same source and published within six weeks on either side of this one. This one has gotten more attention than average, scoring higher than 70% of its contemporaries.