Accepted Full Papers
- Distributed Colored Petri Net Model-Checking with Galaxy
Christophe Pajault, Jean-François Pradat-Peyre
- Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Jirí Barnat, Pavel Moravec
- Can Saturation be Parallelised? On the Parallelisation of a Symbolic State-Space Generator
Jonathan Ezekiel, Gerald Luettgen, Radu Siminiceanu
- Parallel SAT-Solving in Bounded Model Checking
Erika Ábrahám, Bernd Becker, Martin Fränzle, Christian Herde, Tobias Schubert
Work-in-progress Reports
- Distributed Guided State Space Exploration for Scheduling Problems
Anton Wijs
- Distributed Qualitative LTL Model Checking of Markov Decision Processes
Jirí Barnat, Luboš Brim, Ivana Cerná, Milan Ceška, Jana Tůmová
