↓ 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 Property-Driven State-Space Coarsening for Continuous Time Markov Chains
  3. Altmetric Badge
    Chapter 2 Optimal Aggregation of Components for the Solution of Markov Regenerative Processes
  4. Altmetric Badge
    Chapter 3 Data-Efficient Bayesian Verification of Parametric Markov Chains
  5. Altmetric Badge
    Chapter 4 Exploiting Robust Optimization for Interval Probabilistic Bisimulation
  6. Altmetric Badge
    Chapter 5 Approximation of Probabilistic Reachability for Chemical Reaction Networks Using the Linear Noise Approximation
  7. Altmetric Badge
    Chapter 6 Polynomial Analysis Algorithms for Free Choice Probabilistic Workflow Nets
  8. Altmetric Badge
    Chapter 7 Energy-Aware Server with SRPT Scheduling: Analysis and Optimization
  9. Altmetric Badge
    Chapter 8 Dynamic Control of the Join-Queue Lengths in Saturated Fork-Join Stations
  10. Altmetric Badge
    Chapter 9 Moment-Based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems
  11. Altmetric Badge
    Chapter 10 Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0
  12. Altmetric Badge
    Chapter 11 Spnps: A Tool for Perfect Sampling in Stochastic Petri Nets
  13. Altmetric Badge
    Chapter 12 CARMA Eclipse Plug-in: A Tool Supporting Design and Analysis of Collective Adaptive Systems
  14. Altmetric Badge
    Chapter 13 Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement
  15. Altmetric Badge
    Chapter 14 Inferring Covariances for Probabilistic Programs
  16. Altmetric Badge
    Chapter 15 Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-Based Analyses
  17. Altmetric Badge
    Chapter 16 Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement
  18. Altmetric Badge
    Chapter 17 Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent
  19. Altmetric Badge
    Chapter 18 Compact Representation of Solution Vectors in Kronecker-Based Markovian Analysis
  20. Altmetric Badge
    Chapter 19 A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network Using ADVISE
  21. Altmetric Badge
    Chapter 20 Traffic Modeling with Phase-Type Distributions and VARMA Processes
  22. Altmetric Badge
    Chapter 21 An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing
  23. Altmetric Badge
    Chapter 22 Maintenance Analysis and Optimization via Statistical Model Checking
  24. Altmetric Badge
    Chapter 23 Quantitative Evaluation of Systems
  25. Altmetric Badge
    Chapter 24 Decoupling Passenger Flows for Improved Load Prediction
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
5 X users
reddit
1 Redditor

Readers on

mendeley
4 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 International Publishing, August 2016
DOI 10.1007/978-3-319-43425-4
ISBNs
978-3-31-943424-7, 978-3-31-943425-4
Editors

Agha, Gul, Van Houdt, Benny

X Demographics

X Demographics

The data shown below were collected from the profiles of 5 X users 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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 1 25%
Lecturer > Senior Lecturer 1 25%
Unspecified 1 25%
Student > Bachelor 1 25%
Readers by discipline Count As %
Computer Science 3 75%
Unspecified 1 25%