QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems
View: 786
Website http://www.qest.org/qest2019/ |
Edit Freely
Category formal methods; quantitative evaluation;performance
Deadline: March 29, 2019 | Date: September 09, 2019-September 12, 2019
Venue/Country: Glasgow, U.K.
Updated: 2018-10-09 19:38:13 (GMT+9)
Call For Papers - CFP
p/>Call for Papers of QEST 2019The 16th International Conference on Quantitative Evaluation of SysTemswill be held in Glasgow, UK, on September 9 - 12, 2019.http://www.qest.org/qest2019/*Conference Highlights*General Chair- Gethin Norman, University of Glasgow, UKProgram Co-chairs- Dave Parker, University of Birmingham, UK- Verena Wolf, Saarland University, Germany*Scope and Topics*The International Conference on Quantitative Evaluation of SysTems(QEST) is the leading forum on quantitative evaluation and verificationof computer systems and networks. Areas of interest include quantitativespecification methods, stochastic and non-deterministic models andmetrics for performance, reliability, safety, correctness, and security.QEST is interested in both theoretical and experimental research. QESTwelcomes a diversity of modelling formalisms, programming languages andmethodologies that incorporate quantitative aspects such asprobabilities, temporal properties and other forms of non-determinism.This includes work on the combination of quantitative evaluation andverification with machine learning techniques. Papers may advanceempirical, simulation and analytic methods. Of particular interest arecase studies that highlight the role of quantitative specification,modelling and evaluation in the design of systems. Systems of interestinclude computer hardware and software architectures, communicationsystems, cyber-physical systems, infrastructural systems, securitysystems and biological systems. Papers that describe novel tools tosupport the practical application of research results in all of theabove areas are also welcome.*Special Issue*Extended versions of the best papers will be considered for a fast-trackpublication in a Special Issue of the ACM Transactions of Modelling andComputer Simulation (https://tomacs.acm.org/about.cfm).*Important Dates*Abstract submission: 29 March 2019Paper submission: 5 April 2019Author notification: 7 June 2019Final version due: 29 June 2019Conference: 9-12 September 2019*Submissions*All accepted papers (including tool demonstrations) must be presented atthe conference by one of the authors. The QEST 2019 proceedings will bepublished in the Springer LNCS series and indexed by ISI Web of Science,Scopus, ACM Digital Library, dblp, Google Scholar. All submitted paperswill be evaluated by at least three reviewers on the basis of theiroriginality, technical quality, scientific or practical contribution tothe state of the art, methodology, clarity, and adequacy of references.QEST considers five types of papers:- Theoretical: advance our understanding, apply to non-trivial problemsand be mathematically rigorous.- Methodological and technical: describe situations that require thedevelopment and proposal of new analysis processes and techniques.- Application: describes a novel application, and compares with previousresults.- Tools: should motivate the development of the new tools and theformalisms they support, with a focus on the software architecture andpractical capabilities.- Tool demonstration: describe a relevant tool, as well as its features,evaluation, or any other information that may demonstrate the meritsof the tool.Submissions must be prepared in LaTeX, following Springer's LNCSguidelines(https://www.springer.com/de/it-informatik/lncs/conference-proceedings-guidelines).Submitted papers should not exceed 16 pages (4 pages for tooldemonstrations). Papers must be unpublished and not be submitted forpublication elsewhere. Authors of tool papers (both regular anddemonstration) must make their tools and input data available toreviewers; reproducibility of results will be taken into account duringthe evaluation process, and the conference will include a demo session.Authors should present use cases, distinctive features, andcomputational/memory requirements through motivating examples.Theoretical background need not be presented in tool demonstrationpapers; substantial improvements are required for existing tools. Papersshould be submitted electronically using the EasyChair online submissionsystem (https://easychair.org/conferences/?conf=qest2019).
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.