↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 tweeter
wikipedia
2 Wikipedia pages

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
21 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
Quantitative Evaluation of Systems
Published by
Springer, Cham, January 2014
DOI 10.1007/978-3-319-10696-0
ISBNs
978-3-31-910695-3, 978-3-31-910696-0
Editors

Gethin Norman, William Sanders

Twitter Demographics

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

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 21 100%

Demographic breakdown

Readers by professional status Count As %
Unspecified 1 5%
Unknown 20 95%
Readers by discipline Count As %
Unspecified 1 5%
Unknown 20 95%