Martin Wildmoser

According to our database, Martin Wildmoser authored at least 8 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262.

Martin Wildmoser, Jan Philipps, Oscar Slotosch

Proceedings of the Computer Safety, Reliability, and Security, 2012

ISO 26262 - Tool chain analysis reduces tool qualification costs.

Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman

Proceedings of the Automotive, 2012

2006

Verified proof carrying code.

Martin Wildmoser

PhD thesis, 2006

2005

Bytecode Analysis for Proof Carrying Code.

Martin Wildmoser, Amine Chaieb, Tobias Nipkow

Proceedings of the First Workshop on Bytecode Semantics, 2005

Asserting Bytecode Safety.

Martin Wildmoser, Tobias Nipkow

Proceedings of the Programming Languages and Systems, 2005

2004

Certifying Machine Code Safety: Shallow Versus Deep Embedding.

Martin Wildmoser, Tobias Nipkow

Proceedings of the Theorem Proving in Higher Order Logics, 17th International Conference, 2004

Prototyping Proof Carrying Code.

Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Verified Bytecode Subroutines.

Gerwin Klein, Martin Wildmoser

J. Autom. Reason., 2003