↓ Skip to main content

Tools and Algorithms for the Construction and Analysis of Systems

Overview of attention for book
Cover of 'Tools and Algorithms for the Construction and Analysis of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Tools and Algorithms for the Construction and Analysis of Systems
  3. Altmetric Badge
    Chapter 2 The Quest for Minimal Quotients for Probabilistic Automata
  4. Altmetric Badge
    Chapter 3 LTL Model Checking of Interval Markov Chains
  5. Altmetric Badge
    Chapter 4 Tools and Algorithms for the Construction and Analysis of Systems
  6. Altmetric Badge
    Chapter 5 Tools and Algorithms for the Construction and Analysis of Systems
  7. Altmetric Badge
    Chapter 6 Extending Quantifier Elimination to Linear Inequalities on Bit-Vectors
  8. Altmetric Badge
    Chapter 7 The MathSAT5 SMT Solver
  9. Altmetric Badge
    Chapter 8 Formula Preprocessing in MUS Extraction
  10. Altmetric Badge
    Chapter 9 Proof Tree Preserving Interpolation
  11. Altmetric Badge
    Chapter 10 Asynchronous Multi-core Incremental SAT Solving
  12. Altmetric Badge
    Chapter 11 Tools and Algorithms for the Construction and Analysis of Systems
  13. Altmetric Badge
    Chapter 12 Synthesis from LTL Specifications with Mean-Payoff Objectives
  14. Altmetric Badge
    Chapter 13 PRISM-games: A Model Checker for Stochastic Multi-Player Games
  15. Altmetric Badge
    Chapter 14 PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
  16. Altmetric Badge
    Chapter 15 An Overview of the mCRL2 Toolset and Its Recent Advances
  17. Altmetric Badge
    Chapter 16 Analysis of Boolean Programs
  18. Altmetric Badge
    Chapter 17 Weighted Pushdown Systems with Indexed Weight Domains
  19. Altmetric Badge
    Chapter 18 Underapproximation of Procedure Summaries for Integer Programs
  20. Altmetric Badge
    Chapter 19 Runtime Verification Based on Register Automata
  21. Altmetric Badge
    Chapter 20 Unbounded Model-Checking with Interpolation for Regular Language Constraints
  22. Altmetric Badge
    Chapter 21 eVolCheck: Incremental Upgrade Checker for C
  23. Altmetric Badge
    Chapter 22 Intertwined Forward-Backward Reachability Analysis Using Interpolants
  24. Altmetric Badge
    Chapter 23 An Integrated Specification and Verification Technique for Highly Concurrent Data Structures
  25. Altmetric Badge
    Chapter 24 A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
  26. Altmetric Badge
    Chapter 25 Identifying Dynamic Data Structures by Learning Evolving Patterns in Memory
  27. Altmetric Badge
    Chapter 26 Synthesis of Circular Compositional Program Proofs via Abduction
  28. Altmetric Badge
    Chapter 27 As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty
  29. Altmetric Badge
    Chapter 28 Integer Parameter Synthesis for Timed Automata
  30. Altmetric Badge
    Chapter 29 LTL Model-Checking for Malware Detection
  31. Altmetric Badge
    Chapter 30 Policy Analysis for Self-administrated Role-Based Access Control
  32. Altmetric Badge
    Chapter 31 Model Checking Agent Knowledge in Dynamic Access Control Policies
  33. Altmetric Badge
    Chapter 32 Automatic Testing of Real-Time Graphics Systems
  34. Altmetric Badge
    Chapter 33 Equivalence Checking of Quantum Protocols
  35. Altmetric Badge
    Chapter 34 Encoding Monomorphic and Polymorphic Types
  36. Altmetric Badge
    Chapter 35 Deriving Probability Density Functions from Probabilistic Functional Programs
  37. Altmetric Badge
    Chapter 36 Polyglot: Systematic Analysis for Multiple Statechart Formalisms
  38. Altmetric Badge
    Chapter 37 Memorax, a Precise and Sound Tool for Automatic Fence Insertion under TSO
  39. Altmetric Badge
    Chapter 38 BULL: A Library for Learning Algorithms of Boolean Functions
  40. Altmetric Badge
    Chapter 39 AppGuard – Enforcing User Requirements on Android Apps
  41. Altmetric Badge
    Chapter 40 Model Checking Database Applications
  42. Altmetric Badge
    Chapter 41 Efficient Property Preservation Checking of Model Refinements
  43. Altmetric Badge
    Chapter 42 Strength-Based Decomposition of the Property Büchi Automaton for Faster Model Checking
  44. Altmetric Badge
    Chapter 43 Second Competition on Software Verification
  45. Altmetric Badge
    Chapter 44 CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation
  46. Altmetric Badge
    Chapter 45 CPAchecker with Sequential Combination of Explicit-State Analysis and Predicate Analysis
  47. Altmetric Badge
    Chapter 46 CSeq: A Sequentialization Tool for C
  48. Altmetric Badge
    Chapter 47 Handling Unbounded Loops with ESBMC 1.20
  49. Altmetric Badge
    Chapter 48 LLBMC: Improved Bounded Model Checking of C Programs Using LLVM
  50. Altmetric Badge
    Chapter 49 Predator: A Tool for Verification of Low-Level List Manipulation
  51. Altmetric Badge
    Chapter 50 Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution
  52. Altmetric Badge
    Chapter 51 Threader: A Verifier for Multi-threaded Programs
  53. Altmetric Badge
    Chapter 52 UFO: Verification with Interpolants and Abstract Interpretation
  54. Altmetric Badge
    Chapter 53 Ultimate Automizer with SMTInterpol
