Call-for-Participation: QEST 2014

Monday, August 25, 2014 04:00

The 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014) technically co-sponsored by SPEC RG is held in Florence, Italiy from Sep 8 to Sep 10, 2014.

The 11th International Conference on Quantitative Evaluation of SysTems (QEST 2014)

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.

Part of QEST's three-day programm is a keynote talk from the chair of SPEC RG, Samuel KounevQuantitative Evaluation of Service Dependability in Shared Execution Environments.

QEST is co-located with FORMATS 2014, SAFECOMP 2014, EPEW 2014, FMICS 2014. Information on all the conferences is provided at FLORENCE 2014.