QEST'05 2nd International Conference on Quantitative Evaluation of SysTems

OVERVIEW
The International Conference on Quantitative Evaluation of SysTems 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. It combines three
events: the International Conference on Modeling Techniques and Tools for Computer Performance Evaluation (TOOLS), the International Workshop on Petri Nets and Performance Models (PNPM), and the Joint International Workshop on Process Algebras and Performance Modeling and Probabilistic Methods In Verification (PAPM-ProbMIV), that have discovered an increasing convergence in their interests and in their communities of researchers. The 1st QEST conference was held at the University of Twente in 2004. The 2nd QEST conference will be held in Torino, the city that hosted the first PNPM workshop twenty years ago. Torino has also hosted TOOLS in 1991 and PAPM in 1996.
SCOPE & TOPICS
Quantitative 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:
stochastic and timed Petri nets;
stochastic process algebras;
stochastic and timed automata;
queueing networks;
Markov chains;
non-Markovian models and algorithms;
numerical and analytical solution techniques; efficient simulation techniques; formal specification techniques; quantitative extensions of UML; measurements and benchmarking; schedulability analysis; verification of stochastic and probabilistic systems; concurrency theory for probabilistic systems; analysis of randomized algorithms; model-checking algorithms; optimization techniques; probabilistic decision-making and planning; hybrid and hierarchical modelling and evaluation techniques;