Cloud Performance Modelling -- Optimal Hiring of Cloud Servers -- Performance Evaluation of NoSQL Databases -- Queueing and Fluid Models -- A Systematic Approach for Composing General Middleware Completions to Performance Models -- Vacation and Polling Models with Retrials -- Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline -- Performance of Computation and Programming Use of a Levy Distribution for Modeling Best Case Execution Time Variation -- On the Predictive Properties of Performance Models Derived through Input-Output Relationships -- Deriving Work Plans for Solving Performance and Scalability Problems -- Fitting -- Dealing with Zero Density Using Piecewise Phase-Type Approximation -- Uncertainty in On-The-Fly Epidemic Fitting -- Urban Traffic Modelling -- Performance Modeling of Intelligent Car Parking Systems -- Formal Punctuality Analysis of Frequent Bus Services Using Headway Data -- Decision Making -- Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues -- A Decision Making Model of Influencing Behavior in Information Security -- Automated Capacity Planning for PEPA Models -- Markovian Models, Above and Beyond -- Stochastic Approximation of Global Reachability Probabilities of Markov Population Models -- Explicit State Space and Markov Chain Generation Using Decision Diagrams -- Non-Markovian Modeling of a BladeCenter Chassis Midplane.