Accepted papers for PASM 2016

• Michael Todinov, Stochastic pruning of flow networks and its application for fast estimation of the production availability
• Jean-Michel Fourneau and Nihal Pekergin , Dynamic Fault Trees with Rejuvenation: Numerical Analysis and Stochastic Bounds
• Simon Theissing and Stefan Haar , Forecasting Passenger Loads in Transportation Networks
• Enrico Barbierato, Marco Gribaudo and Mauro Iacono , Modeling Hybrid Systems in SIMTHESys
• Christoph Müller, Piotr Rygielski, Simon Spinner and Samuel Kounev , Enabling Fluid Analysis for Queueing Petri Nets via Model Transformation
• Qiushi Wang, Fabian Reimeier and Katinka Wolter , Efficient Image Stitching through Mobile Offloading
• Kalyan Perumalla, Mohammed Olama and Srikanth Yoginath , Model-based Dynamic Control of Speculative Forays in Parallel Computation