banner
qest logo
14th International Conference on Quantitative Evaluation of SysTems (QEST 2017)

QEST 2017 will be held in Berlin, Germany
at Harnack House September 5-7, 2017

Co-located with the 28th International Conference on Concurrency Theory (CONCUR 2017)
and the 14th European Performance Engineering Workshop (EPEW 2017)

Berlin
Berlin, Brandenburg Gate (© visitBerlin, photograph: Wolfgang Scholvien)


For 14 years now, the International Conference on Quantitative Evaluation of Systems (QEST) has been the leading forum on quantitative evaluation and verification of computer systems and networks, through stochastic models and measurements.

This is an open call for papers related to the themes of the QEST conference series. Submission deadline is March 24, 2017.

For more details, see the Call for Papers.


General Chair: Katinka Wolter (FU Berlin, Germany)
PC co-chairs: Nathalie Bertrand (INRIA Rennes Bretagne-Atlantique, France)
Luca Bortolussi (University of Trieste, Italy)
Workshop Chair: William Knottenbelt (Imperial College London, UK)
Tools Chair: Marco Paolieri (University of Southern California, USA)
Tutorials Chair: Susanna Donatelli (University of Torino, Italy)
Student Forum Chair: Huaming Wu (Tianjin University, China)
Publicity co-chairs: Ezio Bartocci (TU Wien, Austria)
Antonio Filieri (Imperial College London, UK)
Local Organization: Katinka Wolter (FU Berlin, Germany)

The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measurements.

Performance metrics of interest include response time, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Areas of interest include modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behaviour. Also of interest are case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems.

Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST and therefore tool papers are sought.

In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.