posted by user: wimmer || 2670 views || tracked by 6 users: [display]

QEST 2016 : International Conference on Quantitative Evaluation of Systems


Conference Series : Quantitative Evaluation of Systems
When Aug 23, 2016 - Aug 25, 2016
Where Quebec City, Canada
Abstract Registration Due Mar 7, 2016
Submission Deadline Mar 14, 2016
Notification Due May 10, 2016
Final Version Due Jun 3, 2016
Categories    quantitative evaluation   formal methods   verification   markow models

Call For Papers

QEST 2016
International Conference on Quantitative Evaluation of Systems

Quebec City, August 23-25 2016

Co-located with CONCUR 2016


QEST is the leading forum on quantitative evaluation and verification of
computer systems and networks. Areas of interest include quantitative
specification methods, stochastic models, and metrics for performance,
reliability, safety, correctness, and security. QEST is interested in
both theoretical and experimental research. QEST welcomes a diversity of
modeling formalisms, programming languages and methodologies that
incorporate quantitative aspects such as probabilities, approximations
and other quantitative aspects. Papers may advance empirical,
simulation and analytic methods. Of particular interest are case
studies that highlight the role of quantitative specification, modeling
and evaluation in the design of systems. Systems of interest include
computer hardware and software architectures, communication systems,
cyberphysical systems, infrastructural systems, and biological systems.
Papers that describe novel tools to support the practical application of
research results in all of the above areas are also welcome.

PEVA SPECIAL ISSUE: A selection of the best papers presented at QEST
2016 will be invited to submit an extended version of their paper for a
Special Issue that will appear in the journal Performance Evaluation.


Abstract submission: 7 March 2016
Paper and tool submission: 14 March 2016
Author notification: 10 May 2016
Final version due: 3 June 2016


Submissions describing original research in theory, methodology and
techniques, application, or tools are invited. In addition, Tool
Demonstration may be submitted as short 4 page papers. Submitted papers
will be evaluated by at least three reviewers on the basis of
originality, technical quality, scientific or practical contribution to
the state of the art, methodology, clarity, and adequacy of references.


Scott Smolka, Stony Brook University, USA
Carey Williamson, University of Calgary, CA


Submissions must be in English, Springer LNCS format. Submitted papers
should not exceed 16 pages (4 pages for tool demonstrations).
Additional material for the aid of the reviewers (e.g., proofs) may be
included in an appendix. Papers must be unpublished and not be submitted
for publication elsewhere. Papers should be submitted electronically
using EasyChair online submission system:

All accepted papers (including tool demonstrations) must be presented at
the conference by one of the authors. The QEST 2016 proceedings will be
published by Springer in the LNCS Series (

Josée Desharnais, Laval University, CA

Gul Agha, University of Illinois at Urbana-Champaign, US
Benny Van Houdt, University of Antwerp, BE

Ana Bušic, INRIA, Paris, FR
Andres Ferragut, Universidad ORT, UR
Anshul Gandhi, Stony Brook University, US
Alessandro Abate, University of Oxford, UK
Christel Baier, TU Dresden, DE
Dieter Fiems, Ghent University, BE
Enrico Vicario, University of Florence, IT
Evgenia Smirni, College of William and Mary, US
Florin Ciucu, University of Warwick, UK
Jane Hillston, University of Edinburgh, UK
Javier Campos, University of Zaragoza, ES
John Hasenbein, University of Texas, US
Luca Bortolussi, University of Trieste, IT
Mahesh Viswanathan, University of Illinois at Urbana-Champaign, US
Mark Squillante, IBM, US
Miklós Telek, Technical University of Budapest, HU
M. Zubair Shariq, University of Iowa, US
Nail Akar, Bilkent University, TR
Nathalie Bertrand, INRIA Rennes, FR
Pavithra Prabhakar, Kansas State University, US
Peter Buchholz, TU Dortmund, DE
Peter Taylor, University of Melbourne, AU
Rohit Chadha, University of Missouri, US
Sasa Misailovic, MIT, US
Sriram Sankanarayanayan, University of Colorado Boulder, US
Tetsuya Tikane, Okasa University, JP
Tingting Han, Birkbeck, University of London, UK
William Knottenbelt, Imperial College London, UK

Related Resources

QEST 2020   International Conference on Quantitative Evaluation of SysTems
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
MaSPECS 2020   Modeling and Simulation for Performance Evaluation of Computer-based Systems track of the 34th International ECMS Conference on Modelling and Simulation
CPP 2021   Certified Programs and Proofs
LREC 2020   12th Conference on Language Resources and Evaluation
RP 2020   14th International Conference on Reachability Problems (RP'20)
APCRAS 2021   2021 2nd Asia-Pacific Conference on Robotics and Autonomous Systems (APCRAS 2021)
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment
ACM--RSAE--EI Compendex, Scopus 2021   ACM--2021 The 3rd International Conference on Robotics Systems and Automation Engineering (RSAE 2021)--EI Compendex, Scopus
SBMF 2020   23rd Brazilian Symposium on Formal Methods