Damian Sulewski

15 papers A* 2B 2C 1Journal 3Unranked 6

Year	Rank	Type	Title / 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