default search action
15th QEST 2018: Beijing, China
- Annabelle McIver, András Horváth:
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. Lecture Notes in Computer Science 11024, Springer 2018, ISBN 978-3-319-99153-5 - Konstantinos Chatzikokolakis:
On the Additive Capacity Problem for Quantitative Information Flow. 1-19 - Erika Ábrahám, Borzoo Bonakdarpour:
HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties. 20-35 - Bernhard K. Aichernig, Richard Schumi:
How Fast Is MQTT? - Statistical Model Checking and Testing of IoT Protocols. 36-52 - Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova:
Parameter-Independent Strategies for pMDPs via POMDPs. 53-70 - Giovanni Bacci, Mikkel Hansen, Kim Guldstrand Larsen:
On the Verification of Weighted Kripke Structures Under Uncertainty. 71-86 - Marco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario:
Hospital Inventory Management Through Markov Decision Processes @runtime. 87-103 - Luca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin:
Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis. 104-121 - Hongfei Fu, Yi Li, Jianlin Li:
Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties. 122-139 - Paul Gainer, Ernst Moritz Hahn, Sven Schewe:
Incremental Verification of Parametric and Reconfigurable Markov Chains. 140-156 - Gerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf:
Lumping the Approximate Master Equation for Multistate Processes on Complex Networks. 157-172 - Dmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba:
Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems. 173-189 - Yaping Jing, Andrew S. Miner:
Action and State Based Computation Tree Measurement Language and Algorithms. 190-206 - Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe:
Model Checking for Safe Navigation Among Humans. 207-222 - Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos:
Automated Verification of Concurrent Stochastic Games. 223-239 - Ratan Lal, Pavithra Prabhakar:
Bounded Verification of Reachability of Probabilistic Hybrid Systems. 240-256 - Andrea Marin, Isi Mitrani, B. Maryam Elahi, Carey Williamson:
Control and Optimization of the SRPT Service Policy by Frequency Scaling. 257-272 - Andrea Marin, Sabina Rossi, Matteo Sottana:
Biased Processor Sharing in Fork-Join Queues. 273-288 - Dimitrios Milios, Guido Sanguinetti, David Schnoerr:
Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian Inference. 289-305 - Meike Nauta, Doina Bucur, Mariëlle Stoelinga:
LIFT: Learning Fault Trees from Observational Data. 306-322 - Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi:
A Robust Genetic Algorithm for Learning Temporal Specifications from Data. 323-338 - Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare:
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. 339-355 - Paul Piho, Jane Hillston:
Policy Synthesis for Collective Dynamics. 356-372 - Michael J. Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders:
Modeling Humans: A General Agent Model for the Evaluation of Security. 373-388 - Mahmoud Salamati, Sadegh Soudjani, Rupak Majumdar:
Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach. 389-406 - B. Maryam Elahi, Carey Williamson:
On Saturation Effects in Coupled Speed Scaling. 407-422
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.