|
Search the dblp DataBase
Martin Wildmoser:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Martin Wildmoser, Tobias Nipkow
Asserting Bytecode Safety. [Citation Graph (0, 0)][DBLP] ESOP, 2005, pp:326-341 [Conf]
- Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz
Prototyping Proof Carrying Code. [Citation Graph (0, 0)][DBLP] IFIP TCS, 2004, pp:333-348 [Conf]
- Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines. [Citation Graph (0, 0)][DBLP] TPHOLs, 2003, pp:55-70 [Conf]
- Martin Wildmoser, Tobias Nipkow
Certifying Machine Code Safety: Shallow Versus Deep Embedding. [Citation Graph (0, 0)][DBLP] TPHOLs, 2004, pp:305-320 [Conf]
- Martin Wildmoser, Amine Chaieb, Tobias Nipkow
Bytecode Analysis for Proof Carrying Code. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:141, n:1, pp:19-34 [Journal]
- Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines. [Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:30, n:3-4, pp:363-398 [Journal]
Search in 0.039secs, Finished in 0.039secs
|