Advertisement

Quantitative Evaluation of Systems

15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

  • Annabelle McIver
  • Andras Horvath
Conference proceedings QEST 2018

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

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

Table of contents

  1. Front Matter
    Pages I-XI
  2. Erika Ábrahám, Borzoo Bonakdarpour
    Pages 20-35
  3. Bernhard K. Aichernig, Richard Schumi
    Pages 36-52
  4. Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
    Pages 53-70
  5. Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
    Pages 71-86
  6. Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
    Pages 87-103
  7. Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
    Pages 104-121
  8. Paul Gainer, Ernst Moritz Hahn, Sven Schewe
    Pages 140-156
  9. Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
    Pages 157-172
  10. Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jiří Srba
    Pages 173-189
  11. Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe
    Pages 207-222
  12. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
    Pages 223-239
  13. Ratan Lal, Pavithra Prabhakar
    Pages 240-256
  14. Andrea Marin, Isi Mitrani, Maryam Elahi, Carey Williamson
    Pages 257-272
  15. Andrea Marin, Sabina Rossi, Matteo Sottana
    Pages 273-288
  16. Dimitrios Milios, Guido Sanguinetti, David Schnoerr
    Pages 289-305
  17. Meike Nauta, Doina Bucur, Mariëlle Stoelinga
    Pages 306-322
  18. Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
    Pages 323-338
  19. Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
    Pages 339-355
  20. Paul Piho, Jane Hillston
    Pages 356-372
  21. Michael Rausch, Ahmed Fawaz, Ken Keefe, William H. Sanders
    Pages 373-388
  22. Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar
    Pages 389-406
  23. Maryam Elahi, Carey Williamson
    Pages 407-422
  24. Back Matter
    Pages 423-423

About these proceedings

Introduction

This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.

The 24 full papers presented were carefully reviewed and selected from 51 submissions. The papers cover topics in the field of quantitative evaluation and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.


Keywords

artificial intelligence cryptography decision theory differential equations learning algorithms Markov chains matrix algebra model checking numerical methods probability probability distribution security systems semantics software engineering software evaluation specifications temporal logic verification

Editors and affiliations

  1. 1.Macquarie University SydneyAustralia
  2. 2.University of Turin TurinItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-99154-2
  • Copyright Information Springer Nature Switzerland AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-99153-5
  • Online ISBN 978-3-319-99154-2
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site