Abstract is missing.
- On the Additive Capacity Problem for Quantitative Information FlowKonstantinos Chatzikokolakis 0001. 1-19 [doi]
- HyperPCTL: A Temporal Logic for Probabilistic HyperpropertiesErika Ábrahám, Borzoo Bonakdarpour. 20-35 [doi]
- How Fast Is MQTT? - Statistical Model Checking and Testing of IoT ProtocolsBernhard K. Aichernig, Richard Schumi. 36-52 [doi]
- Parameter-Independent Strategies for pMDPs via POMDPsSebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter Katoen, Ana Sokolova. 53-70 [doi]
- On the Verification of Weighted Kripke Structures Under UncertaintyGiovanni Bacci 0001, Mikkel Hansen, Kim Guldstrand Larsen. 71-86 [doi]
- Hospital Inventory Management Through Markov Decision Processes @runtimeMarco Biagi, Laura Carnevali, Francesco Santoni, Enrico Vicario. 87-103 [doi]
- Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability AnalysisLuca Cardelli, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 104-121 [doi]
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time PropertiesHongfei Fu, Yi Li, Jianlin Li. 122-139 [doi]
- Incremental Verification of Parametric and Reconfigurable Markov ChainsPaul Gainer, Ernst Moritz Hahn, Sven Schewe. 140-156 [doi]
- Lumping the Approximate Master Equation for Multistate Processes on Complex NetworksGerrit Großmann, Charalampos Kyriakopoulos, Luca Bortolussi, Verena Wolf. 157-172 [doi]
- Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive SystemsDmitry Ivanov, Kim G. Larsen, Sibylle Schupp, Jirí Srba. 173-189 [doi]
- Action and State Based Computation Tree Measurement Language and AlgorithmsYaping Jing, Andrew S. Miner. 190-206 [doi]
- Model Checking for Safe Navigation Among HumansSebastian Junges, Nils Jansen 0001, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang, Mary M. Hayhoe. 207-222 [doi]
- Automated Verification of Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. 223-239 [doi]
- Bounded Verification of Reachability of Probabilistic Hybrid SystemsRatan Lal, Pavithra Prabhakar. 240-256 [doi]
- Control and Optimization of the SRPT Service Policy by Frequency ScalingAndrea Marin, Isi Mitrani, B. Maryam Elahi, Carey Williamson. 257-272 [doi]
- Biased Processor Sharing in Fork-Join QueuesAndrea Marin, Sabina Rossi, Matteo Sottana. 273-288 [doi]
- Probabilistic Model Checking for Continuous-Time Markov Chains via Sequential Bayesian InferenceDimitrios Milios, Guido Sanguinetti, David Schnoerr. 289-305 [doi]
- LIFT: Learning Fault Trees from Observational DataMeike Nauta, Doina Bucur, Mariëlle Stoelinga. 306-322 [doi]
- A Robust Genetic Algorithm for Learning Temporal Specifications from DataLaura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi. 323-338 [doi]
- A Hemimetric Extension of Simulation for Semi-Markov Decision ProcessesMathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare. 339-355 [doi]
- Policy Synthesis for Collective DynamicsPaul Piho, Jane Hillston. 356-372 [doi]
- Modeling Humans: A General Agent Model for the Evaluation of SecurityMichael Rausch, Ahmed M. Fawaz, Ken Keefe, William H. Sanders. 373-388 [doi]
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov ApproachMahmoud Salamati, Sadegh Soudjani, Rupak Majumdar. 389-406 [doi]
- On Saturation Effects in Coupled Speed ScalingB. Maryam Elahi, Carey Williamson. 407-422 [doi]