| 0 | -- | 0 | Armin Zimmermann, Thomas Hotz. Integrating Simulation and Numerical Analysis in the Evaluation of Generalized Stochastic Petri Nets |
| 0 | -- | 0 | Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion. Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL |
| 0 | -- | 0 | Carmen Cheh, Uttam Thakore, Ahmed M. Fawaz, Binbin Chen, William G. Temple, William H. Sanders. Data-driven Model-based Detection of Malicious Insiders via Physical Access Logs |
| 0 | -- | 0 | Luca Bortolussi, Nathalie Bertrand 0001. Introduction to the Special Issue on Qest 2017 |
| 0 | -- | 0 | Cyrille Jégourel, Jun Sun 0001, Jin Song Dong. Sequential Schemes for Frequentist Estimation of Properties in Statistical Model Checking |
| 0 | -- | 0 | Andrea Vandin. RCR Report for Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL |
| 0 | -- | 0 | Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns, Morteza Lahijanian, Andrea Turrini. Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves |
| 0 | -- | 0 | Christel Baier, Clemens Dubslaff, Lubos Korenciak, Antonín Kucera 0001, Vojtech Rehák. Mean-payoff Optimization in Continuous-time Markov Chains with Parametric Alarms |
| 0 | -- | 0 | Michele Loreti. Replicated Computations Results (RCR) Report for "Statistical Abstraction for Multi-scale Spatio-temporal Systems" |
| 0 | -- | 0 | Michalis Michaelides, Jane Hillston, Guido Sanguinetti. Statistical Abstraction for Multi-scale Spatio-temporal Systems |