default search action

combined dblp search
author search
venue search
publication search

ask others

Martin Wildmoser

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2012
[c7]
- view
- export record
  dblp key:
  - conf/automotiveSS/SlotoschWPJZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/automotiveSS/SlotoschWPJZ12
Oscar Slotosch, Martin Wildmoser, Jan Philipps, Reinhard Jeschull, Rafael Zalman:
ISO 26262 - Tool chain analysis reduces tool qualification costs. Automotive - Safety & Security 2012: 27-38
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/WildmoserPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/WildmoserPS12
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

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2006
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Wildmoser2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Wildmoser2006
Martin Wildmoser:
Verified proof carrying code. Technical University Munich, Germany, 2006, pp. 1-196
2005
[c5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/esop/WildmoserN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/WildmoserN05
Martin Wildmoser, Tobias Nipkow:
Asserting Bytecode Safety. ESOP 2005: 326-341
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/WildmoserCN05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/WildmoserCN05
Martin Wildmoser, Amine Chaieb, Tobias Nipkow:
Bytecode Analysis for Proof Carrying Code. Bytecode@ETAPS 2005: 19-34
2004
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ifipTCS/WildmoserNKN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifipTCS/WildmoserNKN04
Martin Wildmoser, Tobias Nipkow, Gerwin Klein, Sebastian Nanz:
Prototyping Proof Carrying Code. IFIP TCS 2004: 333-347
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/WildmoserN04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/WildmoserN04
Martin Wildmoser, Tobias Nipkow:
Certifying Machine Code Safety: Shallow Versus Deep Embedding. TPHOLs 2004: 305-320
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/KleinW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/KleinW03
Gerwin Klein, Martin Wildmoser:
Verified Bytecode Subroutines. J. Autom. Reason. 30(3-4): 363-398 (2003)
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/tphol/KleinW03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tphol/KleinW03
Gerwin Klein, Martin Wildmoser:
Verified Bytecode Subroutines. TPHOLs 2003: 55-70

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.