Damian Sulewski

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Dortmund University of Technology (PHD)

Education History

Dortmund University of Technology

PHD

Publications

Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
Parallel probabilistic model checking on general purpose graphics processors. Int. J. Softw. Tools Technol. Transf. 13 (1) (2011)
Damian Sulewski, Stefan Edelkamp, Peter Kissmann
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. ICAPS (2011)
Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek
Flash memory efficient LTL model checking. Sci. Comput. Program. 76 (2) (2011)
Stefan Edelkamp, Damian Sulewski
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt (2010)
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
Perfect Hashing for State Space Exploration on the GPU. ICAPS (2010)
Stefan Edelkamp, Damian Sulewski
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. SPIN (2010)
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
GPU Exploration of Two-Player Games with Perfect Hash Functions. SOCS (2010)
Stefan Edelkamp, Peter Kissmann, Damian Sulewski, Hartmut Messerschmidt
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. MKWI (2010)
Stefan Edelkamp, Mark Kellershoff, Damian Sulewski
Program Model Checking via Action Planning. MoChArt (2010)
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski
Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN (2009)
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski
Distributed Verification of Multi-threaded C++ Programs. Electron. Notes Theor. Comput. Sci. 198 (1) (2008)
Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek
Can Flash Memory Help in Model Checking? FMICS (2008)
Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
External Memory Search for Verification of Multi-threaded C++ Programs. Künstliche Intell. 22 (2) (2008)
Stefan Edelkamp, Damian Sulewski
Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM (2008)

Damian Sulewski.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Damian Sulewski