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 has a broad range of interest - the common thread is that the evaluation be quantitative. The range of performance metrics of interest spans classical measures involving performance and reliability, as well as quantification of properties that are classically qualitative, such as safety, correctness, and security. QEST welcomes measurement-based studies as well as analytic studies. QEST welcomes diversity in the model formalisms and methodologies employed, as well as development of new formalisms and methodologies. QEST is keenly interested in case studies that highlight the role of quantitative evaluation in the design of “systems”, where the notion of system is broad. Systems of interest include computer hardware and software architectures, communication systems, embedded systems, and biological systems. Moreover, tools for supporting the practical application of research results in all of the above areas are of special interest, and therefore tool papers are sought. Tool demonstration papers that describe a relevant tool, as well as its features, evaluation, or any other information that may demonstrate the merits of the tool. In short, QEST aims to create a sound methodological basis for assessing and designing systems using quantitative means.
|Submissions:||March 29, 2010|
|Notification:||May 24, 2010|
|Event:||September 15, 2010-September 18, 2010|