- Christophe Joubert, Radu Mateescu:
Distributed On-the-Fly Equivalence Checking. PDMC 2004: 47-62 - Rahul Kumar, Eric G. Mercer:
Load Balancing Parallel Explicit State Model Checking. PDMC 2004: 19-34 - Martin Lange, Hans-Wolfgang Loidl:
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. PDMC 2004: 125-138 - Simona Orzan, Jaco van de Pol, Miguel Valero Espada:
A State Space Distribution Policy Based on Abstract Interpretation. PDMC 2004: 35-45 - 2003
- Stefan Blom, Izak van Langevelde, Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems. PDMC@CAV 2003: 68-83 - Stefan Blom, Simona Orzan:
Distributed Branching Bisimulation Reduction of State Spaces. PDMC@CAV 2003: 99-113 - Lubos Brim, Orna Grumberg:
Preface. PDMC@CAV 2003: 1-2 - Lubos Brim, Jitka Zidkova:
Using Assumptions to Distribute Alternation Free Mu-Calculus Model Checking. PDMC@CAV 2003: 17-32 - Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn:
Benchmarking Explicit State Parallel Model Checkers. PDMC@CAV 2003: 84-98 - Christophe Joubert:
Distributed Model Checking: From Abstract Algorithms to Concrete Implementations. PDMC@CAV 2003: 114-127 - Pavel Krcál:
Distributed Explicit Bounded LTL Model Checking. PDMC@CAV 2003: 33-50 - Martin Leucker, Rafal Somla, Michael Weber:
Parallel Model Checking for LTL, CTL*, and Lµ2. PDMC@CAV 2003: 4-16 - Assaf Schuster:
Scalable Distributed Model Checking: Experiences, Lessons, and Expectations. PDMC@CAV 2003: 3 - Hemanthkumar Sivaraj, Ganesh Gopalakrishnan:
Random Walk Based Heuristic Algorithms for Distributed Memory Model Checking. PDMC@CAV 2003: 51-67 - Lubos Brim, Orna Grumberg:
2nd International Workshop on Parallel and Distributed Model Checking, PDMC 2003, Satellite Workshop of CAV 2003, Boulder, Colorado, USA, July 13, 2003. Electronic Notes in Theoretical Computer Science 89(1), Elsevier 2003 [contents] - 2002
- Gerd Behrmann:
A Performance Study of Distributed Timed Automata Reachability Analysis. PDMC@CONCUR 2002: 486-502 - Alexander Bell, Boudewijn R. Haverkort:
Sequential and Distributed Model Checking of Petri Net Specifications. PDMC@CONCUR 2002: 539-558 - Stefan Blom, Simona Orzan:
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. PDMC@CONCUR 2002: 523-538 - Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik:
ZEUS: A Distributed Timed Model-Checker Based on KRONOS. PDMC@CONCUR 2002: 503-522 - Tomás Brázdil, Ivana Cerná:
Local Distributed Model Checking of RegCTL. PDMC@CONCUR 2002: 575-588 - Lubos Brim, Jitka Crhová, Karen Yorav:
Using Assumptions to Distribute CTL Model Checking. PDMC@CONCUR 2002: 559-574 - Lubos Brim, Orna Grumberg:
Preface. PDMC@CONCUR 2002: 483 - Orna Grumberg:
Different directions in parallel and distributed model checking (invited talk). PDMC@CONCUR 2002: 485 - Cornelia P. Inggs, Howard Barringer:
Effective State Exploration for Model Checking on a Shared Memory Architecture. PDMC@CONCUR 2002: 605-620 - Marta Z. Kwiatkowska, Rashid Mehmood, Gethin Norman, David Parker:
A Symbolic Out-of-Core Solution Method for Markov Models. PDMC@CONCUR 2002: 589-604 - Moshe Y. Vardi:
Model Checking: A Complexity-Theoretic Perspective (invited talk). PDMC@CONCUR 2002: 484 - Lubos Brim, Orna Grumberg:
Parallel and Distributed Model Checking, PDMC 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002. Electronic Notes in Theoretical Computer Science 68(4), Elsevier 2002 [contents]