| 3 | -- | 0 | Boudewijn R. Haverkort, Joost-Pieter Katoen. Performance and verification |
| 4 | -- | 9 | Gianfranco Ciardo, Andrew S. Miner. Implicit data structures for logic and stochastic systems analysis |
| 10 | -- | 15 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen. Model checking meets performance evaluation |
| 16 | -- | 21 | Marta Z. Kwiatkowska, Gethin J. Norman, David Parker. Probabilistic model checking in practice: case studies with PRISM |
| 22 | -- | 27 | Christel Baier, Frank Ciesinski, Marcus Größer. ProbMela and verification of Markov decision processes |
| 28 | -- | 33 | David N. Jansen, Holger Hermanns. QoS modelling and analysis with UML-statecharts: the StoCharts approach |
| 34 | -- | 40 | Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen. Optimal scheduling using priced timed automata |
| 41 | -- | 47 | Annabelle McIver, Carroll Morgan. Abstraction and refinement in probabilistic systems |