Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings

Description

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. Front Matter ....Pages I-XI On the Additive Capacity Problem for Quantitative Information Flow (Konstantinos Chatzikokolakis)....Pages 1-19 HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties (Erika Ábrahám, Borzoo Bonakdarpour)....Pages 20-35 How Fast Is MQTT? (Bernhard K. Aichernig, Richard Schumi)....Pages 36-52 Parameter-Independent Strategies for pMDPs via POMDPs (Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova)....Pages 53-70 On the Verification of Weighted Kripke Structures Under Uncertainty (Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen)....Pages 71-86 Hospital Inventory Management Through Markov Decision Processes @runtime (Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario)....Pages 87-103 Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis (Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin)....Pages 104-121 Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Hongfei Fu, Yi Li, Jianlin Li)....Pages 122-139 Incremental Verification of Parametric and Reconfigurable Markov Chains (Paul Gainer, Ernst Moritz Hahn, Sven Schewe)....Pages 140-156 Lumping the Approximate Master Equation for Multistate Processes on Complex Networks (Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf)....Pages 157-172 Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems (Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jiří Srba)....Pages 173-189 Action and State Based Computation Tree Measurement Language and Algorithms (Yaping Jing, Andrew S. Miner)....Pages 190-206 Model Checking for Safe Navigation Among Humans (Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary Hayhoe)....Pages 207-222 Automated Verification of Concurrent Stochastic Games (Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos)....Pages 223-239 Bounded Verification of Reachability of Probabilistic Hybrid Systems (Ratan Lal, Pavithra Prabhakar)....Pages 240-256 Control and Optimization of the SRPT Service Policy by Frequency Scaling (Andrea Marin, Isi Mitrani, Maryam Elahi, Carey Williamson)....Pages 257-272 Biased Processor Sharing in Fork-Join Queues (Andrea Marin, Sabina Rossi, Matteo Sottana)....Pages 273-288 Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference (Dimitrios Milios, Guido Sanguinetti, David Schnoerr)....Pages 289-305 LIFT: Learning Fault Trees from Observational Data (Meike Nauta, Doina Bucur, Mariëlle Stoelinga)....Pages 306-322 A Robust Genetic Algorithm for Learning Temporal Specifications from Data (Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi)....Pages 323-338 A Hemimetric Extension of Simulation for Semi-Markov Decision Processes (Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare)....Pages 339-355 Policy Synthesis for Collective Dynamics (Paul Piho, Jane Hillston)....Pages 356-372 Modeling Humans: A General Agent Model for the Evaluation of Security (Michael Rausch, Ahmed Fawaz, Ken Keefe, William H. Sanders)....Pages 373-388 Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach (Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar)....Pages 389-406 On Saturation Effects in Coupled Speed Scaling (Maryam Elahi, Carey Williamson)....Pages 407-422 Back Matter ....Pages 423-423