[MMB] First CfP of the First Int. Conf. on Quantitative Evaluation of SysTems (QEST) 2004

katoen at cs.utwente.nl katoen at cs.utwente.nl
Tue Jan 20 10:18:55 MET 2004

[We apologize for multiple copies.]




QEST 2004

1st International Conference on Quantitative Evaluation of SysTems

University of Twente, Enschede, the Netherlands
September 27 -- 30, 2004


QEST is a new series of annual conferences that recently emerged as the merger
of the following individual conferences (that have already been co-located a
couple of times in the past):
- the International Conference on Modeling Techniques and Tools for Computer
  Performance Evaluation (TOOLS),
- the International Workshop on Petri Nets and Performance Models (PNPM),
- the Joint International Workshop on Process Algebras and Performance Modeling
  and Probabilistic Methods In Verification (PAPM-ProbMIV).


Boudewijn Haverkort (the Netherlands)

Giuliana Franceschinis (Italy)
Joost-Pieter Katoen (the Netherlands)
Murray Woodside (Canada)

Andrew Miner (USA)

Marco Bernardo (Italy)

- Abstract submission: March 22, 2004
- Paper submission: March 29, 2004
- Tools & tutorial submission: April 30, 2004
- Author notification: May 24, 2004
- Camera ready version: June 21, 2004

The 1st International Conference on Quantitative Evaluation of Systems combines
three events that have discovered an increasing convergence in their interests
and in their communities of researchers.

The objective of the conference is to be the major forum for contributions on
all kinds of evaluation and verification of computer and communication systems,
through measurements and stochastic models, possibly incorporating
non-deterministic behaviour.

Topics of interest cover the areas of modelling formalisms and methodologies,
measurements, analytical and numerical evaluation, simulation and verification,
and theory of probabilistic systems. Moreover, tools for supporting the 
practical application of research results in all the above areas, and case 
studies showing the practical applicability of such results are also 
explicitly addressed.  Properties of interest include, but are not limited to 
performance, dependability (e.g., reliability, availability), safety, 
security, and survivability.

In a more detailed fashion, we encourage submissions on all of the following 
probabilistic decision making and planning,
verification of stochastic and probabilistic systems,
formal specification techniques,
stochastic and timed Petri nets,
stochastic process algebras,
probabilistic extensions of UML,
schedulability analysis,
stochastic and timed automata,
concurrency theory for probabilistic systems,
performance, dependability and robustness testing,
analysis of randomized algorithms,
numerical and analytical evaluation techniques,
efficient simulation techniques,
approximate schemes, optimization techniques,
model-checking algorithms,
non-Markovian system models and algorithms,
queueing networks,
hybrid and hierarchical modelling and evaluation techniques,
performance, dependability, and security evaluation,
measurement and benchmarking,
software tools in suppport of all these quantitative evaluation techniques,
practical experience reports and case studies showing the role of
quantitative evaluation in the design of systems and applications
including computer architecture, distributed and fault-tolerant systems,
wireline and wireless communication, embedded systems, web-based systems
and safety-critical systems.

Submitted papers shall be written in English and should not exceed 20
double-spaced pages. Please follow the instructions for electronic submission
given on the Conference Homepage. The final version will be limited to 10 pages
in the IEEE double column format. Papers must be unpublished and must not be
submitted for publication elsewhere. 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.

Special sessions will be arranged to present and demonstrate tools relevant to
any topic covered by the conference. Please send a tool description (up to six
pages) to the tools chair Andrew Miner. Accepted tool descriptions will be
printed in a special volume distributed to all attendees.

There will be one day of tutorials at the beginning of the conference.
Tutorial proposals should be sent to the Tutorials Chair.

Luca de Alfaro (USA)                Jane Hillston (UK)
Christel Baier (Germany)            Peter Kemper (Germany)
Gianfranco Balbo (Italy)            Marta Kwiatkowska (UK)
Bernard Berthomieu (France)         Kim G. Larsen (Denmark)
Jonathan Billington (Australia)     Raymond Marie (France)
Peter Buchholz (Germany)            Annabelle McIver (Australia)
Mariacarla Calzarossa (Italy)       Daniel Menasce (USA)
Javier Campos (Spain)               Aad van Moorsel (Germany)
Lucy Cherkasova (USA)               Ramon Puignajer (Spain)
Soren Christensen (Denmark)         Gerardo Rubino (France)
Gianfranco Ciardo (USA)             William H. Sanders (USA)
Josée Desharnais (Canada)           Philippe Schnoebelen (France)
Tony Field (UK)                     Roberto Segala (Italy)
Reinhard German (Germany)           Evgenia Smirni (USA)
Robert L. Givan (USA)               Miklos Telek (Hungary)
Roberto Gorrieri (Italy)            Kishor Trivedi (USA)
Serge Haddad (France)               Moshe Vardi (USA)
Guenther Haring (Austria)           Katinka Wolter (Germany)
Peter Harrison (UK)                 Pieter Kritzinger (South Africa)


More information about the MMB mailing list