7th International Workshop on
Parallel and Distributed Methods in verifiCation

PDMC 2008

Saturday, March 29, 2008, Budapest, Hungary
Affiliated to ETAPS 2008, March 29–April 6, 2007.

---

[ Home ] [ Submission Page ] [ Call for Papers ] [ Accepted Papers ] [ Instructions for Authors ] [ Programme ] [ Registration ]

---

Accepted Regular Papers

• A Multi-Core Solver for Parity Games
  Jaco van de Pol and Michael Weber
• Complementarity of Error Detection Techniques
  Radek Pelanek, Vaclav Rosecky and Pavel Moravec
• 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

Work-in-progress Reports

• 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
  David Safranek, Lubos Brim, Ivana Cerna, Jiri Barnat and Sven Drazan
• Estimating State Space Parameters
  Radek Pelanek and Pavel Simecek