QEST 2018 will be held in Beijing, China
September 4-7, 2018
QEST 2018 will be part of CONFESTA
CONCUR (International Conference on Concurrency Theory),
FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) and
SETTA (Symposium on Dependable Software Engineering)
The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on quantitative evaluation and verification of systems and networks based on their probabilistic, temporal and other non-deterministic aspects.
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, verification, and theory of stochastic, non-deterministic and concurrent behavior. 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.
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 systems and networks.
QEST 2018 has submission deadline on the 4th of April, 2018. For more details, see the Call for Papers.
Extended versions of the best papers will be considered for possible fast-track publication in the ACM Transactions on Modeling and Performance Evaluation of Computing Systems (TOMPECS).
Huimin Lin (Chinese Academy of Sciences
Andras Horvath (University of Turin, Italy)
Annabelle McIver (Macquarie University, Australia)