Herwig Bruneel, Wouter Rogiest, Joris Walraevens and Sabine Wittevrongel. On queues with general service demands and constant service capacity.

Marcel C. Guenther and Jeremy T. Bradley. On performance of Gossip communication in a crowd-sensing scenario.

Marco Bernardo, Davide Sangiorgi and Valeria Vignudelli. On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems.

Luca Bortolussi and Guido Sanguinetti. A statistical approach for computing reachability of non-linear and stochastic dynamical systems.

Anastasis Georgoulas, Jane Hillston, Dimitrios Milios and Guido Sanguinetti. Probabilistic Programming Process Algebra.

Alberto Avritzer, Laura Carnevali, Lucia Happe, Anne Koziolek, Daniel Sadoc Menasché, Marco Paolieri and Sindhu Suresh. A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids.

Rohit Chadha, Dileep Kini and Mahesh Viswanathan. Decidable Problems for Unary PFAs.

Craig Buchanan and Ken Keefe. Simulation Debugging and Visualization in the Mobius Modeling Framework.

Markus N. Rabe, Christoph M. Wintersteiger, Hillel Kugler, Boyan Yordanov and Youssef Hamadi. Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains.

Geert Heijenk, Martijn van Eenennaam and Anne Remke. Performance Comparison of IEEE 802.11 DCF and EDCA for Beaconing in Vehicular Networks.

Stéphane Durand, Bruno Gaujal, Florence Perronnin and Jean-Marc Vincent. A perfect sampling algorithm of random walks with forbidden arcs.

Nils Jansen, Florian Corzilius, Matthias Volk, Ralf Wimmer, Erika Abraham, Joost-Pieter Katoen and Bernd Becker. Accelerating Parametric Probabilistic Verification.

Oana Andrei, Muffy Calder, Matthew Higgs and Mark Girolami. Probabilistic Model Checking of DTMC Models of User Activity Patterns.

Richard Hayden, Illes Horvath and Miklos Telek. Mean field for performance models with generally distributed-timed transitions.

Dieky Adzkiya, Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate. Finite Abstractions of Stochastic Max-Plus-Linear Systems.

Radu Mardare, Kim Guldstrand Larsen, Manfred Jaeger and Hua Mao. Continuity Properties of Distances for Markov Processes.

Elvio Gilberto Amparore, Peter Buchholz and Susanna Donatelli. A matrix-free structured solution for Markov Regenerative Processes.

Cheng Feng and Jane Hillston. PALOMA: A Process Algebra for Located Markovian Agents.

Nathalie Bertrand, Thomas Brihaye and Blaise Genest. Deciding the value 1 problem for reachability in 1-clock decision stochastic timed automata.

Luca Bortolussi and Rytis Paškauskas. Mean-Field approximation and Quasi-Equilibrium reduction of Markov Population Models.

Sadegh Esmaeil Zadeh Soudjani, Sebastian Gerwinn, Christian Ellen, Martin Fränzle and Alessandro Abate. Formal Synthesis and Validation of Inhomogeneous Thermostatically Controlled Loads.

Yusuke Kawamoto, Konstantinos Chatzikokolakis and Catuscia Palamidessi. Compositionality Results for Quantitative Information Flow.

Rasha Osman and Pietro Piazzolla. Modelling Replication in NoSQL Datastores.

Daniel Kressner and Francisco Macedo. Low-rank tensor methods for communicating Markov processes.

Thomas Heyman, Davy Preuveneers and Wouter Joosen. Scalar: A distributed benchmarking framework for systematic scalability analysis.

An Hoa Vu, Nils Ole Tippenhauer, Binbin Chen, David M. Nicol and Zbigniew Kalbarczyk. CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems.

Elvio Gilberto Amparore. A new GreatSPN GUI for GSPN editing and CSLTA model checking.

Moreno Marzolla. The Octave queueing Package.

Nobuyuki Ohba, Seiji Munetoh, Atsuya Okazaki and Yasunao Katayama. Non-Intrusive Scalable Memory Access Tracer.