Quantitative Evaluation of Systems

1. Front Matter

   PDF

2. Session 1: Invited Talks

   1. Computer-Aided Security Proofs

      • Gilles Barthe

      Pages 1-2

   2. On the Interplay between Content Popularity and Performance in P2P Systems

      • Edmundo de Souza e Silva, Rosa M. M. Leão, Daniel Sadoc Menasché, Antonio A. de A. Rocha

      Pages 3-21

3. Session 2: Probabilistic Automata and Markov Automata

   1. Refinement and Difference for Probabilistic Automata

      • Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay

      Pages 22-38

   2. High-Level Counterexamples for Probabilistic Automata

      • Ralf Wimmer, Nils Jansen, Andreas Vorpahl, Erika Ábrahám, Joost-Pieter Katoen, Bernd Becker

      Pages 39-54

   3. Modelling, Reduction and Analysis of Markov Automata

      • Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen, Mark Timmer

      Pages 55-71

   4. Deciding Bisimilarities on Distributions

      • Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang

      Pages 72-88

4. Session 3: Population Models

   1. Learning and Designing Stochastic Processes from Logical Constraints

      • Luca Bortolussi, Guido Sanguinetti

      Pages 89-105

   2. Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models

      • David Spieler

      Pages 106-122

   3. Model Checking Markov Population Models by Central Limit Approximation

      • Luca Bortolussi, Roberta Lanciani

      Pages 123-138

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

      • Laura Aspirot, Ernesto Mordecki, Gerardo Rubino

      Pages 139-154

5. Session 4: Tool Demos I

   1. Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm

      • Rastislav Lenhardt

      Pages 155-159

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

      • Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards

      Pages 160-164

   3. STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems

      • Yi Deng, Akshay Rajhans, A. Agung Julius

      Pages 165-168

   4. PEPERCORN: Inferring Performance Models from Location Tracking Data

      • Nikolas Anastasiou, William Knottenbelt

      Pages 169-172

   5. ADTool: Security Analysis with Attack–Defense Trees

      • Barbara Kordy, Piotr Kordy, Sjouke Mauw, Patrick Schweitzer

      Pages 173-176

6. Session 5: Model Checking and Systems

   1. SAT-Based Analysis and Quantification of Information Flow in Programs

      • Vladimir Klebanov, Norbert Manthey, Christian Muise

      Pages 177-192

   2. Prinsys—On a Quest for Probabilistic Loop Invariants

      • Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver

      Pages 193-208

   3. Revisiting Weak Simulation for Substochastic Markov Chains

      • David N. Jansen, Lei Song, Lijun Zhang

      Pages 209-224

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

      • Miyuru Dayarathna, Toyotaro Suzumura

      Pages 225-240

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.

• Markov decision processes
• computer networks
• performance evaluation
• stochastic model checking
• theory of probability

• AT&T Labs Research, Florham Park, USA

  Kaustubh Joshi

• Institut für Technische Informatik, Universität der Bundeswehr München, Neubiberg, Germany

  Markus Siegle

• Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, Enschede, The Netherlands

  Mariëlle Stoelinga

• Facultad de Matemáticas, Astronomía y Física, Universidad Nacional de Córdoba – CONICET, Córdoba, Argentina

  Pedro R. D’Argenio

Policies and ethics