Call for Papers
2nd International Conference on Quantitative Evaluation of SysTems
Torino, Italy, September 19-22, 2005
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.
QEST combines three events:
SCOPE & TOPICSQuantitative properties of interest include, but are not limited to, performance, dependability (e.g., reliability, availability), safety, security, survivability, correctness, timeliness, and efficiency. Topics of interest cover the areas of modelling 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 and applications including computer architecture, 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. Example topics of interest include:
SUBMISSIONSWe invite authors to submit papers with original material related to the topics of the conference, written in English, and formatted in the IEEE double column format. The length of the paper should not exceed 10 pages. Additional material for the aid of the reviewers (e.g. proofs, definitions) can be presented in a clearly marked appendix. Papers must be unpublished and must not be submitted for publication elsewhere. Accepted papers must be presented at the conference by one of the authors. The proceedings will be published by IEEE.
All papers will be thoroughly reviewed by at least 3 referees on the basis of their originality and their scientific and practical contribution to the state of the art. An award for best paper will be presented at the conference.
Authors are required to submit electronically the title and the abstract of the paper before submitting the full paper.
TOOL SESSIONA special session will be arranged to present and demonstrate tools relevant to any topic covered by the conference. Accepted tool descriptions will appear in the conference proceedings (2 pages, IEEE format).
WORK-IN-PROGRESS SESSIONA special session will be arranged to present preliminary work. Authors are invited to submit short papers (2 pages, IEEE format).
TOOL DEMO CHAIRMatteo Sereno (Italy)
TECHNICAL PROGRAM COMMITTEE
QEST STEERING COMMITTEE
PUBLICITY CHAIRJeremy Sproston (Italy)
Web Maintenance Person.