Parallel probabilistic model checking on general purpose graphics processors D Bošnački, S Edelkamp, D Sulewski, A Wijs International Journal on Software Tools for Technology Transfer 13, 21-35, 2011 | 50 | 2011 |
Efficient probabilistic model checking on general purpose graphics processors D Bošnački, S Edelkamp, D Sulewski Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009 | 45 | 2009 |
Efficient explicit-state model checking on general purpose graphics processors S Edelkamp, D Sulewski International SPIN Workshop on Model Checking of Software, 106-123, 2010 | 36 | 2010 |
GPU-PRISM: an extension of PRISM for general purpose graphics processing units D Bošnački, S Edelkamp, D Sulewski, A Wijs 2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010 | 33 | 2010 |
Exploiting the computational power of the graphics card: Optimal state space planning on the GPU D Sulewski, S Edelkamp, P Kissmann Proceedings of the International Conference on Automated Planning and …, 2011 | 31 | 2011 |
Perfect hashing for state space exploration on the GPU S Edelkamp, D Sulewski, C Yücel Proceedings of the International Conference on Automated Planning and …, 2010 | 25 | 2010 |
Model checking via delayed duplicate detection on the GPU S Edelkamp, D Sulewski Univ., Fachbereich Informatik, 2008 | 25 | 2008 |
Parallel state space search on the GPU S Edelkamp, D Sulewski International Symposium on Combinatorial Search (SoCS 2009), 2009 | 23 | 2009 |
Flash-efficient LTL model checking with minimal counterexamples S Edelkamp, D Sulewski 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 19 | 2008 |
Can flash memory help in model checking? J Barnat, L Brim, S Edelkamp, D Sulewski, P Šimeček International Workshop on Formal Methods for Industrial Critical Systems …, 2008 | 16 | 2008 |
GPU exploration of two-player games with perfect hash functions S Edelkamp, D Sulewski, C Yücel Proceedings of the International Symposium on Combinatorial Search 1 (1), 23-30, 2010 | 15 | 2010 |
External memory breadth-first search with delayed duplicate detection on the GPU S Edelkamp, D Sulewski International Workshop on Model Checking and Artificial Intelligence, 12-31, 2010 | 15 | 2010 |
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. S Edelkamp, P Kissmann, D Sulewski, H Messerschmidt MKWI, 2295-2308, 2010 | 13 | 2010 |
GENERATION SURVEY AND ARCHITECTURE PROPOSAL INTRODUCTION The current widespread use and higher quality of GPS devices is drastically increasing the need for up-to-date digital … S Edelkamp, D Sulewski, FC Pereira, H Costa Urbanism on track: application of tracking technologies in urbanism 1, 161, 2008 | 9 | 2008 |
Program model checking via action planning S Edelkamp, M Kellershoff, D Sulewski Model Checking and Artificial Intelligence: 6th International Workshop …, 2011 | 6 | 2011 |
Large scale parallel state space search utilizing graphics processing units and solid state disks D Sulewski | 5 | 2012 |
Distributed verification of multi-threaded C++ programs S Edelkamp, S Jabbar, D Sulewski Electronic Notes in Theoretical Computer Science 198 (1), 33-46, 2008 | 5 | 2008 |
Flash memory efficient LTL model checking S Edelkamp, D Sulewski, J Barnat, L Brim, P Šimeček Science of Computer Programming 76 (2), 136-157, 2011 | 3 | 2011 |
Solving games in parallel with linear-time perfect hash functions S Edelkamp, H Messerschmidt, D Sulewski, C Yücel Technical report, TZI, University of Bremen, 2009 | 2 | 2009 |
External Memory Search for Verification of Multi-threaded C++ Programs. S Edelkamp, S Jabbar, D Midzic, D Rikowski, D Sulewski Künstliche Intell. 22 (2), 44-50, 2008 | 2 | 2008 |