| 1 | -- | 2 | Ivana Cerná, Boudewijn R. Haverkort. Preface |
| 3 | -- | 16 | Gerard J. Holzmann. A Stack-Slicing Algorithm for Multi-Core Model Checking |
| 17 | -- | 32 | Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber. A Database Approach to Distributed State Space Generation |
| 33 | -- | 46 | Stefan Edelkamp, Shahid Jabbar, Damian Sulewski. Distributed Verification of Multi-threaded C++ Programs |
| 47 | -- | 61 | Jonathan Ezekiel, Gerald Lüttgen. Measuring and Evaluating Parallel State-Space Exploration Algorithms |
| 63 | -- | 77 | Jiri Barnat, Jakub Chaloupka, Jaco van de Pol. Improved Distributed Algorithms for SCC Decomposition |
| 79 | -- | 91 | Jiri Barnat, Petr Rockai. Shared Hash Tables in Parallel Model Checking |
| 93 | -- | 99 | Muhammad Torabi Dashti, Anton Wijs, Bert Lisser. Distributed Partial Order Reduction for Security Protocols |