Stefan Edelkamp

2011

Stefan Edelkamp, Damian Sulewski, Jiří Barnat, Luboš Brim, and Pavel Šimeček:
Flash memory efficient LTL model checking,
Science of Computer Programming, 2011. [bibtex, url]

2008

Jiří Barnat, Luboš Brim, Stefan Edelkamp, Damian Sulewski, and Pavel Šimeček:
Can Flash Memory Help in Model Checking,
Formal Methods for Industrial Critical Systems (FMICS 2008), Springer-Verlag, 2008, volume 5596 of LNCS, 150–165. [bibtex]

Stefan Edelkamp, Peter Sanders, and Pavel Šimeček:
Semi-external LTL Model Checking,
20th International Conference on Computer Aided Verification, Springer, 2008, 530-542. [bibtex]