CONCUR 2013, the 24th International Conference on Concurrency Theory,
FORMATS 2013, the 11th Intl. Conf. on Formal Modeling and Analysis of Timed Systems,
TGC 2013, the 8th International Symposium on Trustworthy Global Computing.
Obelisco. Intersection of avenues 9 de Julio and Corrientes
|General Chair:||Pedro R. D'Argenio (Universidad Nacional de Córdoba, CONICET, AR)|
Kaustubh Joshi (AT&T Labs Research, US) |
Markus Siegle (Universität der Bundeswehr München, DE)
Mariëlle Stoelinga (University of Twente, NL)
|Tools Chair:||Kai Lampka (Uppsala University, SE)|
|Tutorials Chair:||Lijun Zhang (Technical University of Denmark, DK)|
|Local Organization:||Hernán Melgratti (Universidad de Buenos Aires, CONICET, AR)|
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.
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 and verification, and theory of probabilistic, concurrent and non-deterministic behaviour. 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.
Moreover, 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 computing systems and networks.