Distributed Verification of Multi-threaded C++ Programs. - Stefan Edelkamp; Shahid Jabbar; Damian Sulewski (PDMC@CAV, 2007)

Can Flash Memory Help in Model Checking? - Jiri Barnat; Lubos Brim; Stefan Edelkamp; Damian Sulewski; Pavel Simecek (FMICS, 2008)

Flash-Efficient LTL Model Checking with Minimal Counterexamples. - Stefan Edelkamp; Damian Sulewski (SEFM, 2008)

External Memory Search for Verification of Multi-threaded C++ Programs. - Stefan Edelkamp; Shahid Jabbar; Dino Midzic; Daniel Rikowski; Damian Sulewski (Künstliche Intell., 2008)

Efficient Probabilistic Model Checking on General Purpose Graphics Processors. - Dragan Bosnacki; Stefan Edelkamp; Damian Sulewski (SPIN, 2009)

Perfect Hashing for State Space Exploration on the GPU. - Stefan Edelkamp; Damian Sulewski; Cengizhan Yücel (ICAPS, 2010)

Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search. - Stefan Edelkamp; Peter Kissmann; Damian Sulewski; Hartmut Messerschmidt (MKWI, 2010)

Program Model Checking via Action Planning. - Stefan Edelkamp; Mark Kellershoff; Damian Sulewski (MoChArt, 2010)

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. - Stefan Edelkamp; Damian Sulewski (MoChArt, 2010)

GPU Exploration of Two-Player Games with Perfect Hash Functions. - Stefan Edelkamp; Damian Sulewski; Cengizhan Yücel (SOCS, 2010)

Efficient Explicit-State Model Checking on General Purpose Graphics Processors. - Stefan Edelkamp; Damian Sulewski (SPIN, 2010)

Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. - Damian Sulewski; Stefan Edelkamp; Peter Kissmann (ICAPS, 2011)

Flash memory efficient LTL model checking. - Stefan Edelkamp; Damian Sulewski; Jiri Barnat; Lubos Brim; Pavel Simecek (Sci. Comput. Program., 2011)

Parallel probabilistic model checking on general purpose graphics processors. - Dragan Bosnacki; Stefan Edelkamp; Damian Sulewski; Anton Wijs (Int. J. Softw. Tools Technol. Transf., 2011)

Large scale parallel state space search utilizing graphics processing units and solid state disks. - Damian Sulewski (2012)