Martin Wildmoser

Publication Activity (10 Years)

Years Active: 2003-2012
Publications (10 Years): 0

Top Topics

Top Venues

Automotive - Safety & Security

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman
ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security (2012)
Martin Wildmoser, Jan Philipps, Oscar Slotosch
Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP (2012)
Martin Wildmoser, Amine Chaieb, Tobias Nipkow
Bytecode Analysis for Proof Carrying Code. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Martin Wildmoser, Tobias Nipkow
Asserting Bytecode Safety. ESOP (2005)
Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz
Prototyping Proof Carrying Code. IFIP TCS (2004)
Martin Wildmoser, Tobias Nipkow
Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs (2004)
Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines. TPHOLs (2003)
Gerwin Klein, Martin Wildmoser
Verified Bytecode Subroutines. J. Autom. Reason. 30 (3-4) (2003)