resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



QEST 2020 : International Conference on Quantitative Evaluation of SysTems

Vienna, Austria
Event Date: Aug 31, 2020 - Sep 03, 2020
Abstract Submission Deadline: Mar 27, 2020
Submission Deadline: Apr 03, 2020
Notification of Acceptance: May 30, 2020
Camera Ready Version Due : Jun 23, 2020

About

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 modelling formalisms and methodologies, measurements, analytical and numerical evaluation, simulation and verification, and theory of probabilistic, concurrent and non-deterministic behaviour. 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.

Moreover, tools for supporting the practical application of research results in all the above areas are of special interest for QEST and therefore tool papers are sought.

In short, QEST aims to create a sound methodological basis for assessing and designing trustworthy computing systems and networks.

Call For Paper

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. This includes work on the combination of quantitative evaluation and verification with machine learning techniques. 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, security 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.

QEST 2020 will organize a special session under the topic “Predictive performance by machine learning.” Submissions that address the combination of machine learning and performance prediction are particularly welcomed. – Ph.D. students whose work is not yet finished are encouraged to register for the Ongoing Work session. This session offers opportunity to discuss, not to publish formally.

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
Nov 16, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020

OTHER SECURITY EVENTS

ICGS3 2021 : VIRTUAL 13th International Conference on Global Security, Safety & Sustainability
Virtual Conference
Jan 14, 2021
CloudCom 2020 : The 12th IEEE International Conference on Cloud Computing Technology and Science
Bangkok, Thailand
Dec 14, 2020
DMCIT 2021 : 5th International Conference on Data Mining, Communications and Information Technology
Hangzhou, China
Apr 16, 2021
RSDA 2020 : The 5th IEEE International Workshop on Reliability and Security Data Analysis
Coimbra, Portugal (Virtual workshop)
Oct 12, 2020
CPSS-ICM 2020 : Cyber-physical Systems Security track - The 32nd International Conference on Microelectronics
Jordan
Dec 14, 2020