BibTeX records: Martin Wildmoser

download as .bib file

@inproceedings{DBLP:conf/automotiveSS/SlotoschWPJZ12,
  author       = {Oscar Slotosch and
                  Martin Wildmoser and
                  Jan Philipps and
                  Reinhard Jeschull and
                  Rafael Zalman},
  editor       = {Erhard Pl{\"{o}}dereder and
                  Peter Dencker and
                  Herbert Klenk and
                  Hubert B. Keller and
                  Silke Spitzer},
  title        = {{ISO} 26262 - Tool chain analysis reduces tool qualification costs},
  booktitle    = {Automotive - Safety {\&} Security 2012, Sicherheit und Zuverl{\"{a}}ssigkeit
                  f{\"{u}}r automobile Informationstechnik, 14.-15. November 2012,
                  Karlsruhe, Proceedings},
  series       = {{LNI}},
  volume       = {{P-210}},
  pages        = {27--38},
  publisher    = {{GI}},
  year         = {2012},
  url          = {https://dl.gi.de/handle/20.500.12116/17563},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/automotiveSS/SlotoschWPJZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/WildmoserPS12,
  author       = {Martin Wildmoser and
                  Jan Philipps and
                  Oscar Slotosch},
  editor       = {Frank Ortmeier and
                  Peter Daniel},
  title        = {Determining Potential Errors in Tool Chains - Strategies to Reach
                  Tool Confidence According to {ISO} 26262},
  booktitle    = {Computer Safety, Reliability, and Security - 31st International Conference,
                  {SAFECOMP} 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7612},
  pages        = {317--327},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33678-2\_27},
  doi          = {10.1007/978-3-642-33678-2\_27},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/WildmoserPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/de/Wildmoser2006,
  author       = {Martin Wildmoser},
  title        = {Verified proof carrying code},
  school       = {Technical University Munich, Germany},
  year         = {2006},
  url          = {http://mediatum.ub.tum.de/mediatum/servlets/TUMDistributionServlet?id=mediaTUM\_derivate\_000000000003053},
  urn          = {urn:nbn:de:bvb:91-diss20060619-1654162861},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/de/Wildmoser2006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/WildmoserN05,
  author       = {Martin Wildmoser and
                  Tobias Nipkow},
  editor       = {Shmuel Sagiv},
  title        = {Asserting Bytecode Safety},
  booktitle    = {Programming Languages and Systems, 14th European Symposium on Programming,
                  {ESOP} 2005, Held as Part of the Joint European Conferences on Theory
                  and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3444},
  pages        = {326--341},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31987-0\_23},
  doi          = {10.1007/978-3-540-31987-0\_23},
  timestamp    = {Fri, 27 Jan 2023 15:04:25 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/WildmoserN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WildmoserCN05,
  author       = {Martin Wildmoser and
                  Amine Chaieb and
                  Tobias Nipkow},
  editor       = {Fausto Spoto},
  title        = {Bytecode Analysis for Proof Carrying Code},
  booktitle    = {Proceedings of the First Workshop on Bytecode Semantics, Verification,
                  Analysis and Transformation, Bytecode@ETAPS 2005, Edinburgh, UK, April
                  9, 2005},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {141},
  number       = {1},
  pages        = {19--34},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.entcs.2005.02.040},
  doi          = {10.1016/J.ENTCS.2005.02.040},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/WildmoserCN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifipTCS/WildmoserNKN04,
  author       = {Martin Wildmoser and
                  Tobias Nipkow and
                  Gerwin Klein and
                  Sebastian Nanz},
  editor       = {Jean{-}Jacques L{\'{e}}vy and
                  Ernst W. Mayr and
                  John C. Mitchell},
  title        = {Prototyping Proof Carrying Code},
  booktitle    = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
                  Computer Congress, {TC1} 3rd International Conference on Theoretical
                  Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
  series       = {{IFIP}},
  volume       = {155},
  pages        = {333--347},
  publisher    = {Kluwer/Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/1-4020-8141-3\_27},
  doi          = {10.1007/1-4020-8141-3\_27},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/WildmoserNKN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/WildmoserN04,
  author       = {Martin Wildmoser and
                  Tobias Nipkow},
  editor       = {Konrad Slind and
                  Annette Bunker and
                  Ganesh Gopalakrishnan},
  title        = {Certifying Machine Code Safety: Shallow Versus Deep Embedding},
  booktitle    = {Theorem Proving in Higher Order Logics, 17th International Conference,
                  TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3223},
  pages        = {305--320},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30142-4\_22},
  doi          = {10.1007/978-3-540-30142-4\_22},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/WildmoserN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jar/KleinW03,
  author       = {Gerwin Klein and
                  Martin Wildmoser},
  title        = {Verified Bytecode Subroutines},
  journal      = {J. Autom. Reason.},
  volume       = {30},
  number       = {3-4},
  pages        = {363--398},
  year         = {2003},
  url          = {https://doi.org/10.1023/A:1025095122199},
  doi          = {10.1023/A:1025095122199},
  timestamp    = {Wed, 02 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jar/KleinW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/KleinW03,
  author       = {Gerwin Klein and
                  Martin Wildmoser},
  editor       = {David A. Basin and
                  Burkhart Wolff},
  title        = {Verified Bytecode Subroutines},
  booktitle    = {Theorem Proving in Higher Order Logics, 16th International Conference,
                  TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2758},
  pages        = {55--70},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/10930755\_4},
  doi          = {10.1007/10930755\_4},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/KleinW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.