|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 30 publication records. Showing 30 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nikola Benes, Ivana Cerná, Milan Krivánek |
CoInDiVinE: Parallel Distributed Model Checker for Component-Based Systems  |
PDMC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Computing Optimal Cycle Mean in Parallel on CUDA |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Temesghen Kahsai, Cesare Tinelli |
PKind: A parallel k-induction based model checker |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal |
Distributed MAP in the SpinJa Model Checker |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Keijo Heljanko (eds.) |
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Wijs |
The HIVE Tool for Informed Swarm State Space Exploration |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Youssef Hamadi, João Marques-Silva 0001, Christoph M. Wintersteiger |
Lazy Decomposition for Distributed Decision Procedures |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay |
Distributed Parametric and Statistical Model Checking |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfons Laarman, Jaco van de Pol |
Variations on Multi-Core Nested Depth-First Search |
PDMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siert Wieringa, Matti Niemenmaa, Keijo Heljanko |
Tarmo: A Framework for Parallelized Bounded Model Checking |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Attila Kertész, Zsolt Németh |
Formal Aspects of Grid Brokering |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Milan Ceska 0002 |
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wang 0003, Wendy MacCaull |
An Efficient Explicit-time Description Method for Timed Model Checking |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Blom, Jaco van de Pol |
Distributed Branching Bisimulation Minimization by Inductive Signatures |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Jaco van de Pol (eds.) |
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi |
Efficient Parallel Statistical Model Checking of Biochemical Networks |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianfranco Ciardo, Yang Zhao 0011, Xiaoqing Jin |
Parallel symbolic state-space exploration is difficult, but what is the alternative? |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs |
PDMC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Martin Leucker (eds.) |
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004 |
PDMC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Lubos Brim, Martin Leucker |
Preface. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Lange, Hans-Wolfgang Loidl |
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yulik Feldman, Nachum Dershowitz, Ziyad Hanna |
Parallel Multithreaded Satisfiability Solver: Design and Implementation. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
Distributed Partial Order Reduction of State Spaces. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Orzan, Jaco van de Pol, Miguel Valero Espada |
A State Space Distribution Policy Based on Abstract Interpretation. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Kumar 0004, Eric G. Mercer |
Load Balancing Parallel Explicit State Model Checking. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Holmén, Martin Leucker, Marcus Lindström |
UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor A. Braberman, Alfredo Olivero, Fernando Schapachnik |
On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Cornelia P. Inggs, Howard Barringer |
CTL* Model Checking on a Shared-Memory Architecture. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christophe Joubert, Radu Mateescu 0001 |
Distributed On-the-Fly Equivalence Checking. |
PDMC |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license