EXTENDED DEADLINE: March 24th abstract, March 31st full paper
The International Conference on Quantitative Evaluation of SysTems (QEST) is a major forum for contributions on evaluation and verification of computer and communication systems, through measurements and stochastic models, possibly incorporating non-deterministic behaviour. It combines three events that have discovered an increasing convergence in their interests and in their communities of researchers:
Quantitative properties of interest include performance, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency.
Topics of interest cover the areas of modeling 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.