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.