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

[PVS] [qest-announce] QEST 2010 - Extended Deadline: April 11,2010 (Firm)

*** EXTENDED DEADLINES - Abstract: April 4, Submission: April 11 (firm) ***

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            4 April, 2010 - 11:59pm Samoa (Extended)
 Paper and tool submission by     11 April, 2010 - 11:59pm Samoa (Extended)
 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

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