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

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
 Prinsys —On a Quest for Probabilistic Loop Invariants....Pages 193-208
Revisiting Weak Simulation for Substochastic Markov Chains....Pages 209-224
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking....Pages 225-240
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems....Pages 241-257
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g....Pages 258-273
 VeriSiMPL : Verification via biSimulations of MPL Models....Pages 274-277
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models....Pages 278-281
Möbius Shell: A Command-Line Interface for Möbius....Pages 282-285
A CTL Model Checker for Stochastic Automata Networks....Pages 286-289
The Steady-State Control Problem for Markov Decision Processes....Pages 290-304
Symbolic Control of Stochastic Switched Systems via Finite Abstractions....Pages 305-321
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving....Pages 322-337
Stochastic Parity Games on Lossy Channel Systems....Pages 338-354
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes....Pages 355-371
Automated Rare Event Simulation for Stochastic Petri Nets....Pages 372-388
Topology-Based Mobility Models for Wireless Networks....Pages 389-404
Back Matter....Pages -