| 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) |
