| |
| * | 2005 | |
|---|---|---|
| 6 | EE | Martin Wildmoser, Tobias Nipkow: Asserting Bytecode Safety. ESOP 2005: 326-341 |
| 5 | EE | Martin Wildmoser, Amine Chaieb, Tobias Nipkow: Bytecode Analysis for Proof Carrying Code. Electr. Notes Theor. Comput. Sci. 141(1): 19-34 (2005) |
| 2004 | ||
| 4 | Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz: Prototyping Proof Carrying Code. IFIP TCS 2004: 333-348 | |
| 3 | EE | Martin Wildmoser, Tobias Nipkow: Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs 2004: 305-320 |
| 2003 | ||
| 2 | EE | Gerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. TPHOLs 2003: 55-70 |
| 1 | EE | Gerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003) |
| 1 | Amine Chaieb | [5] |
| 2 | Gerwin Klein | [1] [2] [4] |
| 3 | Sebastian Nanz | [4] |
| 4 | Tobias Nipkow | [3] [4] [5] [6] |