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.
QEST Proceedings for 2004 through 2012
are available online in the IEEE Computer Society's digital library; the
QEST Proceedings for 2013 and later
are available on Springer's website.
In addition, the
DBLP bibliography server hosts a page for QEST.