Följ
Damian Sulewski
Damian Sulewski
Okänd anknytning
Verifierad e-postadress på tzi.de
Titel
Citeras av
Citeras av
År
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
412009
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
382011
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
292010
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
272011
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
252010
Parallel state space search on the GPU
S Edelkamp, D Sulewski
International Symposium on Combinatorial Search (SoCS 2009), 2009
252009
Model checking via delayed duplicate detection on the GPU
S Edelkamp, D Sulewski
Univ., Fachbereich Informatik, 2008
242008
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
222010
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
152008
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
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
112008
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
102010
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
Program model checking via action planning
S Edelkamp, M Kellershoff, D Sulewski
International Workshop on Model Checking and Artificial Intelligence, 32-51, 2010
62010
Large scale parallel state space search utilizing graphics processing units and solid state disks
D Sulewski
52012
Distributed verification of multi-threaded C++ programs
S Edelkamp, S Jabbar, D Sulewski
Electronic Notes in Theoretical Computer Science 198 (1), 33-46, 2008
52008
Solving games in parallel with linear-time perfect hash functions
S Edelkamp, H Messerschmidt, D Sulewski, C Yücel
42009
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
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
22008
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20