posted by user: paolieri || 3792 views || tracked by 13 users: [display]

QEST 2014 : Quantitative Evaluation of Systems

FacebookTwitterLinkedInGoogle


Conference Series : Quantitative Evaluation of Systems
 
Link: http://www.qest.org/qest2014
 
When Sep 8, 2014 - Sep 11, 2014
Where Florence, Italy
Abstract Registration Due Mar 7, 2014
Submission Deadline Mar 14, 2014
Notification Due May 9, 2014
Final Version Due Jun 6, 2014
Categories    computer systems and networks   verification   stochastic models   performance
 

Call For Papers

QEST2014

International Conference on Quantitative Evaluation of SysTems
Florence, September 8th-11th 2014
www.qest.org/qest2014

Co-located with FORMATS, SAFECOMP, EPEW, FMICS
(see www.florence2014.org)


Scope and Topics

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. Performance metrics of interest include response time, reliability, availability, safety, security, survivability, correctness, timeliness, and efficiency. Areas of interest include modeling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behavior. Also of interest are case studies showing the role of quantitative evaluation in the design of systems including computer architectures, distributed and fault tolerant systems, communication systems, embedded systems, web-based systems, and safety-critical systems.


Important Dates

Abstract submission: 7 March 2014
Paper and tool submission: 14 March 2014
Author feedback/rebuttal period: 25-29 April 2014
Author notification: 9 May 2014
Final version due: 6 June 2014


Call for Papers

All submitted papers will be thoroughly judged 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 with additional reviewing criteria:
1. Theoretical: advance our understanding, apply to non-trivial problems and be mathematically rigorous.
2. Methodological and technical: describe situations that require the development and proposal of new analysis processes and techniques.
3. Application: describes a novel application, and compares with previous results.
4. Tools: should motivate the development of the new tools and the formalisms they support, with a focus on the software architecture and practical capabilities.
5. 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.

The QEST 2014 proceedings will be published by Springer in the LNCS Series and indexed by ISI Web of Science, Scopus, ACM Digital Library, dblp, Google Scholar.

Read the complete call for papers at http://qest.org/qest2014/cfp.html

Related Resources

QEST 2020   International Conference on Quantitative Evaluation of SysTems
CPP 2021   Certified Programs and Proofs
MaSPECS 2020   Modeling and Simulation for Performance Evaluation of Computer-based Systems track of the 34th International ECMS Conference on Modelling and Simulation
iFM 2020   16th International Conference on integrated Formal Methods
LREC 2020   12th Conference on Language Resources and Evaluation
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
Recommender Systems 2020   Data Science for Next-Generation Recommender Systems
RP 2020   14th International Conference on Reachability Problems (RP'20)
ICARA--IEEE, Ei, Scopus 2021   IEEE--2020 7th International Conference on Automation, Robotics and Applications (ICARA 2020)--Ei Compendex, Scopus
ICAART 2021   13th International Conference on Agents and Artificial Intelligence