Call for Papers of QEST 2018
View: 662
Website http://confesta2018.csp.escience.cn/dct/page/1 |
Edit Freely
Category Quantitative aspects of system security;Industrial strength techniques;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
Deadline: December 27, 2017 | Date: September 04, 2018-September 07, 2018
Venue/Country: China
Updated: 2017-12-26 21:36:42 (GMT+9)
Call For Papers - CFP
Call for Papers of QEST 2018 15th International Conference on Quantitative Evaluation of SysTemshttp://www.qest.org/qest2018/QEST 2018 will be held in Beijing, ChinaSeptember 4-7, 2018QEST 2018 as part of CONFESTA http://confesta2018.csp.escience.cn/dct/page/1is co-located withCONCUR (Int. Conf. on Concurrency Theory),FORMATS (Int. Conf. on Formal Modeling and Analysis of Timed Systems) andSETTA (Symposium on Dependable Software Engineering).Scope and TopicsThe International Conference on Quantitative Evaluation ofSysTems (QEST) is the leading forum on quantitative evaluationand verification of computer systems and networks. Areas ofinterest include quantitative specification methods, stochasticand non-deterministic models and metrics for performance,reliability, safety, correctness, and security. QEST isinterested in both theoretical and experimental research. QESTwelcomes a diversity of modelling formalisms, programminglanguages and methodologies that incorporate quantitative aspectssuch as probabilities, temporal properties and other forms ofnon-determinism. Papers may advance empirical, simulation andanalytic methods. Of particular interest are case studies thathighlight the role of quantitative specification, modelling andevaluation in the design of systems. Systems of interest includecomputer hardware and software architectures, communicationsystems, cyber-physical systems, infrastructural systems, andbiological systems. Papers that describe novel tools to supportthe practical application of research results in all of the aboveareas are also welcome.Special Sessions To encourage submissions of papers in frontier topics,submissions in selected areas are encouraged. Paper submitted tospecial sessions will be treated as regular submitted papers,they will be peer reviewed, and subject to the same qualityrequirements. A special session with accepted papers on theselected topics will be organised during the conference. Thisyear selected topics are:== Quantitative aspects of system securitySecurity of computer systems relies critically on the control ofconfidential information. In recent years there has been greatinterest in measuring various aspects of system behaviour thatcan impact untoward release of secret information. There is ageneral recognition that it is not possible to avoid allinformation leaks and therefore it has become important todetermine whether a particular leak constitutes a serious breach.We solicit papers on the topic of measurement of quantitativeaspects of system security. We are interested in new theoreticalperspectives on this problem as well as practicalities ofimplementation and case studies show casing new techniques.== Industrial strength techniquesWe call for contributions on quantitative techniques focussing onindustrial applications. We are particularly interested intechniques that have the potential to scale up or addressimportant safety, security, performance or reliability aspects ofindustrial strength systems. We are interested both in newtechniques and experience reports of applying quantitativeanalysis in an industrial setting.Special IssueExtended versions of the best papers will be considered forpossible fast-track publication in the ACM Transactions onModeling and Performance Evaluation of Computing Systems(TOMPECS, https://tompecs.acm.org).Important DatesAbstract submission: 18 March 2018 Paper and tool submission: 25 March 2018 Author notification: 30 May 2018 Final version due: 22 June 2018Conference: 4-7 September 2018Submissions All accepted papers (including tool demonstrations) must bepresented at the conference by one of the authors. The QEST 2018proceedings will be published in the Springer LNCS series andindexed by ISI Web of Science, Scopus, ACM Digital Library, dblp,Google Scholar. All submitted papers will be evaluated by atleast three reviewers on the basis of their originality,technical quality, scientific or practical contribution to thestate of the art, methodology, clarity, and adequacy ofreferences. QEST considers five types of papers:Theoretical: advance our understanding, apply to non-trivialproblems and be mathematically rigorous.Methodological and technical: describe situations thatrequire the development and proposal of new analysisprocesses and techniques.Application: describes a novel application, and compares withprevious results.Tools: should motivate the development of the new tools andthe formalisms they support, with a focus on the softwarearchitecture and practical capabilities.Tool demonstration: describe a relevant tool, as well as itsfeatures, evaluation, or any other information that maydemonstrate the merits of the tool.Submissions must be prepared in LaTeX, following Springer's LNCSguidelines. Submitted papers should not exceed 16 pages (4 pagesfor tool demonstrations). Papers must be unpublished and not besubmitted for publication elsewhere. Authors of tool papers (bothregular and demonstration) must make their tools and input dataavailable to reviewers; reproducibility of results will be takeninto account during the evaluation process, and the conferencewill include a demo session. Authors should present use cases,distinctive features, and computational/memory requirementsthrough motivating examples. Theoretical background need not bepresented in tool demonstration papers; substantial improvementsare required for existing tools. Papers should be submitted electronically using the EasyChaironline submission system.All accepted papers (including tool demonstrations) must bepresented at the conference by one of the authors.
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.