↓ Skip to main content

Verification, Model Checking, and Abstract Interpretation

Overview of attention for book
Cover of 'Verification, Model Checking, and Abstract Interpretation'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Are Cells Asynchronous Circuits?
  3. Altmetric Badge
    Chapter 2 Formal Analysis of Message Passing
  4. Altmetric Badge
    Chapter 3 Practical Verification for the Working Programmer with CodeContracts and Abstract Interpretation
  5. Altmetric Badge
    Chapter 4 Quality Engineering: Leveraging Heterogeneous Information
  6. Altmetric Badge
    Chapter 5 More Precise Yet Widely Applicable Cost Analysis
  7. Altmetric Badge
    Chapter 6 Refinement-Based CFG Reconstruction from Unstructured Programs
  8. Altmetric Badge
    Chapter 7 SAT-Based Model Checking without Unrolling
  9. Altmetric Badge
    Chapter 8 Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic
  10. Altmetric Badge
    Chapter 9 Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds
  11. Altmetric Badge
    Chapter 10 Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice
  12. Altmetric Badge
    Chapter 11 Verification, Model Checking, and Abstract Interpretation
  13. Altmetric Badge
    Chapter 12 Precondition Inference from Intermittent Assertions and Application to Contracts on Collections
  14. Altmetric Badge
    Chapter 13 Strengthening Induction-Based Race Checking with Lightweight Static Analysis
  15. Altmetric Badge
    Chapter 14 Access Nets: Modeling Access to Physical Spaces
  16. Altmetric Badge
    Chapter 15 Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
  17. Altmetric Badge
    Chapter 16 Verifying Deadlock-Freedom of Communication Fabrics
  18. Altmetric Badge
    Chapter 17 Static Analysis of Finite Precision Computations
  19. Altmetric Badge
    Chapter 18 An Evaluation of Automata Algorithms for String Analysis
  20. Altmetric Badge
    Chapter 19 Automata Learning with Automated Alphabet Abstraction Refinement
  21. Altmetric Badge
    Chapter 20 Towards Complete Reasoning about Axiomatic Specifications
  22. Altmetric Badge
    Chapter 21 String Analysis as an Abstract Interpretation
  23. Altmetric Badge
    Chapter 22 ExplainHoudini: Making Houdini Inference Transparent
  24. Altmetric Badge
    Chapter 23 Abstract Probabilistic Automata
  25. Altmetric Badge
    Chapter 24 Distributed and Predictable Software Model Checking
  26. Altmetric Badge
    Chapter 25 Access Analysis-Based Tight Localization of Abstract Memories
  27. Altmetric Badge
    Chapter 26 Decision Procedures for Automating Termination Proofs
  28. Altmetric Badge
    Chapter 27 Collective Assertions
  29. Altmetric Badge
    Chapter 28 Sets with Cardinality Constraints in Satisfiability Modulo Theories
Attention for Chapter 18: An Evaluation of Automata Algorithms for String Analysis
Altmetric Badge

Mentioned by

q&a
1 Q&A thread

Citations

dimensions_citation
6 Dimensions

Readers on

mendeley
22 Mendeley
citeulike
1 CiteULike
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.
Chapter title
An Evaluation of Automata Algorithms for String Analysis
Chapter number 18
Book title
Verification, Model Checking, and Abstract Interpretation
Published in
ADS, January 2011
DOI 10.1007/978-3-642-18275-4_18
Book ISBNs
978-3-64-218274-7, 978-3-64-218275-4
Authors

Pieter Hooimeijer, Margus Veanes, Hooimeijer, Pieter, Veanes, Margus

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Canada 2 9%
Malaysia 1 5%
Luxembourg 1 5%
Germany 1 5%
Unknown 17 77%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 12 55%
Student > Master 5 23%
Lecturer 1 5%
Researcher 1 5%
Professor > Associate Professor 1 5%
Other 0 0%
Unknown 2 9%
Readers by discipline Count As %
Computer Science 19 86%
Psychology 1 5%
Unknown 2 9%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 3. 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 20 July 2018.
All research outputs
#13,076,654
of 23,043,346 outputs
Outputs from ADS
#26,587
of 37,451 outputs
Outputs of similar age
#134,091
of 183,798 outputs
Outputs of similar age from ADS
#620
of 782 outputs
Altmetric has tracked 23,043,346 research outputs across all sources so far. This one is in the 42nd percentile – i.e., 42% of other outputs scored the same or lower than it.
So far Altmetric has tracked 37,451 research outputs from this source. They receive a mean Attention Score of 4.6. This one is in the 28th percentile – i.e., 28% of its peers scored the same or lower than it.
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 183,798 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 26th percentile – i.e., 26% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 782 others from the same source and published within six weeks on either side of this one. This one is in the 20th percentile – i.e., 20% of its contemporaries scored the same or lower than it.