Programme of PDMC at ETAPS 2008
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
ETAPS 2008 |
Top |
HTML 4.01 |
Last Update: 2008-01-13