dblp.uni-trier.dewww.uni-trier.de

Martin Wildmoser

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005
6EEMartin Wildmoser, Tobias Nipkow: Asserting Bytecode Safety. ESOP 2005: 326-341
5EEMartin 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
3EEMartin Wildmoser, Tobias Nipkow: Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs 2004: 305-320
2003
2EEGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. TPHOLs 2003: 55-70
1EEGerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003)

Coauthor Index

1Amine Chaieb [5]
2Gerwin Klein [1] [2] [4]
3Sebastian Nanz [4]
4Tobias Nipkow [3] [4] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)