Attention for Chapter 35: Deriving Probability Density Functions from Probabilistic Functional Programs
Altmetric Badge

About this Attention Score

  • Average Attention Score compared to outputs of the same age and source

Mentioned by

twitter
1 X user

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
28 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.
Chapter title
Deriving Probability Density Functions from Probabilistic Functional Programs
Chapter number 35
Book title
Tools and Algorithms for the Construction and Analysis of Systems
Published in
Lecture notes in computer science, March 2013
DOI 10.1007/978-3-642-36742-7_35
Book ISBNs
978-3-64-236741-0, 978-3-64-236742-7
Authors

Bhat, Sooraj, Borgström, Johannes, Gordon, Andrew D., Russo, Claudio, Sooraj Bhat, Johannes Borgström, Andrew D. Gordon, Claudio Russo

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 28 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 2 7%
Sweden 1 4%
Luxembourg 1 4%
Unknown 24 86%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 9 32%
Other 5 18%
Researcher 5 18%
Student > Master 4 14%
Professor 2 7%
Other 1 4%
Unknown 2 7%
Readers by discipline Count As %
Computer Science 18 64%
Engineering 3 11%
Mathematics 2 7%
Agricultural and Biological Sciences 1 4%
Neuroscience 1 4%
Other 1 4%
Unknown 2 7%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 1. 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 13 January 2015.
All research outputs
#15,315,142
of 22,778,347 outputs
Outputs from Lecture notes in computer science
#4,646
of 8,124 outputs
Outputs of similar age
#123,510
of 196,654 outputs
Outputs of similar age from Lecture notes in computer science
#16
of 36 outputs
Altmetric has tracked 22,778,347 research outputs across all sources so far. This one is in the 22nd percentile – i.e., 22% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,124 research outputs from this source. They receive a mean Attention Score of 5.0. This one is in the 27th percentile – i.e., 27% 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 196,654 tracked outputs that were published within six weeks on either side of this one in any source. This one is in the 27th percentile – i.e., 27% of its contemporaries scored the same or lower than it.
We're also able to compare this research output to 36 others from the same source and published within six weeks on either side of this one. This one is in the 36th percentile – i.e., 36% of its contemporaries scored the same or lower than it.