qest logo
8th International Conference on Quantitative Evaluation of SysTems (QEST) 2011

QEST 2011 will be held in Aachen, Germany
at the RWTH Aachen University, September 5 - 8, 2011.

Co-located with CONCUR '11,
the 22nd International Conference on Concurrency Theory, and

TGC '11,

the 6th International Symposium on Trustworthy Global Computing.

Registration for QEST is now open (via Webpage of CONCUR 2011)
Early Registration: until July 31, 2011. Late Registration: until August 25, 2011.

Super C Building (Conference Venue),
      RWTH Aachen University
Super C Building (Conference Venue), RWTH Aachen University

  • PC co-chairs: Catuscia Palamidessi (INRIA) and Alma Riska (EMC)
  • Tools Chair: Anne Remke (University of Twente)
  • Tutorials Chair: Gethin Norman (University Glasgow)
  • Publicity Chair: Verena Wolf (Saarland University)
  • General Chair: Joost-Pieter Katoen (RWTH Aachen)

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.

Jun 20, 2011
Registration is open.
Jun 10, 2011
Have a look a the accepted papers
Apr 22, 2011
PDF version of Call for Fast Abstracts online
Apr 15, 2011
Call for Fast Abstracts online
Mar 9, 2011
Submission deadlines extended by two weeks
Feb 1, 2011
Submission page open
Jan 2011
Web page updated, CfP online

Organized by

C. Palamidessi
A. Riska
General Chair
J-P Katoen