Thursday, August 31, 2006, Bonn, Germany
Affiliated to CONCUR 2006
,
August 27–30, 2006.
|
SESSION 1 |
OPENING AND KEYNOTE ADDRESS |
| 09:00 - 09:30 | Jaco van de Pol, Boudewijn Haverkort Welcome |
| 09:30 - 10:30 | Luboš Brim Distributed Verification: Exploring the Power of Raw Computing Power |
| 10:30 - 11:00 | COFFEE BREAK |
|
|
|
|
SESSION 2 |
EXPLICIT MODEL CHECKING |
| 11:00 - 11:30 | Christophe Pajault, Jean-François Pradat-Peyre Distributed Colored Petri Net Model-Checking with Galaxy |
| 11:30 - 12:00 | Jirí Barnat, Pavel Moravec Parallel Algorithms for Finding SCCs in Implicitly Given Graphs |
| 12:00 - 12:30 | Anton Wijs (work-in-progress report) Distributed Guided State Space Exploration for Scheduling Problems |
| 12:30 - 14:30 | LUNCH BREAK |
|
|
|
|
SESSION 3 |
SYMBOLIC MODEL CHECKING |
| 14:30 - 15:00 | Jonathan Ezekiel, Gerald Luettgen, Radu Siminiceanu Can Saturation be Parallelised? On the Parallelisation of a Symbolic State-Space Generator |
| 15:30 - 15:30 | Erika Ábrahám, Bernd Becker, Martin Fränzle,
Christian Herde, Tobias Schubert Parallel SAT-Solving in Bounded Model Checking |
| 15:30 - 16:00 | Jirí Barnat, Luboš Brim, Ivana
Cerná,
Milan Ceška, Jana Tumová (work-in-progress report) Distributed Qualitative LTL Model Checking of Markov Decision Processes |
| 16:00 - 16:30 | COFFEE BREAK |
|
|
|
|
SESSION 4 |
DISCUSSION, STAND-UP RESEARCHERS AND CLOSING |