Quantitative Evaluation of Systems

10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

ISBN: 978-3-642-40195-4 (Print) 978-3-642-40196-1 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Session 1: Invited Talks

    1. No Access

      Book Chapter

      Pages 1-2

      Computer-Aided Security Proofs

    2. No Access

      Book Chapter

      Pages 3-21

      On the Interplay between Content Popularity and Performance in P2P Systems

  3. Session 2: Probabilistic Automata and Markov Automata

    1. No Access

      Book Chapter

      Pages 22-38

      Refinement and Difference for Probabilistic Automata

    2. No Access

      Book Chapter

      Pages 39-54

      High-Level Counterexamples for Probabilistic Automata

    3. No Access

      Book Chapter

      Pages 55-71

      Modelling, Reduction and Analysis of Markov Automata

    4. No Access

      Book Chapter

      Pages 72-88

      Deciding Bisimilarities on Distributions

  4. Session 3: Population Models

    1. No Access

      Book Chapter

      Pages 89-105

      Learning and Designing Stochastic Processes from Logical Constraints

    2. No Access

      Book Chapter

      Pages 106-122

      Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models

    3. No Access

      Book Chapter

      Pages 123-138

      Model Checking Markov Population Models by Central Limit Approximation

    4. No Access

      Book Chapter

      Pages 139-154

      Fluid Limit for the Machine Repairman Model with Phase-Type Distributions

  5. Session 4: Tool Demos I

    1. No Access

      Book Chapter

      Pages 155-159

      Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm

    2. No Access

      Book Chapter

      Pages 160-164

      PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library

    3. No Access

      Book Chapter

      Pages 165-168

      STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems

    4. No Access

      Book Chapter

      Pages 169-172

      PEPERCORN: Inferring Performance Models from Location Tracking Data

    5. No Access

      Book Chapter

      Pages 173-176

      ADTool: Security Analysis with Attack–Defense Trees

  6. Session 5: Model Checking and Systems

    1. No Access

      Book Chapter

      Pages 177-192

      SAT-Based Analysis and Quantification of Information Flow in Programs

    2. No Access

      Book Chapter

      Pages 193-208

      Prinsys—On a Quest for Probabilistic Loop Invariants

    3. No Access

      Book Chapter

      Pages 209-224

      Revisiting Weak Simulation for Substochastic Markov Chains

    4. No Access

      Book Chapter

      Pages 225-240

      A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking

  7. Session 6: Systems

    1. No Access

      Book Chapter

      Pages 241-257

      Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems

previous Page of 2