| 1 | -- | 2 | Alessandra Di Pierro, Herbert Wiklicky. Preface |
| 3 | -- | 25 | Pedro Adão, Paulo Mateus, Tiago Reis, Luca Viganò. Towards a Quantitative Analysis of Security Protocols |
| 27 | -- | 43 | Alessandro Aldini, Marco Bernardo. Component-Oriented Specification of Performance Measures |
| 45 | -- | 64 | . Exact and Portable Profiling for the JVM Using Bytecode Instruction Counting |
| 65 | -- | 80 | Luca Bortolussi. Stochastic Concurrent Constraint Programming |
| 81 | -- | 99 | Gabriel Ciobanu, Cristian Prisacariu. Timers for Distributed Systems |
| 101 | -- | 117 | Pierpaolo Degano, Davide Prandi, Corrado Priami, Paola Quaglia. Beta-binders for Biological Quantitative Experiments |
| 119 | -- | 136 | Sylvain Pradalier, Catuscia Palamidessi. Expressiveness of Probabilistic pi |
| 137 | -- | 151 | Jeremy Singer, Gavin Brown. Return Value Prediction meets Information Theory |
| 153 | -- | 167 | Pascal Sotin, David Cachera, Thomas P. Jensen. Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card |
| 169 | -- | 186 | Maria Grazia Vigliotti, Peter G. Harrison. Stochastic Ambient Calculus |
| 187 | -- | 204 | Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum. Trace Semantics for Stochastic Systems with Nondeterminism |
| 205 | -- | 224 | Miaomiao Zhang, Dang Van Hung. Formal Analysis of Streaming Downloading Protocol for System Upgrading |