 | 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) |
