Abstract is missing.
- Extending Parikh's Theorem to Weighted and Probabilistic Context-Free GrammarsVijay Bhattiprolu, Spencer Gordon, Mahesh Viswanathan. 3-19 [doi]
- Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative ProcessesMarco Biagi, Laura Carnevali, Marco Paolieri, Tommaso Papini, Enrico Vicario. 20-35 [doi]
- alphaFactory: A Tool for Generating the Alpha Factors of General Distributions - (Tool Paper)Elvio Gilberto Amparore, Susanna Donatelli. 36-51 [doi]
- Quantitative Model Checking for a Smart Grid PricingYoungmin Kwon, Eunhee Kim, Seonghwan Jeong, Arthur H. Lee. 55-71 [doi]
- Aggregated Markov Models of a Heterogeneous Population of Photovoltaic PanelsAndrea Peruffo, Emeline Guiu, Patrick Panciatici, Alessandro Abate. 72-87 [doi]
- Battery Aging, Battery Charging and the Kinetic Battery Model: A First ExplorationMarijn R. Jongerden, Boudewijn R. Haverkort. 88-103 [doi]
- A Hybrid Multi-trajectory Simulation Algorithm for the Performance Evaluation of Stochastic Petri NetsArmin Zimmermann, Thomas Hotz, Andrés Canabal Lavista. 107-122 [doi]
- A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud StorageMarco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni. 123-139 [doi]
- On the Cost of Diagnosis with DisambiguationLoïc Hélouët, Hervé Marchand. 140-156 [doi]
- Multi-class Resource Sharing with Batch Arrivals and Complete BlockingPaul D. Ezhilchelvan, Isi Mitrani. 157-169 [doi]
- Reachability in Parametric Interval Markov Chains Using ConstraintsAnicet Bart, Benoît Delahaye, Didier Lime, Eric Monfroy, Charlotte Truchet. 173-189 [doi]
- Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric AlarmsChristel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera, Vojtech Rehák. 190-206 [doi]
- Multi-objective Robust Strategy Synthesis for Interval Markov Decision ProcessesErnst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini. 207-223 [doi]
- Investigating Parametric Influence on Discrete Synchronisation Protocols Using Quantitative Model CheckingPaul Gainer, Sven Linker, Clare Dixon, Ullrich Hustadt, Michael Fisher. 224-239 [doi]
- Statistical Abstraction for Multi-scale Spatio-Temporal SystemsMichalis Michaelides, Jane Hillston, Guido Sanguinetti. 243-258 [doi]
- Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision ProcessesElizabeth Polgreen, Viraj B. Wijesuriya, Sofie Haesaert, Alessandro Abate. 259-274 [doi]
- Data-Driven Model-Based Detection of Malicious Insiders via Physical Access LogsCarmen Cheh, Binbin Chen, William G. Temple, William H. Sanders. 275-291 [doi]
- Tulsa: A Tool for Transforming UML to Layered Queueing Networks for Performance Analysis of Data Intensive ApplicationsChen Li, Taghreed Altamimi, Mana Hassanzadeh Zargari, Giuliano Casale, Dorina C. Petriu. 295-299 [doi]
- Modelling and Performance Evaluation with TimeNET 4.4Armin Zimmermann. 300-303 [doi]
- RODES: A Robust-Design Synthesis Tool for Probabilistic SystemsRadu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti. 304-308 [doi]
- QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic ControllersPushpak Jagtap, Majid Zamani. 309-313 [doi]
- Three-Valued Spatio-Temporal Logic: A Further Analysis on Spatio-Temporal Properties of Stochastic SystemsLudovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion. 317-332 [doi]
- Sequential Schemes for Frequentist Estimation of Properties in Statistical Model CheckingCyrille Jégourel, Jun Sun 0001, Jin Song Dong. 333-350 [doi]
- Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid SystemsSadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Tigran Nagapetyan. 351-367 [doi]