Sign in
PDMC
2005
2007
2009
2011
2005
2011
Keyphrases
Publications
2011
Nikola Benes
,
Ivana Cerná
,
Milan Krivánek
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems
PDMC
(2011)
Jiri Barnat
,
Petr Bauch
,
Lubos Brim
,
Milan Ceska
Computing Optimal Cycle Mean in Parallel on CUDA
PDMC
(2011)
Temesghen Kahsai
,
Cesare Tinelli
PKind: A parallel k-induction based model checker
PDMC
(2011)
Stefan Vijzelaar
,
Kees Verstoep
,
Wan J. Fokkink
,
Henri E. Bal
Distributed MAP in the SpinJa Model Checker
PDMC
(2011)
Anton Wijs
The HIVE Tool for Informed Swarm State Space Exploration
PDMC
(2011)
Youssef Hamadi
,
João Marques-Silva
,
Christoph M. Wintersteiger
Lazy Decomposition for Distributed Decision Procedures
PDMC
(2011)
Lubos Brim
,
Jiri Barnat
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
PDMC
(2011)
Peter E. Bulychev
,
Alexandre David
,
Kim Guldstrand Larsen
,
Marius Mikucionis
,
Axel Legay
Distributed Parametric and Statistical Model Checking
PDMC
(2011)
Alfons Laarman
,
Jaco van de Pol
Variations on Multi-Core Nested Depth-First Search
PDMC
(2011)
volume 72, 2011
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011.
PDMC
72 (2011)
2009
Siert Wieringa
,
Matti Niemenmaa
,
Keijo Heljanko
Tarmo: A Framework for Parallelized Bounded Model Checking
PDMC
(2009)
Attila Kertész
,
Zsolt Németh
Formal Aspects of Grid Brokering
PDMC
(2009)
Jiri Barnat
,
Lubos Brim
,
Milan Ceska
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
PDMC
(2009)
Hao Wang
,
Wendy MacCaull
An Efficient Explicit-time Description Method for Timed Model Checking
PDMC
(2009)
Stefan Blom
,
Jaco van de Pol
Distributed Branching Bisimulation Minimization by Inductive Signatures
PDMC
(2009)
Paolo Ballarini
,
Michele Forlin
,
Tommaso Mazza
,
Davide Prandi
Efficient Parallel Statistical Model Checking of Biochemical Networks
PDMC
(2009)
Gianfranco Ciardo
,
Yang Zhao
,
Xiaoqing Jin
Parallel symbolic state-space exploration is difficult, but what is the alternative?
PDMC
(2009)
Fuad Abujarad
,
Borzoo Bonakdarpour
,
Sandeep S. Kulkarni
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
PDMC
(2009)
volume 14, 2009
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009.
PDMC
14 (2009)
volume 128, number 3, 2005
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004
PDMC
128 (3) (2005)