Marek Gawkowski

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

Arnd Poetzsch-Heffter, Marek Gawkowski
Towards Proof Generating Compilers. Electron. Notes Theor. Comput. Sci. 132 (1) (2005)
David A. Basin, Stefan Friedrich, Marek Gawkowski
Bytecode Verification by Model Checking. J. Autom. Reason. 30 (3-4) (2003)
David A. Basin, Stefan Friedrich, Marek Gawkowski
Verified Bytecode Model Checkers. TPHOLs (2002)
David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga
Bytecode Model Checking: An Experimental Analysis. SPIN (2002)