| |
| 2005 | ||
|---|---|---|
| 4 | EE | Arnd Poetzsch-Heffter, Marek Gawkowski: Towards Proof Generating Compilers. Electr. Notes Theor. Comput. Sci. 132(1): 37-51 (2005) |
| 2003 | ||
| 3 | EE | David A. Basin, Stefan Friedrich, Marek Gawkowski: Bytecode Verification by Model Checking. J. Autom. Reasoning 30(3-4): 399-444 (2003) |
| 2002 | ||
| 2 | EE | David A. Basin, Stefan Friedrich, Marek Gawkowski, Joachim Posegga: Bytecode Model Checking: An Experimental Analysis. SPIN 2002: 42-59 |
| 1 | EE | David A. Basin, Stefan Friedrich, Marek Gawkowski: Verified Bytecode Model Checkers. TPHOLs 2002: 47-66 |
| 1 | David A. Basin | [1] [2] [3] |
| 2 | Stefan Friedrich | [1] [2] [3] |
| 3 | Arnd Poetzsch-Heffter | [4] |
| 4 | Joachim Posegga | [2] |