Damian Sulewski

	2011
13		Damian Sulewski, Stefan Edelkamp, Peter Kissmann: Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. ICAPS 2011
12		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011)
11		Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011)
	2010
10		Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: Perfect Hashing for State Space Exploration on the GPU. ICAPS 2010: 57-64
9		Stefan Edelkamp, Damian Sulewski: External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt 2010: 12-31
8		Stefan Edelkamp, Mark Kellershoff, Damian Sulewski: Program Model Checking via Action Planning. MoChArt 2010: 32-51
7		Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: GPU Exploration of Two-Player Games with Perfect Hash Functions. SOCS 2010
6		Stefan Edelkamp, Damian Sulewski: Efficient Explicit-State Model Checking on General Purpose Graphics Processors. SPIN 2010: 106-123
	2009
5		Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49
	2008
4		Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165
3		Stefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82
2		Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008)
1		Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, Damian Sulewski: External Memory Search for Verification of Multi-threaded C++ Programs. KI 22(2): 44-50 (2008)

Coauthor Index

1	Jiri Barnat	[4] [11]
2	Dragan Bosnacki	[5] [12]
3	Lubos Brim	[4] [11]
4	Stefan Edelkamp	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13]
5	Shahid Jabbar	[1] [2]
6	Mark Kellershoff	[8]
7	Peter Kissmann	[13]
8	Dino Midzic	[1]
9	Daniel Rikowski	[1]
10	Pavel Simecek	[4] [11]
11	Anton Wijs	[12]
12	Cengizhan Yücel	[7] [10]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page