| 1 | -- | 3 | Alessandro Aldini, Christel Baier. Preface |
| 5 | -- | 21 | Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Game-Based Probabilistic Predicate Abstraction in PRISM |
| 23 | -- | 42 | Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky. Relational Analysis and Precision via Probabilistic Abstract Interpretation |
| 43 | -- | 59 | Michael J. A. Smith. Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions |
| 61 | -- | 77 | Marco Faella, Axel Legay, Mariëlle Stoelinga. Model Checking Quantitative Linear Time Logic |
| 79 | -- | 96 | Evan Tzanis, Robin Hirsch. Probabilistic Logic over Paths |
| 97 | -- | 113 | Jonathan M. Lambert, James F. Power. Platform Independent Timing of Java Virtual Machine Bytecode Instructions |
| 115 | -- | 127 | Jinjin Zhang, Zhaohui Zhu. A Behavioural Pseudometric based on lambda-Bisimilarity |
| 129 | -- | 143 | Nikola Trcka, Sonja Georgievska. Branching Bisimulation Congruence for Probabilistic Systems |
| 145 | -- | 161 | Claudio Ochoa, Germán Puebla. Oracle-Based Partial Evaluation |
| 163 | -- | 180 | Luca Bortolussi. On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation |
| 181 | -- | 197 | Steffen van Bakel, Ikra Khan, Maria Grazia Vigliotti, John K. Heath. Modelling Intracellular Fate of FGF Receptors With BioAmbients |