QEST: Quantitative Evaluation of Systems



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
QEST 2018 QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 4, 2018 (Mar 28, 2018)
QEST 2017 14th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2017 - Sep 7, 2017 Berlin Apr 9, 2017
QEST 2016 International Conference on Quantitative Evaluation of Systems
Aug 23, 2016 - Aug 25, 2016 Quebec City, Canada Mar 14, 2016 (Mar 7, 2016)
QEST 2014 Quantitative Evaluation of Systems
Sep 8, 2014 - Sep 11, 2014 Florence, Italy Mar 14, 2014 (Mar 7, 2014)
QEST 2013 10th International Conference on Quantitative Evaluation of SysTems
Aug 27, 2013 - Aug 30, 2013 Buenos Aires, Argentinia Mar 18, 2013 (Mar 11, 2013)
QEST 2012 9th International Conference on Quantitative Evaluation of SysTems
Sep 17, 2012 - Sep 20, 2012 London, UK, Imperial College Mar 5, 2012 (Feb 27, 2012)
QEST 2011 8th International Conference on Quantitative Evaluation of SysTems
Sep 5, 2011 - Sep 8, 2011 Aachen, Germany Mar 25, 2011 (Mar 18, 2011)
QEST 2010 7th International Conference on Quantitative Evaluation of SysTems
Sep 15, 2010 - Sep 19, 2010 Williamsburg, VA, USA Mar 29, 2010 (Mar 22, 2010)
QEST 2009 6th International Conference on Quantitative Evaluation of SysTems
Sep 13, 2009 - Sep 16, 2009 Budapest, Hungary Mar 23, 2009 (Mar 16, 2009)

Present CFP : 2018

Call for Papers of QEST 2018

15th International Conference on Quantitative Evaluation of SysTems

QEST 2018 will be held in Beijing, China
September 4-7, 2018

QEST 2018 as part of CONFESTA
is co-located with
CONCUR (Int. Conf. on Concurrency Theory),
FORMATS (Int. Conf. on Formal Modeling and Analysis of Timed Systems) and
SETTA (Symposium on Dependable Software Engineering).

Scope and Topics

The International Conference on Quantitative Evaluation of
SysTems (QEST) is the leading forum on quantitative evaluation
and verification of computer systems and networks. Areas of
interest include quantitative specification methods, stochastic
and non-deterministic models and metrics for performance,
reliability, safety, correctness, and security. QEST is
interested in both theoretical and experimental research. QEST
welcomes a diversity of modelling formalisms, programming
languages and methodologies that incorporate quantitative aspects
such as probabilities, temporal properties and other forms of
non-determinism. Papers may advance empirical, simulation and
analytic methods. Of particular interest are case studies that
highlight the role of quantitative specification, modelling and
evaluation in the design of systems. Systems of interest include
computer hardware and software architectures, communication
systems, cyber-physical 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.

Special Sessions

To encourage submissions of papers in frontier topics,
submissions in selected areas are encouraged. Paper submitted to
special sessions will be treated as regular submitted papers,
they will be peer reviewed, and subject to the same quality
requirements. A special session with accepted papers on the
selected topics will be organised during the conference. This
year selected topics are:

== Quantitative aspects of system security

Security of computer systems relies critically on the control of
confidential information. In recent years there has been great
interest in measuring various aspects of system behaviour that
can impact untoward release of secret information. There is a
general recognition that it is not possible to avoid all
information leaks and therefore it has become important to
determine whether a particular leak constitutes a serious breach.

We solicit papers on the topic of measurement of quantitative
aspects of system security. We are interested in new theoretical
perspectives on this problem as well as practicalities of
implementation and case studies show casing new techniques.

== Industrial strength techniques

We call for contributions on quantitative techniques focussing on
industrial applications. We are particularly interested in
techniques that have the potential to scale up or address
important safety, security, performance or reliability aspects of
industrial strength systems. We are interested both in new
techniques and experience reports of applying quantitative
analysis in an industrial setting.

Special Issue

Extended versions of the best papers will be considered for possible fast-track publication in the ACM Transactions on Modeling and Performance Evaluation of Computing Systems(TOMPECS, https://tompecs.acm.org (https://tompecs.acm.org/)).

Important Dates

Abstract submission: 28 March 2018 (EXTENDED)
Paper and tool submission: 04 April 2018 (EXTENDED)
Author notification: 30 May 2018
Final version due: 22 June 2018
Conference: 4-7 September 2018


All accepted papers (including tool demonstrations) must be
presented at the conference by one of the authors. The QEST 2018
proceedings will be published in the Springer LNCS series and
indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp,
Google Scholar. All submitted papers will be evaluated by at
least three reviewers on the basis of their originality,
technical quality, scientific or practical contribution to the
state of the art, methodology, clarity, and adequacy of
references. QEST considers five types of papers:

Theoretical: advance our understanding, apply to non-trivial
problems and be mathematically rigorous.

Methodological and technical: describe situations that
require the development and proposal of new analysis
processes and techniques.

Application: describes a novel application, and compares with
previous results.

Tools: should motivate the development of the new tools and
the formalisms they support, with a focus on the software
architecture and practical capabilities.

Tool demonstration: describe a relevant tool, as well as its
features, evaluation, or any other information that may
demonstrate the merits of the tool.

Submissions must be prepared in LaTeX, following Springer's LNCS
guidelines. Submitted papers should not exceed 16 pages (4 pages
for tool demonstrations). Papers must be unpublished and not be
submitted for publication elsewhere. Authors of tool papers (both
regular and demonstration) must make their tools and input data
available to reviewers; reproducibility of results will be taken
into account during the evaluation process, and the conference
will include a demo session. Authors should present use cases,
distinctive features, and computational/memory requirements
through motivating examples. Theoretical background need not be
presented in tool demonstration papers; substantial improvements
are required for existing tools.

Papers should be submitted electronically using the EasyChair
online submission system.

All accepted papers (including tool demonstrations) must be
presented at the conference by one of the authors.

Related Resources

VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
ENASE 2019   14th International Conference on Evaluation of Novel Approaches to Software Engineering
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
QUALICO 2018   QUALICO 2018 - International Quantitative Linguistics Conference
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
ICDCS 2019   International Conference on Distributed Computing Systems
SOFE 2018   4th International Conference on Software Engineering
LREC 2018   Language Resources and Evaluation Conference
VALUETOOLS 2019   12th EAI International Conference on Performance Evaluation Methodologies and Tools
IROS 2019   Intelligent RObots and Systems