Programme of PDMC at ETAPS 2008

(Parallel and Distributed Methods of verifiCation)

Saturday, March 29, room: Room X.

09:00 - 10:30 SESSION 1

Opening

Invited talk

Large-Scale Parallel Computing on Grids

Henri Bal, Vrije Universiteit Amsterdam

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Regular talk

A Multi-Core Solver for Parity Games

Jaco van de Pol and Michael Weber

Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking

Stefan Blom, Boudewijn Haverkort, Matthias Kuntz and Jaco van de Pol

A Case Study in Parallel Verification of Component-Based Systems

Nikola Benes, Ivana Cerna, Jiri Sochor, Pavlina Varekova and Barbora Zimmerova

12:30 - 14:00 Lunch

14:00 - 16:00 SESSION 3

Regular talk

Complementarity of Error Detection Techniques

Radek Pelanek, Vaclav Rosecky and Pavel Moravec

Work in progress

Performance Trees: Implementation and Distributed Evaluation

Darren Brien, Nicholas Dingle, William Knottenbelt, Harini Kulatunga and Tamas Suto

From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan, and David Safranek,

Estimating State Space Parameters

Radek Pelanek and Pavel Simecek

16:00 - 16:30 Coffee

16:30 - 17:00 SESSION 4

Discussion

Detailed Programme Information:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA