Advertisement

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
  7. Probabilistic Modelling and Abstraction

    1. Front Matter
      Pages 257-257
    2. Luca Bortolussi, Francesca Cairoli
      Pages 259-276
    3. Josu Doncel, Nicolas Gast, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
      Pages 277-291
    4. Gerrit Großmann, Luca Bortolussi
      Pages 292-309
  8. Applications and Tools

    1. Front Matter
      Pages 311-311
    2. Sebastian Biewer, Pedro D’Argenio, Holger Hermanns
      Pages 313-331
    3. Andrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate
      Pages 332-349
    4. Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards
      Pages 350-354
    5. Elvio Gilberto Amparore, Peter Buchholz, Susanna Donatelli
      Pages 355-360
  9. Back Matter
    Pages 361-361

About these proceedings

Introduction

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.

Keywords

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

Editors and affiliations

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

Bibliographic information

Industry Sectors
Automotive
Electronics
IT & Software
Telecommunications
Aerospace
Engineering