- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c5 |      | Martin Wildmoser, Jan Philipps, Oscar Slotosch: Determining Potential Errors in Tool Chains - Strategies to Reach Tool Confidence According to ISO 26262. SAFECOMP 2012: 317-327 |
| 2006 | ||
| b1 | | |
| 2005 | ||
| j2 | | Martin Wildmoser, Amine Chaieb, Tobias Nipkow: Bytecode Analysis for Proof Carrying Code. Electr. Notes Theor. Comput. Sci. 141(1): 19-34 (2005) |
| c4 | | |
| 2004 | ||
| c3 |  | Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz: Prototyping Proof Carrying Code. IFIP TCS 2004: 333-348 |
| c2 | | Martin Wildmoser, Tobias Nipkow: Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs 2004: 305-320 |
| 2003 | ||
| j1 | | Gerwin Klein, Martin Wildmoser: Verified Bytecode Subroutines. J. Autom. Reasoning 30(3-4): 363-398 (2003) |
| c1 | | |
| 1 | Amine Chaieb | |
| 2 | Gerwin Klein | |
| 3 | Sebastian Nanz | |
| 4 | Tobias Nipkow | |
| 5 | Jan Philipps | |
| 6 | Oscar Slotosch |
Data released under the ODC-BY 1.0 license — See also our legal information page