© 2019

Quantitative Evaluation of Systems

16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings

  • David Parker
  • Verena Wolf
Conference proceedings QEST 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11785)

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 11785)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited Talks

    1. Front Matter
      Pages 1-1
    2. Judith Borghouts, Andrew D. Gordon, Advait Sarkar, Neil Toronto
      Pages 3-24
  3. Probabilistic Verification

    1. Front Matter
      Pages 35-35
    2. Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
      Pages 37-51
    3. Yuliya Butkova, Arnd Hartmanns, Holger Hermanns
      Pages 52-69
    4. Gildas Kouko, Josée Desharnais, François Laviolette
      Pages 70-87
  4. Learning and Verification

    1. Front Matter
      Pages 89-89
    2. Pranav Ashok, Tomáš Brázdil, Krishnendu Chatterjee, Jan Křetínský, Christoph H. Lampert, Viktor Toman
      Pages 109-128
    3. Arnault Ioualalen, Matthieu Martel
      Pages 129-143
  5. Hybrid Systems

    1. Front Matter
      Pages 145-145
    2. Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen, Adrien Le Coënt, Jakob Haahr Taankvist, Maximilian Weininger
      Pages 147-164
    3. Gidon Ernst, Sean Sedwards, Zhenya Zhang, Ichiro Hasuo
      Pages 165-181
    4. Jannik Hüls, Carina Pilch, Patricia Schinke, Joanna Delicaris, Anne Remke
      Pages 182-199
  6. Security

    1. Front Matter
      Pages 201-201
    2. Julia Eisentraut, Jan Křetínský
      Pages 203-221
    3. Andrea Marin, Carla Piazza, Sabina Rossi
      Pages 222-238

About these proceedings


This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019.
The 17 full papers presented together with 2 short papers were carefully reviewed and selected from 40 submissions. The papers cover topics in the field of Probabilistic Verification; Learning and Verification; Hybrid Systems; Security; Probabilistic Modelling and Abstraction; and Applications and Tools.


quantitative evaluation formal verification quantitative verification performance analysis reliability modelling formalisms probabilistic models computer security artificial intelligence cyber physical systems (cpss) embedded systems formal methods learning algorithms markov processes model checking probability software engineering software evaluation verification algorithm analysis and problem complexity

Editors and affiliations

  1. 1.University of BirminghamBirminghamUK
  2. 2.Saarland UniversitySaarbrückenGermany

Bibliographic information