Full Papers -- Time-Based Maintenance Models under Uncertainty -- Markov Automata on Discount -- Markov Analysis for Optimum Caching as an Alternative to Belady's Algorithm -- Intrusion Detection for Sequence-based Attacks with Reduced Traffic Models -- Hidden Storage in Data Centers: Gaining Flexibility Through Cooling Systems -- Performance Benchmarking of Network Function Chain Placement Algorithms -- Towards Optimal Placement of Monitoring Units in Time-varying Networks under Centralized Control -- Estimating the Flow Rule Installation Time of SDN Switches when Facing Control Plane Delay -- Dynamic Control of Running Servers -- On the Value of Service Demand Estimation for Auto-Scaling -- Evaluating a Single-Server Queue with Asynchronous Speed Scaling -- Active Queue Management Based on Congestion Policing (CP-AQM) -- Deficit Round Robin with Limited Deficit Savings (DRR-LDS) for Fairness among TCP Users -- Modeling the Performance of ARQ Error Control in an LTE Transmission System -- Catching Corner Cases in Network Calculus { Flow Segregation Can Improve Accuracy -- QoE Analysis of the Setup of Different Internet Services for FIFO Server Systems -- Industrial, Practical Experience and PhD Track Papers -- VirtuWind - An SDN- and NFV-based Architecture for Softwarized Industrial Networks -- A Modular Environment to Test SCADA Solutions for Wind Parks -- Evaluation of Single-Hop Beaconing with Congestion Control in IEEE WAVE and ETSI ITS-G5 -- Practical QoE Evaluation of Adaptive Video Streaming -- Tool Papers -- A Domain-Specific Language and Toolchain for Performance Evaluation based on Measurements -- SLA Tool -- A Tool for Generating Automata of IEC60870-5-104 Implementations -- A Software Tool for the Compact Solution of the Chemical Master Equation -- Logical PetriNet - A Tool to Model Digital Circuit Petri Nets and Transform them into Digital Circuits -- ClassCast: A Tool for Class-Based Forecasting -- Collider - Parallel Experiments in Silico -- FunSpec4DTMC { A Tool for Modelling Discrete-Time Markov Chains Using Functional Specifications -- Model-based System Design and Evaluation of Image Processing Architectures with SimTAny Framework.