↓ Skip to main content
What is this page? Embed badge

Runtime Verification

Overview of attention for book
Cover of 'Runtime Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Internal versus External DSLs for Trace Analysis
  3. Altmetric Badge
    Chapter 2 Predicting Concurrency Failures in the Generalized Execution Traces of x86 Executables
  4. Altmetric Badge
    Chapter 3 Runtime Monitoring of Time-Sensitive Systems
  5. Altmetric Badge
    Chapter 4 Teaching Runtime Verification
  6. Altmetric Badge
    Chapter 5 Runtime Verification: A Computer Architecture Perspective
  7. Altmetric Badge
    Chapter 6 Isolating Determinism in Multi-threaded Programs
  8. Altmetric Badge
    Chapter 7 Efficiency Optimizations for Implementations of Deadlock Immunity
  9. Altmetric Badge
    Chapter 8 Permission Regions for Race-Free Parallelism
  10. Altmetric Badge
    Chapter 9 Dynamic Race Detection with LLVM Compiler
  11. Altmetric Badge
    Chapter 10 NORT: Runtime Anomaly-Based Monitoring of Malicious Behavior for Windows
  12. Altmetric Badge
    Chapter 11 Runtime Verification of LTL-Based Declarative Process Models
  13. Altmetric Badge
    Chapter 12 Parametric Identification of Temporal Properties
  14. Altmetric Badge
    Chapter 13 Marathon: Detecting Atomic-Set Serializability Violations with Conflict Graphs
  15. Altmetric Badge
    Chapter 14 Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software
  16. Altmetric Badge
    Chapter 15 Runtime Verification with State Estimation
  17. Altmetric Badge
    Chapter 16 Efficient Techniques for Near-Optimal Instrumentation in Time-Triggered Runtime Verification
  18. Altmetric Badge
    Chapter 17 CoMA: Conformance Monitoring of Java Programs by Abstract State Machines
  19. Altmetric Badge
    Chapter 18 Automated Test-Trace Inspection for Microcontroller Binary Code
  20. Altmetric Badge
    Chapter 19 What Is My Program Doing? Program Dynamics in Programmer’s Terms
  21. Altmetric Badge
    Chapter 20 Algorithms for Monitoring Real-Time Properties
  22. Altmetric Badge
    Chapter 21 Runtime Monitoring of Stochastic Cyber-Physical Systems with Hybrid State
  23. Altmetric Badge
    Chapter 22 Combining Time and Frequency Domain Specifications for Periodic Signals
  24. Altmetric Badge
    Chapter 23 Runtime Verification for Ultra-Critical Systems
  25. Altmetric Badge
    Chapter 24 Runtime Verification of Data-Centric Properties in Service Based Systems
  26. Altmetric Badge
    Chapter 25 Cooperative Concurrency for a Multicore World
  27. Altmetric Badge
    Chapter 26 Monitoring Data Structures Using Hardware Transactional Memory
  28. Altmetric Badge
    Chapter 27 MONPOLY: Monitoring Usage-Control Policies
  29. Altmetric Badge
    Chapter 28 MOPBox: A Library Approach to Runtime Verification
  30. Altmetric Badge
    Chapter 29 Elarva: A Monitoring Tool for Erlang
  31. Altmetric Badge
    Chapter 30 DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking
  32. Altmetric Badge
    Chapter 31 Monitoring Finite State Properties: Algorithmic Approaches and Their Relative Strengths
  33. Altmetric Badge
    Chapter 32 Unbounded Symbolic Execution for Program Verification
  34. Altmetric Badge
    Chapter 33 Execution Trace Exploration and Analysis Using Ontologies
  35. Altmetric Badge
    Chapter 34 Monitoring Realizability
  36. Altmetric Badge
    Chapter 35 Runtime Verification of Traces under Recording Uncertainty
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
11 Mendeley
Summary X
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
Published by
Springer Berlin Heidelberg, May 2012
DOI 10.1007/978-3-642-29860-8
ISBNs
978-3-64-229859-2, 978-3-64-229860-8
Editors

Khurshid, Sarfraz, Sen, Koushik, Khurshid, Sarfraz, Sen, Koushik

View on publisher site Google Preview
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 11 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 11 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 9%
Unknown 10 91%
Readers by discipline Count As %
Computer Science 1 9%
Unknown 10 91%

This page is provided by Altmetric.