Damian Sulewski

15 papers A* 2B 2C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2012 — —
Large scale parallel state space search utilizing graphics processing units and solid state disks.
Damian Sulewski
2011 A* conf
Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.
ICAPS
Damian Sulewski, Stefan Edelkamp, Peter Kissmann
2011 J jnl
Flash memory efficient LTL model checking.
Sci. Comput. Program.
Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek
2011 J jnl
Parallel probabilistic model checking on general purpose graphics processors.
Int. J. Softw. Tools Technol. Transf.
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs
2010 — conf
Efficient Explicit-State Model Checking on General Purpose Graphics Processors.
SPIN
Stefan Edelkamp, Damian Sulewski
2010 — conf
External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU.
MoChArt
Stefan Edelkamp, Damian Sulewski
2010 — conf
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
MKWI
Stefan Edelkamp, Peter Kissmann, Damian Sulewski, Hartmut Messerschmidt
2010 B conf
GPU Exploration of Two-Player Games with Perfect Hash Functions.
SOCS
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
2010 A* conf
Perfect Hashing for State Space Exploration on the GPU.
ICAPS
Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel
2010 — conf
Program Model Checking via Action Planning.
MoChArt
Stefan Edelkamp, Mark Kellershoff, Damian Sulewski
2009 — conf
Efficient Probabilistic Model Checking on General Purpose Graphics Processors.
SPIN
Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski
2008 C conf
Can Flash Memory Help in Model Checking?
FMICS
Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek
2008 J jnl
External Memory Search for Verification of Multi-threaded C++ Programs.
Künstliche Intell.
Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski
2008 B conf
Flash-Efficient LTL Model Checking with Minimal Counterexamples.
SEFM
Stefan Edelkamp, Damian Sulewski
2007 — conf
Distributed Verification of Multi-threaded C++ Programs.
PDMC@CAV
Stefan Edelkamp, Shahid Jabbar, Damian Sulewski