- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| j4 |      | Stefan Edelkamp, Damian Sulewski, Jiri Barnat, Lubos Brim, Pavel Simecek: Flash memory efficient LTL model checking. Sci. Comput. Program. 76(2): 136-157 (2011) |
| j3 | | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski, Anton Wijs: Parallel probabilistic model checking on general purpose graphics processors. STTT 13(1): 21-35 (2011) |
| c9 | | Damian Sulewski, Stefan Edelkamp, Peter Kissmann: Exploiting the Computational Power of the Graphics Card: Optimal State Space Planning on the GPU. ICAPS 2011 |
| 2010 | ||
| c8 | | Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: Perfect Hashing for State Space Exploration on the GPU. ICAPS 2010: 57-64 |
| c7 | | Stefan Edelkamp, Damian Sulewski: External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU. MoChArt 2010: 12-31 |
| c6 | | Stefan Edelkamp, Mark Kellershoff, Damian Sulewski: Program Model Checking via Action Planning. MoChArt 2010: 32-51 |
| c5 | | Stefan Edelkamp, Damian Sulewski, Cengizhan Yücel: GPU Exploration of Two-Player Games with Perfect Hash Functions. SOCS 2010 |
| c4 | | Stefan Edelkamp, Damian Sulewski: Efficient Explicit-State Model Checking on General Purpose Graphics Processors. SPIN 2010: 106-123 |
| 2009 | ||
| c3 | | Dragan Bosnacki, Stefan Edelkamp, Damian Sulewski: Efficient Probabilistic Model Checking on General Purpose Graphics Processors. SPIN 2009: 32-49 |
| 2008 | ||
| j2 | | Stefan Edelkamp, Shahid Jabbar, Damian Sulewski: Distributed Verification of Multi-threaded C++ Programs. Electr. Notes Theor. Comput. Sci. 198(1): 33-46 (2008) |
| j1 | | 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) |
| c2 | | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek: Can Flash Memory Help in Model Checking? FMICS 2008: 150-165 |
| c1 | | Stefan Edelkamp, Damian Sulewski: Flash-Efficient LTL Model Checking with Minimal Counterexamples. SEFM 2008: 73-82 |
| 1 | Jiri Barnat | |
| 2 | Dragan Bosnacki | |
| 3 | Lubos Brim | |
| 4 | Stefan Edelkamp | |
| 5 | Shahid Jabbar | |
| 6 | Mark Kellershoff | |
| 7 | Peter Kissmann | |
| 8 | Dino Midzic | |
| 9 | Daniel Rikowski | |
| 10 | Pavel Simecek | |
| 11 | Anton Wijs | |
| 12 | Cengizhan Yücel |
Data released under the ODC-BY 1.0 license — See also our legal information page