Skip to main content
SpringerLink
Log in

Quantitative Evaluation of Systems

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

  • Conference proceedings
  • © 2018

Overview

Editors:
  1. Annabelle McIver

    1. Macquarie University , Sydney, Australia

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Andras Horvath

    1. University of Turin , Turin, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: QEST 2018.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. On the Additive Capacity Problem for Quantitative Information Flow

    • Konstantinos Chatzikokolakis
    Pages 1-19

  3. HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties

    • Erika Ábrahám, Borzoo Bonakdarpour
    Pages 20-35

  4. How Fast Is MQTT?

    • Bernhard K. Aichernig, Richard Schumi
    Pages 36-52

  5. Parameter-Independent Strategies for pMDPs via POMDPs

    • Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova
    Pages 53-70

  6. On the Verification of Weighted Kripke Structures Under Uncertainty

    • Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen
    Pages 71-86

  7. Hospital Inventory Management Through Markov Decision Processes @runtime

    • Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario
    Pages 87-103

  8. Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis

    • Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin
    Pages 104-121

  9. Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties

    • Hongfei Fu, Yi Li, Jianlin Li
    Pages 122-139

  10. Incremental Verification of Parametric and Reconfigurable Markov Chains

    • Paul Gainer, Ernst Moritz Hahn, Sven Schewe
    Pages 140-156

  11. Lumping the Approximate Master Equation for Multistate Processes on Complex Networks

    • Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf
    Pages 157-172

  12. Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

    • Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jiří Srba
    Pages 173-189

  13. Action and State Based Computation Tree Measurement Language and Algorithms

    • Yaping Jing, Andrew S. Miner
    Pages 190-206

  14. Model Checking for Safe Navigation Among Humans

    • Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe
    Pages 207-222

  15. Automated Verification of Concurrent Stochastic Games

    • Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos
    Pages 223-239

  16. Bounded Verification of Reachability of Probabilistic Hybrid Systems

    • Ratan Lal, Pavithra Prabhakar
    Pages 240-256

  17. Control and Optimization of the SRPT Service Policy by Frequency Scaling

    • Andrea Marin, Isi Mitrani, Maryam Elahi, Carey Williamson
    Pages 257-272

  18. Biased Processor Sharing in Fork-Join Queues

    • Andrea Marin, Sabina Rossi, Matteo Sottana
    Pages 273-288

  19. Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference

    • Dimitrios Milios, Guido Sanguinetti, David Schnoerr
    Pages 289-305

  20. LIFT: Learning Fault Trees from Observational Data

    • Meike Nauta, Doina Bucur, Mariëlle Stoelinga
    Pages 306-322
Back to top

Other volumes

  1. Quantitative Evaluation of Systems

Keywords

About this book

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.


Editors and Affiliations

  • Macquarie University , Sydney, Australia

    Annabelle McIver

  • University of Turin , Turin, Italy

    Andras Horvath

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation