| Efficient probabilistic model checking on general purpose graphics processors D Bošnački, S Edelkamp, D Sulewski International SPIN Workshop on Model Checking of Software, 32-49, 2009 | 41 | 2009 |
| 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 (1), 21-35, 2011 | 35 | 2011 |
| 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 | 28 | 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 | 23 | 2011 |
| Model checking via delayed duplicate detection on the GPU S Edelkamp, D Sulewski Univ., Fachbereich Informatik, 2008 | 23 | 2008 |
| Parallel state space search on the GPU S Edelkamp, D Sulewski Proceedings of the International Symposium on Combinatorial Search, 2009 | 22 | 2009 |
| 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 | 21 | 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 | 19 | 2010 |
| 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 | 15 | 2008 |
| GPU exploration of two-player games with perfect hash functions S Edelkamp, D Sulewski, C Yücel Third Annual Symposium on Combinatorial Search, 2010 | 13 | 2010 |
| Collaborative map generation–survey and architecture proposal S Edelkamp, D Sulewski, FC Pereira, H Costa Urbanism on track: application of tracking technologies in urbanism (2008 …, 2008 | 10 | 2008 |
| 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 | 9 | 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 | 9 | 2010 |
| Program model checking via action planning S Edelkamp, M Kellershoff, D Sulewski International Workshop on Model Checking and Artificial Intelligence, 32-51, 2010 | 6 | 2010 |
| 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 | 2 | 2009 |
| External Memory Search for Verification of Multi-threaded C++ Programs. S Edelkamp, S Jabbar, D Midzic, D Rikowski, D Sulewski KI 22 (2), 44-50, 2008 | 2 | 2008 |
Falk HowarTU DortmundVerified email at tu-dortmund.de
