|
|
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 63-67, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska 0002 |
Computing Optimal Cycle Mean in Parallel on CUDA ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 68-83, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Temesghen Kahsai, Cesare Tinelli |
PKind: A parallel k-induction based model checker ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 55-62, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal |
Distributed MAP in the SpinJa Model Checker ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 84-90, 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Anton Wijs |
The HIVE Tool for Informed Swarm State Space Exploration ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 91-98, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Youssef Hamadi, João Marques-Silva 0001, Christoph M. Wintersteiger |
Lazy Decomposition for Distributed Decision Procedures ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 43-54, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Jiri Barnat |
Platform Dependent Verification: On Engineering Verification Tools for 21st Century ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 1-12, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Axel Legay |
Distributed Parametric and Statistical Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 30-42, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alfons Laarman, Jaco van de Pol |
Variations on Multi-Core Nested Depth-First Search ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011., pp. 13-28, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Siert Wieringa, Matti Niemenmaa, Keijo Heljanko |
Tarmo: A Framework for Parallelized Bounded Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 62-76, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Attila Kertész, Zsolt Németh |
Formal Aspects of Grid Brokering ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 18-31, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Lubos Brim, Milan Ceska 0002 |
DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 107-111, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Hao Wang 0003, Wendy MacCaull |
An Efficient Explicit-time Description Method for Timed Model Checking ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 77-91, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Blom, Jaco van de Pol |
Distributed Branching Bisimulation Minimization by Inductive Signatures ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 32-46, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Ballarini, Michele Forlin, Tommaso Mazza, Davide Prandi |
Efficient Parallel Statistical Model Checking of Biochemical Networks ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 47-61, 2009. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 1-17, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009., pp. 92-106, 2009. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![Elsevier The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
1 | Lubos Brim, Martin Leucker |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 1-2, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Lange, Hans-Wolfgang Loidl |
Parallel and Symbolic Model Checking for Fixpoint Logic with Chop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 125-138, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Yulik Feldman, Nachum Dershowitz, Ziyad Hanna |
Parallel Multithreaded Satisfiability Solver: Design and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 75-90, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lubos Brim, Ivana Cerná, Pavel Moravec 0002, Jirí Simsa |
Distributed Partial Order Reduction of State Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 63-74, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Simona Orzan, Jaco van de Pol, Miguel Valero Espada |
A State Space Distribution Policy Based on Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 35-45, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Kumar 0004, Eric G. Mercer |
Load Balancing Parallel Explicit State Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 19-34, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 91-105, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 3-18, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Cornelia P. Inggs, Howard Barringer |
CTL* Model Checking on a Shared-Memory Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 107-123, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Joubert, Radu Mateescu 0001 |
Distributed On-the-Fly Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDMC ![In: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, PDMC 2004, London, UK, September 4, 2004, pp. 47-62, 2004, Elsevier. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #30 of 30 (100 per page; Change: )
|
|