Damian Sulewski
Damian Sulewski
Unknown affiliation
Verified email at tzi.de
Title
Cited by
Cited by
Year
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
392009
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
342011
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
252010
Model checking via delayed duplicate detection on the GPU
S Edelkamp, D Sulewski
Univ., Fachbereich Informatik, 2008
222008
Parallel state space search on the GPU
S Edelkamp, D Sulewski
Proceedings of the International Symposium on Combinatorial Search, 2009
212009
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
202011
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
202010
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
192010
Flash-efficient LTL model checking with minimal counterexamples
S Edelkamp, D Sulewski
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
182008
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
142008
GPU exploration of two-player games with perfect hash functions
S Edelkamp, D Sulewski, C Yücel
Third Annual Symposium on Combinatorial Search, 2010
132010
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
102008
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
S Edelkamp, P Kissmann, D Sulewski, H Messerschmidt
MKWI, 2295-2308, 2010
92010
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
82010
Program model checking via action planning
S Edelkamp, M Kellershoff, D Sulewski
International Workshop on Model Checking and Artificial Intelligence, 32-51, 2010
52010
Large scale parallel state space search utilizing graphics processing units and solid state disks
D Sulewski
42012
Distributed verification of multi-threaded C++ programs
S Edelkamp, S Jabbar, D Sulewski
Electronic Notes in Theoretical Computer Science 198 (1), 33-46, 2008
42008
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
32011
Solving games in parallel with linear-time perfect hash functions
S Edelkamp, H Messerschmidt, D Sulewski, C Yücel
22009
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
22008
The system can't perform the operation now. Try again later.
Articles 1–20