↓ Skip to main content

Quantitative Evaluation of Systems

Overview of attention for book
Cover of 'Quantitative Evaluation of Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Quantitative Evaluation of Service Dependability in Shared Execution Environments
  3. Altmetric Badge
    Chapter 2 Multi-agent Networked Systems with Adversarial Elements
  4. Altmetric Badge
    Chapter 3 A Structured Solution Approach for Markov Regenerative Processes
  5. Altmetric Badge
    Chapter 4 Low-Rank Tensor Methods for Communicating Markov Processes
  6. Altmetric Badge
    Chapter 5 A Statistical Approach for Computing Reachability of Non-linear and Stochastic Dynamical Systems
  7. Altmetric Badge
    Chapter 6 Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads
  8. Altmetric Badge
    Chapter 7 Finite Abstractions of Stochastic Max-Plus-Linear Systems
  9. Altmetric Badge
    Chapter 8 Mean Field for Performance Models with Generally-Distributed Timed Transitions
  10. Altmetric Badge
    Chapter 9 Mean-Field Approximation and Quasi-Equilibrium Reduction of Markov Population Models
  11. Altmetric Badge
    Chapter 10 On Performance of Gossip Communication in a Crowd-Sensing Scenario
  12. Altmetric Badge
    Chapter 11 Probabilistic Model Checking of DTMC Models of User Activity Patterns
  13. Altmetric Badge
    Chapter 12 Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks
  14. Altmetric Badge
    Chapter 13 A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
  15. Altmetric Badge
    Chapter 14 The Octave Queueing Package
  16. Altmetric Badge
    Chapter 15 A Perfect Sampling Algorithm of Random Walks with Forbidden Arcs
  17. Altmetric Badge
    Chapter 16 Modelling Replication in NoSQL Datastores
  18. Altmetric Badge
    Chapter 17 On Queues with General Service Demands and Constant Service Capacity
  19. Altmetric Badge
    Chapter 18 Simulation Debugging and Visualization in the Möbius Modeling Framework
  20. Altmetric Badge
    Chapter 19 Scalar: A Distributed Scalability Analysis Framework
  21. Altmetric Badge
    Chapter 20 Non-intrusive Scalable Memory Access Tracer
  22. Altmetric Badge
    Chapter 21 Probabilistic Programming Process Algebra
  23. Altmetric Badge
    Chapter 22 PALOMA: A Process Algebra for Located Markovian Agents
  24. Altmetric Badge
    Chapter 23 On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
  25. Altmetric Badge
    Chapter 24 Continuity Properties of Distances for Markov Processes
  26. Altmetric Badge
    Chapter 25 Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
  27. Altmetric Badge
    Chapter 26 Decidable Problems for Unary PFAs
  28. Altmetric Badge
    Chapter 27 A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids
  29. Altmetric Badge
    Chapter 28 Compositionality Results for Quantitative Information Flow
  30. Altmetric Badge
    Chapter 29 CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems
  31. Altmetric Badge
    Chapter 30 Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains
  32. Altmetric Badge
    Chapter 31 Accelerating Parametric Probabilistic Verification
Attention for Chapter 13: A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (56th percentile)
  • Above-average Attention Score compared to outputs of the same age and source (54th percentile)

Mentioned by

wikipedia
1 Wikipedia page

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 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
A New GreatSPN GUI for GSPN Editing and CSLTA Model Checking
Chapter number 13
Book title
Quantitative Evaluation of Systems
Published in
Lecture notes in computer science, September 2014
DOI 10.1007/978-3-319-10696-0_13
Book ISBNs
978-3-31-910695-3, 978-3-31-910696-0
Authors

Elvio Gilberto Amparore

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Researcher 1 100%
Readers by discipline Count As %
Computer Science 1 100%
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 16 September 2014.
All research outputs
#7,455,523
of 22,792,160 outputs
Outputs from Lecture notes in computer science
#2,487
of 8,127 outputs
Outputs of similar age
#77,140
of 238,646 outputs
Outputs of similar age from Lecture notes in computer science
#89
of 223 outputs
Altmetric has tracked 22,792,160 research outputs across all sources so far. This one is in the 44th percentile – i.e., 44% of other outputs scored the same or lower than it.
So far Altmetric has tracked 8,127 research outputs from this source. They receive a mean Attention Score of 5.0. This one has gotten more attention than average, scoring higher than 55% 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 238,646 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 56% of its contemporaries.
We're also able to compare this research output to 223 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 54% of its contemporaries.