Ebook: Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings

This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation.
Content:
Front Matter....Pages -
Computer-Aided Security Proofs....Pages 1-2
On the Interplay between Content Popularity and Performance in P2P Systems....Pages 3-21
Refinement and Difference for Probabilistic Automata....Pages 22-38
High-Level Counterexamples for Probabilistic Automata....Pages 39-54
Modelling, Reduction and Analysis of Markov Automata....Pages 55-71
Deciding Bisimilarities on Distributions....Pages 72-88
Learning and Designing Stochastic Processes from Logical Constraints....Pages 89-105
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models....Pages 106-122
Model Checking Markov Population Models by Central Limit Approximation....Pages 123-138
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions....Pages 139-154
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm....Pages 155-159
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library....Pages 160-164
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems....Pages 165-168
PEPERCORN: Inferring Performance Models from Location Tracking Data....Pages 169-172
ADTool: Security Analysis with Attack–Defense Trees....Pages 173-176
SAT-Based Analysis and Quantification of Information Flow in Programs....Pages 177-192
Revisiting Weak Simulation for Substochastic Markov Chains....Pages 193-208
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking....Pages 209-224
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems....Pages 225-240
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g....Pages 241-257
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models....Pages 258-273
Möbius Shell: A Command-Line Interface for Möbius....Pages 274-277
A CTL Model Checker for Stochastic Automata Networks....Pages 278-281
The Steady-State Control Problem for Markov Decision Processes....Pages 282-285
Symbolic Control of Stochastic Switched Systems via Finite Abstractions....Pages 286-289
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving....Pages 290-304
Stochastic Parity Games on Lossy Channel Systems....Pages 305-321
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes....Pages 322-337
Automated Rare Event Simulation for Stochastic Petri Nets....Pages 338-354
Topology-Based Mobility Models for Wireless Networks....Pages 355-371
Back Matter....Pages 372-388
....Pages 389-404