Folgen
Damian Sulewski
Damian Sulewski
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei tzi.de
Titel
Zitiert von
Zitiert von
Jahr
Parallel probabilistic model checking on general purpose graphics processors
D Bošnački, S Edelkamp, D Sulewski, A Wijs
International Journal on Software Tools for Technology Transfer 13, 21-35, 2011
502011
Efficient probabilistic model checking on general purpose graphics processors
D Bošnački, S Edelkamp, D Sulewski
Model Checking Software: 16th International SPIN Workshop, Grenoble, France …, 2009
452009
Efficient explicit-state model checking on general purpose graphics processors
S Edelkamp, D Sulewski
International SPIN Workshop on Model Checking of Software, 106-123, 2010
362010
GPU-PRISM: an extension of PRISM for general purpose graphics processing units
D Bošnački, S Edelkamp, D Sulewski, A Wijs
2010 Ninth International Workshop on Parallel and Distributed Methods in …, 2010
332010
Exploiting the computational power of the graphics card: Optimal state space planning on the GPU
D Sulewski, S Edelkamp, P Kissmann
Proceedings of the International Conference on Automated Planning and …, 2011
312011
Perfect hashing for state space exploration on the GPU
S Edelkamp, D Sulewski, C Yücel
Proceedings of the International Conference on Automated Planning and …, 2010
252010
Model checking via delayed duplicate detection on the GPU
S Edelkamp, D Sulewski
Univ., Fachbereich Informatik, 2008
252008
Parallel state space search on the GPU
S Edelkamp, D Sulewski
International Symposium on Combinatorial Search (SoCS 2009), 2009
232009
Flash-efficient LTL model checking with minimal counterexamples
S Edelkamp, D Sulewski
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
192008
Can flash memory help in model checking?
J Barnat, L Brim, S Edelkamp, D Sulewski, P Šimeček
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
162008
GPU exploration of two-player games with perfect hash functions
S Edelkamp, D Sulewski, C Yücel
Proceedings of the International Symposium on Combinatorial Search 1 (1), 23-30, 2010
152010
External memory breadth-first search with delayed duplicate detection on the GPU
S Edelkamp, D Sulewski
International Workshop on Model Checking and Artificial Intelligence, 12-31, 2010
152010
Finding the Needle in the Haystack with Heuristically Guided Swarm Tree Search.
S Edelkamp, P Kissmann, D Sulewski, H Messerschmidt
MKWI, 2295-2308, 2010
132010
GENERATION SURVEY AND ARCHITECTURE PROPOSAL INTRODUCTION The current widespread use and higher quality of GPS devices is drastically increasing the need for up-to-date digital …
S Edelkamp, D Sulewski, FC Pereira, H Costa
Urbanism on track: application of tracking technologies in urbanism 1, 161, 2008
92008
Program model checking via action planning
S Edelkamp, M Kellershoff, D Sulewski
Model Checking and Artificial Intelligence: 6th International Workshop …, 2011
62011
Large scale parallel state space search utilizing graphics processing units and solid state disks
D Sulewski
52012
Distributed verification of multi-threaded C++ programs
S Edelkamp, S Jabbar, D Sulewski
Electronic Notes in Theoretical Computer Science 198 (1), 33-46, 2008
52008
Flash memory efficient LTL model checking
S Edelkamp, D Sulewski, J Barnat, L Brim, P Šimeček
Science of Computer Programming 76 (2), 136-157, 2011
32011
Solving games in parallel with linear-time perfect hash functions
S Edelkamp, H Messerschmidt, D Sulewski, C Yücel
Technical report, TZI, University of Bremen, 2009
22009
External Memory Search for Verification of Multi-threaded C++ Programs.
S Edelkamp, S Jabbar, D Midzic, D Rikowski, D Sulewski
Künstliche Intell. 22 (2), 44-50, 2008
22008
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20