Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Quantitative Evaluation of Systems

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

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)

Conference series link(s): QEST: International Conference on Quantitative Evaluation of Systems

Conference proceedings info: QEST 2013.

Sections

Buy it now

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

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

Table of contents (32 papers)

  1. Session 6: Systems

    2. Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g

      • Daniel Happ, Philipp Reinecke, Katinka Wolter
      Pages 258-273

  2. Session 7: Tools Demos II

    1. VeriSiMPL: Verification via biSimulations of MPL Models

      • Dieky Adzkiya, Alessandro Abate
      Pages 274-277

    2. The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models

      • Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
      Pages 278-281

    3. Möbius Shell: A Command-Line Interface for Möbius

      • Ken Keefe, William H. Sanders
      Pages 282-285

    4. A CTL Model Checker for Stochastic Automata Networks

      • Lucas Oleksinski, Claiton Correa, Fernando Luís Dotti, Afonso Sales
      Pages 286-289

  3. Session 8: Control and Games

    1. The Steady-State Control Problem for Markov Decision Processes

      • S. Akshay, Nathalie Bertrand, Serge Haddad, Loïc Hélouët
      Pages 290-304

    3. Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving

      • Taolue Chen, Marta Kwiatkowska, Aistis Simaitis, Clemens Wiltsche
      Pages 322-337

    4. Stochastic Parity Games on Lossy Channel Systems

      • Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg
      Pages 338-354

  4. Session 9: Timed Automata and Simulation

    1. Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes

      • Paolo Ballarini, Nathalie Bertrand, András Horváth, Marco Paolieri, Enrico Vicario
      Pages 355-371

    2. Automated Rare Event Simulation for Stochastic Petri Nets

      • Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt, Boudewijn Haverkort
      Pages 372-388

    3. Topology-Based Mobility Models for Wireless Networks

      • Ansgar Fehnker, Peter Höfner, Maryam Kamali, Vinay Mehta
      Pages 389-404

  5. Back Matter

    PDF
Back to top

Other Volumes

  1. Quantitative Evaluation of Systems

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation