qest logo
Call for papers

QEST 2007
Download the PDF version of the CFP

4th International Conference on Quantitative Evaluation of SysTems
Symposium Hall at the Royal College of Surgeons, Edinburgh, Scotland
16th-19th September, 2007


Scope and Topics
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. QEST combines four former events: PNPM (Workshop on Petri Nets and Performance Models), PAPM (Workshop on Process Algebra and Performance Modelling), PROBMIV (Workshop on Probabilistic Methods in Verification) and TOOLS (Conference on Modelling Techniques and Tools for Computer Performance Evaluation).

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.

Example topics of interest include:
- schedulability analysis;
- verification of stochastic and probabilistic systems;
- concurrency theory for probabilistic systems;
- analysis of randomized algorithms;
- model-checking algorithms;
- optimization techniques;
- probabilistic decision-making and planning;
- hybrid and hierarchical modelling and evaluation techniques;
- stochastic and timed automata;
- queueing networks;
- Markov chains;
- non-Markovian models and algorithms;
- numerical and analytical solution techniques;
- efficient simulation techniques;
- formal specification techniques;
- quantitative extensions of UML;
- measurement and benchmarking.

We invite submissions of original papers, in English, related to the topics of the conference and formatted in the IEEE double-column format. Electronic submission instructions may be found at Submitted papers should not exceed 10 pages. Additional material for the aid of the reviewers (e.g., proofs) can be presented in a clearly-marked appendix. Papers must be unpublished and must not be submitted for publication elsewhere. All papers will be thoroughly reviewed by at least 3 referees on the basis of originality and scientific and practical contributions to the state of the art. Accepted papers will appear in the Conference Proceedings, published by IEEE Computer Society Press, and must be presented at the conference by one of the authors. A best-paper award will be presented at the conference.
Selected papers will appear in a special issue of IEEE Transactions on Software Engineering.
Tool presentations
Sessions will be arranged to present and demonstrate tools relevant to any conference topic. Tool submissions (2 pages, IEEE double-column format) should be sent to the Tool Chair. Accepted tool descriptions will appear in the conference proceedings.
There will be one day of tutorials at the start of the conference, on Sunday 16th September. The tutorials will take place in the Appleton Tower (num. 24 on the map) of the University of Edinburgh.
Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair.
  • Abstract submission: 24th March, 2007
  • Paper submission: 31st March, 2007
  • Tool & Tutorial submission: 15th May, 2007
  • Author notification: 7th June, 2007
  • Camera ready copy due: 2nd July, 2007
Chairs and Committees

General Chair
- Jane Hillston (UK)

Programme Co-chairs
- Mor Harchol-Balter (USA)
- Marta Kwiatkowska (UK)
- Miklos Telek (Hungary)

Tools Chair
- William Knottenbelt (UK)

Tutorial Chair
- Roberto Segala (Italy)

Local Organisation Chair
- Stephen Gilmore (UK)

Publicity Chair
- Marina Ribaudo (Italy)

Steering Committee
- Gianfranco Balbo (Italy)
- Gianfranco Ciardo (USA)
- Pedro D'Argenio (Argentina)
- Susanna Donatelli (Italy)
- Boudewijn Haverkort (The Netherlands)
- Holger Hermanns (DE)
- Joost-Pieter Katoen (Germany)
- Peter Kemper (USA)
- Marta Kwiatkowska (UK)
- William H. Sanders (USA, chair)
- Roberto Segala (Italy)
- Evgenia Smirni (USA)

Technical Programme Committee
- Parosh Abdulla (Sweden)
- Gul Agha (USA)
- Christel Baier (Germany)
- Gianfranco Balbo (Italy)
- Thomas Bonald (France)
- Peter Buchholz (Germany)
- Juan Carrasco (Spain)
- Gianfranco Ciardo (USA)
- Pierpaolo Degano (Italy)
- Rocco De Nicola (Italy)
- Susanna Donatelli (Italy)
- Kousha Etessami (UK)
- Jean-Michel Fourneau (FR)
- Boudewijn Haverkort (The Netherlands)
- Armin Heindl (Germany)
- Tom Henzinger (Switzerland)
- Andras Horvath (Italy)
- Michael Huth (UK)
- Radha Jagadeesan (USA)
- Joost-Pieter Katoen (Germany)
- Peter Kemper (USA)
- William Knottenbelt (UK)
- Annabelle McIver (Australia)
- Gethin Norman (UK)
- Manuel Nunez (Spain)
- Takayuki Osogami (Japan)
- Catuscia Palamidessi (France)
- Prakash Panangaden (CA)
- Wojciech Penczek (Poland)
- Alma Riska (USA)
- Gerardo Rubino (France)
- William Sanders (USA)
- Sanjay Shakkottai (USA)
- Vitaly Shmatikov (USA)
- Evgenia Smirni (USA)
- Kishor Trivedi (USA)
- Benny van Houdt (Belgium)
- Aad P. A. van Moorsel (UK)
- Cathy Xia (USA)
- David Yao (USA)
- Bert Zwart (USA)

Oct 07
QEST'07 photo album available. [read more]

Sep 07
Graduate symposium and list of accepted posters [read more]

Jun 07
Accepted papers

Accepted tool papers

May 07
Special issue of IEEE TSE [read more]

Organised by



Read about QEST 2007 sponsors