Quantitative Evaluation of Systems

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

  • Gethin Norman
  • William Sanders
Conference proceedings QEST 2014

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
    3. Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki, Yasunao Katayama
      Pages 245-248
  9. Process Algebra and Equivalences

    1. Anastasis Georgoulas, Jane Hillston, Dimitrios Milios, Guido Sanguinetti
      Pages 249-264
    2. Cheng Feng, Jane Hillston
      Pages 265-280
  10. Automata and Markov Process Theory

    1. Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare
      Pages 297-312
    2. Nathalie Bertrand, Thomas Brihaye, Blaise Genest
      Pages 313-328
    3. Rohit Chadha, Dileep Kini, Mahesh Viswanathan
      Pages 329-344
  11. Applications, Theory and Tools

    1. Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasche, Marco Paolieri et al.
      Pages 345-367
    2. Yusuke Kawamoto, Konstantinos Chatzikokolakis, Catuscia Palamidessi
      Pages 368-383
    3. An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol, Zbigniew Kalbarczyk
      Pages 384-387
  12. Probabilistic Model Checking

    1. Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov, Youssef Hamadi
      Pages 388-403
    2. Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Ábrahám, Joost-Pieter Katoen et al.
      Pages 404-420
  13. Back Matter

About these proceedings


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.


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
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-319-10695-3
  • Online ISBN 978-3-319-10696-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site