Quantitative Evaluation of Systems

11th International Conference, QEST 2014, Florence, Italy, September 8-10, 2014. Proceedings

  • Gethin Norman
  • William Sanders

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

Table of contents

  1. Front Matter
  2. Keynote Presentations

  3. Kronecker and Product Form Methods

    1. Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
      Pages 9-24
    2. Daniel Kressner, Francisco Macedo
      Pages 25-40
  4. Hybrid Systems

    1. Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle, Alessandro Abate
      Pages 57-73
    2. Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate
      Pages 74-89
  5. Mean Field/Population Analysis

    1. Richard A. Hayden, Illés Horváth, Miklós Telek
      Pages 90-105
    2. Marcel C. Guenther, Jeremy T. Bradley
      Pages 122-137
  6. Models and Tools

    1. Oana Andrei, Muffy Calder, Matthew Higgs, Mark Girolami
      Pages 138-153
    2. Geert Heijenk, Martijn van Eenennaam, Anne Remke
      Pages 154-169
    3. Elvio Gilberto Amparore
      Pages 170-173
    4. Moreno Marzolla
      Pages 174-177
  7. Simulation

    1. Stéphane Durand, Bruno Gaujal, Florence Perronnin, Jean-Marc Vincent
      Pages 178-193
    2. Rasha Osman, Pietro Piazzolla
      Pages 194-209
  8. Queueing, Debugging and Tools

    1. Herwig Bruneel, Wouter Rogiest, Joris Walraevens, Sabine Wittevrongel
      Pages 210-225
    2. Thomas Heyman, Davy Preuveneers, Wouter Joosen
      Pages 241-244

About these proceedings

Introduction

This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking.

Keywords

Markov processes computer networks formal languages and automata theory formal methods hardware validation model checking models of computation performance evaluation reliability safety critical systems simulation stochastic model checking theory of computation theory of probability timed and hybrid models verification

Editors and affiliations

  • Gethin Norman
    • 1
  • William Sanders
    • 2
  1. 1.School of Computing ScienceUniversity of GlasgowGlasgowUK
  2. 2.University of IllinoisUrbanaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-10696-0
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-10695-3
  • Online ISBN 978-3-319-10696-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book