Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue.