Damian Sulewski
Damian Sulewski
Unknown affiliation
Verified email at tzi.de
TitleCited byYear
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
382009
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
332011
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
232008
Parallel state space search on the GPU
S Edelkamp, D Sulewski
International Symposium on Combinatorial Search (SoCS 2009), 2009
222009
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
192011
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
182010
GPU-PRISM: An extension of PRISM for general purpose graphics processing units
D Bosnacki, S Edelkamp, D Sulewski, A Wijs
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
172010
Flash-efficient LTL model checking with minimal counterexamples
S Edelkamp, D Sulewski
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
172008
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
152008
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
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
S Edelkamp, P Kissmann, D Sulewski, H Messerschmidt
MKWI, 2295-2308, 2010
102010
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
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
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
Large scale parallel state space search utilizing graphics processing units and solid state disks.
D Sulewski
Dortmund University of Technology, 2012
32012
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