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 |