Skip to main content
SpringerLink
Log in

Quantitative Evaluation of Systems

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Kaustubh Joshi

    1. AT&T Labs Research, Florham Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Markus Siegle

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mariëlle Stoelinga

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Pedro R. D’Argenio

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8054)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: QEST 2013.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (32 papers)

  1. Front Matter

    Download chapter 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
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation