Damian Sulewski

According to our database, Damian Sulewski authored at least 15 papers between 2007 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2012

Large scale parallel state space search utilizing graphics processing units and solid state disks.

Damian Sulewski

PhD thesis, 2012

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

Flash memory efficient LTL model checking.

Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek

Sci. Comput. Program., 2011

Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU.

Damian Sulewski, Stefan Edelkamp, Peter Kissmann

Proceedings of the 21st International Conference on Automated Planning and Scheduling, 2011

2010

Efficient Explicit-State Model Checking on General Purpose Graphics Processors.

Stefan Edelkamp, Damian Sulewski

Proceedings of the Model Checking Software, 2010

GPU Exploration of Two-Player Games with Perfect Hash Functions.

Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel

Proceedings of the Third Annual Symposium on Combinatorial Search, 2010

External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU.

Stefan Edelkamp, Damian Sulewski

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Program Model Checking via Action Planning.

Stefan Edelkamp, Mark Kellershoff, Damian Sulewski

Proceedings of the Model Checking and Artificial Intelligence - 6th International Workshop, 2010

Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.

Stefan Edelkamp, Peter Kissmann, Damian Sulewski, Hartmut Messerschmidt

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Perfect Hashing for State Space Exploration on the GPU.

Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Efficient Probabilistic Model Checking on General Purpose Graphics Processors.

Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski

Proceedings of the Model Checking Software, 2009

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

Flash-Efficient LTL Model Checking with Minimal Counterexamples.

Stefan Edelkamp, Damian Sulewski

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Can Flash Memory Help in Model Checking?

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

2007

Distributed Verification of Multi-threaded C++ Programs.

Stefan Edelkamp, Shahid Jabbar, Damian Sulewski

Proceedings of the 6th International Workshop on Parallel and Distributed Methods in verifiCation, 2007