Michael Rausch, Brett Feddersen, Ken Keefe and William Sanders. A Comparison of Different Intrusion Detection Approaches in an Advanced Metering Infrastructure Network using ADVISE.

Peter Buchholz, Tuğrul Dayar, Jan Kriege and M. Can Orhan. Compact Representation of Solution Vectors in Kronecker-based Markovian Analysis.

Javier Esparza, Philipp Hoffmann and Ratul Saha. Polynomial Analysis Algorithms for Free-choice Probabilistic Workflow Nets.

Misikir Eyob Gebrehiwot, Samuli Aalto and Pasi Lassila. Energy-aware server with SRPT scheduling: analysis and optimization.

Luca Laurenti, Luca Cardelli, Marta Kwiatkowska and Luca Bortolussi. Approximation of Probabilistic Reachability for Chemical Reaction Networks using the Linear Noise Approximation.

Elvio Gilberto Amparore and Susanna Donatelli. Optimal aggregation of components for the solution of Markov Regenerative Processes.

Jan Kriege and Peter Buchholz. Traffic Modeling with Phase-Type Distributions and VARMA Processes.

Cheng Feng, Jane Hillston and Daniël Reijsbergen. Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems.

Olga Gadyatskaya, Ravi Jhawar, Piotr Kordy, Karim Lounis, Sjouke Mauw and Rolando Trujillo-Rasua. Attack Trees for Practical Security Assessment: Ranking of Attack Scenarios with ADTool 2.0 (tool demo paper: 4 pages).

Nicolas Basset, Benoît Barbot, Marta Kwiatkowska and Marc Beunardeau. Uniform Sampling for Timed Automata with Application to Language Inclusion Measurement.

Ernst Moritz Hahn, Vahid Hashemi, Holger Hermanns and Andrea Turrini. Exploiting Robust Optimization for Interval Probabilistic Bisimulation.

Simon Theissing and Stefan Haar. Decoupling Passenger Flows for Improved Load Prediction.

Giovanni Neglia, Sara Alouf, Abdulhalim Dandoush, Sebastien Simoens, Pierre Dersin, Alina Tuholukova, Jérôme Billion and Pascal Derouet. Performance Evaluation of Train Moving-Block Control.

Maria Simonetta Balsamo, Andrea Marin and Ivan Stojic. Spnps: A tool for Perfect Sampling in Stochastic Petri Nets (tool demo paper: 4 pages).

Benjamin Lucien Kaminski, Joost-Pieter Katoen and Christoph Matheja. Inferring Covariances for Probabilistic Programs.

Enno Ruijters, Dennis Guck, Peter Drolenga, Margot Peters and Mariëlle Stoelinga. Maintenance analysis and optimization via statistical model checking: Evaluation of a train's pneumatic compressor.

Huaming Wu, William Knottenbelt, Katinka Wolter and Yi Sun. An Optimal Offloading Partitioning Algorithm in Mobile Cloud Computing.

Steffen Bondorf and Jens Schmitt. Should Network Calculus Relocate? An Assessment of Current Algebraic and Optimization-based Analyses.

Andrea Marin and Sabina Rossi. Dynamic control of the join-queue lengths in saturated fork-join stations.

Elizabeth Polgreen, Viraj Wijesuriya, Sofie Haesaert and Alessandro Abate. Data-efficient Bayesian verification of parametric Markov chains.

Sofie Haesaert, Alessandro Abate and Paul Van den Hof. Verification of general Markov decision processes by approximate similarity relations and policy refinement.

Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios and Guido Sanguinetti. Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent.

Michalis Michaelides, Dimitrios Milios, Jane Hillston and Guido Sanguinetti. Property-driven State-Space Coarsening for Continuous Time Markov Chains.

Jane Hillston and Michele Loreti. CARMA Eclipse plug-in: A tool supporting design and analysis of Collective Adaptive Systems (tool demo paper: 4 pages).