Performance Analytics of a Virtual Reality Streaming Model.- To Fail Or Not To Fail: Predicting Hard Disk Drive Failure Time Windows.- Concurrent MDPs with Finite Markovian Policies.- A Stochastic Automata Network Description for Spatial DNA-Methylation Models.- An ns-3 Model for Multipath Communication with Terrestrial and Satellite Links.- Model-based Performance Predictions for SDN-based Networks.- Performance Analysis for Loss Systems with Many Subscribers .- On the Stochastic End-to-End Delay Analysis in Sink Trees Under Independent and Dependent Arrivals.- Graph-based Mobility Models: Asymptotic and Stationary Node Distribution.- Parallelization of EM-Algorithms for Markovian Arrival Processes.- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models.- An Efficient Brute Force Approach to Fit Finite Mixture Distributions.- Freight Train Scheduling in Railway Systems.- A Domain Specific Language and Toolset for Requirements Analysis of Safety-Critical Cyber-Physical Systems.- Automated Rare Event Simulation for Fault Tree Analysis via Minimal Cut Sets.