Verified Bytecode Subroutines. - Gerwin Klein; Martin Wildmoser (J. Autom. Reason., 2003)

Prototyping Proof Carrying Code. - Martin Wildmoser; Tobias Nipkow; Gerwin Klein; Sebastian Nanz (IFIP TCS, 2004)

Certifying Machine Code Safety: Shallow Versus Deep Embedding. - Martin Wildmoser; Tobias Nipkow (TPHOLs, 2004)

Asserting Bytecode Safety. - Martin Wildmoser; Tobias Nipkow (ESOP, 2005)

Bytecode Analysis for Proof Carrying Code. - Martin Wildmoser; Amine Chaieb; Tobias Nipkow (Bytecode@ETAPS, 2005)

Verified proof carrying code. - Martin Wildmoser (2006)

ISO 26262 - Tool chain analysis reduces tool qualification costs. - Oscar Slotosch; Martin Wildmoser; Jan Philipps; Reinhard Jeschull; Rafael Zalman (Automotive - Safety & Security, 2012)

Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. - Martin Wildmoser; Jan Philipps; Oscar Slotosch (SAFECOMP, 2012)