[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] [qest-announce] CFP: QEST 2010

Apologies for multiple copies

                        Call for Papers
 7th International Conference on Quantitative Evaluation of SysTems
                           QEST 2010


     College of William & Mary, Computer Science Department
        15th-18th September, 2010, Williamsburg, VA, USA

   *** co-located with the 6th International Workshop on the ***
      *** Numerical Solution of Markov Chains (NSMC'10) ***

              in cooperation with ACM SIGMETRICS


 Abstract submission by                           22 March, 2010
 Paper and tool submission by                     29 March, 2010
 Tutorial submission by                           26 April, 2010
 Author notification by                           24 May,   2010
 Camera ready version by                          14 June,  2010

Selected papers will appear in a special issue of the Elsevier Performance
Evaluation Journal.


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. QEST has a broad range
of interest - the common thread is that the evaluation be quantitative. The
range of performance metrics of interest spans classical measures involving
performance and reliability, as well as quantification of properties that
are classically qualitative, such as safety, correctness, and security.
QEST welcomes measurement-based studies as well as analytic studies. QEST
welcomes diversity in the model formalisms and methodologies employed, as
well as development of new formalisms and methodologies. QEST is keenly
interested in case studies that highlight the role of quantitative evaluation
in the design of "systems", where the notion of system is broad. Systems of
interest include computer hardware and software architectures, communication
systems, embedded systems, and biological systems. Moreover, tools for
supporting the practical application of research results in all of the
above areas are of special interest, and therefore tool papers are sought.
Tool demonstration papers that describe a relevant tool, as well as
its features,
evaluation, or any other information that may demonstrate the merits
of the tool.
In short, QEST aims to create a sound methodological basis for assessing
and designing systems using quantitative means.


Submissions must be in English, IEEE double-column format, and
must indicate the above paper type. Electronic submission instructions may
be found at www.qest.org. Submitted papers should not exceed 10 pages (2 for
tool demonstrations). Additional material for the aid of the reviewers
(e.g., proofs)  can be included in a clearly marked appendix. Papers must be
unpublished and must not be submitted for publication elsewhere. PC members,
except program co-chairs, may submit papers.

All accepted papers (including tool demonstrations) will appear in the
Conference Proceedings published by the IEEE Computer Society Press, and
must be presented at the conference by one of the authors. A best-paper award
will be presented at the conference.


There will be one day of tutorials at the start of the conference.
Tutorial proposals (up to 4 pages) should be sent to the Tutorial Chair.


Sessions will be arranged to present and demonstrate tools relevant to
any conference topic. Accepted tool descriptions will appear in the
conference proceedings.

Peter Kemper (US)
Evgenia Smirni (US)

Gianfranco Ciardo (US)
Roberto Segala (IT)

William Knottenbelt (UK)

Susanna Donatelli (IT)

Ruth Lamprecht (US)

Giuliano Casale (UK)


Gianfranco Balbo (IT)
Gianfranco Ciardo (US)
Pedro D'Argenio (AR)
Boudewijn Haverkort (NL, chair)
Holger Hermanns (DE)
Jane Hillston (UK)
Joost-Pieter Katoen (DE)
William Knottenbelt (UK)
Marta Kwiatkowska (UK)
Gerardo Rubino (FR)
William Sanders (US)
Miklos Telek (HU)


Christel Baier (DE)
Nathalie Bertrand (FR)
Andrea Bondavalli (IT)
Patricia Bouyer (FR)
Peter Buchholz (DE)
Giuliano Casale (UK)
Ivana Cerna (CZ)
Pedro D'Argenio (AR)
Vittoria de Nitto Persone` (IT)
Kousha Etessami (UK)
Tony Field (UK)
Giuliana Franceschinis (IT)
Jean-Michel Fourneau (FR)
Shravan Gaonkar (US)
Leana Golubchik (US)
Serge Haddad (FR)
Armin Heindl (DE)
Holger Hermanns (DE)
Jane Hillston (UK)
Michael Huth (UK)
Radha Jagadeesan (US)
Alain Jean-Marie (FR)
Joost-Pieter Katoen (DE)
Peter Kemper (US)
Gabriele Kotsis (AT)
Marta Kwiatkowska (UK)
Kim Larsen (DK)
Ningfang Mi (US)
Andrew Miner (US)
Gethin Norman (UK)
Alma Riska (US)
William Sanders (US)
Matteo Sereno (IT)
Jeremy Sproston (IT)
Marielle Stoelinga (NL)
Miklos Telek (HU)
Yann Thierry-Mieg (FR)
Franck van Breugel (CA)
Carey Williamson (CA)
Verena Wolf (DE)
Murray Woodside (CA)
qest-announce mailing list