Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008,
March 29–April 6, 2007.
9:00 - 9:30 OPENING 9:30 - 10:30 INVITED TALK
Large-scale parallel computing on grids (abstract)
Henri Bal (Vrije Universiteit Amsterdam, The Netherlands)
10:30 - 11:00 COFFEE BREAK 11:00 - 11:30 REGULAR TALK
A Multi-Core Solver for Parity Games
Jaco van de Pol and Michael Weber
11:30 - 12:00 REGULAR TALK
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Stefan Blom, Boudewijn Haverkort, Matthias Kuntz and Jaco van de Pol
12:00 - 12:30 REGULAR TALK
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 - 14:30 REGULAR TALK
Complementarity of Error Detection Techniques
Radek Pelanek, Vaclav Rosecky and Pavel Moravec
14:30 - 15:00 WORK-IN-PROGRESS REPORT
Performance Trees: Implementation and Distributed Evaluation
Darren Brien, Nicholas Dingle, William Knottenbelt, Harini Kulatunga and Tamas Suto
15:00 - 15:30 WORK-IN-PROGRESS REPORT
From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks
Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan and David Safranek
15:30 - 16:00 WORK-IN-PROGRESS REPORT
Estimating State Space Parameters
Radek Pelanek and Pavel Simecek
16:00 - 16:30 COFFEE BREAK 16:0 - 17:00 Open Session - Discussion