Upcoming Events

 

QEST 2015 will be held in Madrid, Spain, on September 1-3, 2015.

 

 

About QEST
 

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, possibly incorporating non-deterministic behavior. Its roots lie in three formerly independent events:

  • the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS),
  • the International Workshop on Petri Nets and Performance Models (PNPM),
  • the Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV)

Quantitative properties of interest include performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Topics of interest cover the areas of modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic systems, as well as 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. In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.

All of the QEST Proceedings are available on-line in a digital library. In addition, the DBLP bibliography server hosts a page for QEST.

 

Steering Committee

SC Members

Until

Elected
Alessandro Abate
Anne Remke
Jane Hillston
Luca Bortolussi
Holger Hermanns
Nathalie Bertrand


2017
2017
2016
2016
2015
2015

Five Past General Chairs
Enrico Vicario
Pedro D'Argenio
William Knottenbelt
Joost-Pieter Katoen*
Peter Kemper



2019
2018
2017
2016
2015

Ex Officio Member
Boudewijn Haverkort

 
*steering committee chair

 

QEST Constitution

The QEST Constitution governs the organization of the QEST community and its series of conferences.

 

Past Events

 

 

Past Program Committee Chairs

 

 

Past Steering Committee Members

 

Web Maintenance Person