Sign for Notice Everyday    Sign Up| Sign In| Link| English|

Our Sponsors

    Receive Latest News

    Feedburner
    Share Us


    QEST 2019 - 16th International Conference on Quantitative Evaluation of SysTems

    View: 778

    Website http://www.qest.org/qest2019/ | Want to Edit it 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 2019

    The 16th International Conference on Quantitative Evaluation of SysTems

    will be held in Glasgow, UK, on September 9 - 12, 2019.

    http://www.qest.org/qest2019/

    *Conference Highlights*

    General Chair

    - Gethin Norman, University of Glasgow, UK

    Program 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 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.

    *Special Issue*

    Extended versions of the best papers will be considered for a fast-track

    publication in a Special Issue of the ACM Transactions of Modelling and

    Computer Simulation (https://tomacs.acm.org/about.cfm).

    *Important Dates*

    Abstract submission: 29 March 2019

    Paper submission: 5 April 2019

    Author notification: 7 June 2019

    Final version due: 29 June 2019

    Conference: 9-12 September 2019

    *Submissions*

    All accepted papers (including tool demonstrations) must be presented at

    the conference by one of the authors. The QEST 2019 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

    (https://www.springer.com/de/it-informatik/lncs/conference-proceedings-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 (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.