| 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 | 38 | 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 | 29 | 2010 |
| Exploiting the computational power of the graphics card: Optimal state space planning on the GPU D Sulewski, S Edelkamp, P Kissmann Twenty-First International Conference on Automated Planning and Scheduling, 2011 | 26 | 2011 |
| 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 | 25 | 2010 |
| Parallel state space search on the GPU S Edelkamp, D Sulewski International Symposium on Combinatorial Search (SoCS 2009), 2009 | 25 | 2009 |
| Model checking via delayed duplicate detection on the GPU S Edelkamp, D Sulewski Univ., Fachbereich Informatik, 2008 | 24 | 2008 |
| Perfect hashing for state space exploration on the GPU S Edelkamp, D Sulewski, C Yücel Twentieth International Conference on Automated Planning and Scheduling, 2010 | 21 | 2010 |
| Flash-efficient LTL model checking with minimal counterexamples S Edelkamp, D Sulewski 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 18 | 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 International Symposium on Combinatorial Search 1 (1), 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 | 11 | 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 | 10 | 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 | 10 | 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 |
| Solving games in parallel with linear-time perfect hash functions S Edelkamp, H Messerschmidt, D Sulewski, C Yücel | 4 | 2009 |
| 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 |
| 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 |
Falk HowarTU DortmundBestätigte E-Mail-Adresse bei tu-dortmund.de
