BibTeX records: Arndt Lindner

• > Home > Persons > Arndt Lindner

@inproceedings{DBLP:conf/safecomp/MiedlLLHMLCKCCLPK07,
  author       = {Horst Miedl and
                  Jang{-}Soo Lee and
                  Arndt Lindner and
                  Ernst Hoffman and
                  Josef M{\"{a}}rtz and
                  Young{-}Jun Lee and
                  Jong{-}Gyun Choi and
                  Jangyeol Kim and
                  Kyoung{-}Ho Cha and
                  Se Woo Cheon and
                  Cheol{-}Kwon Lee and
                  Gee{-}Yong Park and
                  Kee{-}Choon Kwon},
  editor       = {Francesca Saglietti and
                  Norbert Oster},
  title        = {Defense-in-Depth and Diverse Qualification of Safety-Critical Software},
  booktitle    = {Computer Safety, Reliability, and Security, 26th International Conference,
                  {SAFECOMP} 2007, Nuremberg, Germany, September 18-21, 2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4680},
  pages        = {258--263},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75101-4\_24},
  doi          = {10.1007/978-3-540-75101-4\_24},
  timestamp    = {Sat, 30 Sep 2023 09:55:40 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/MiedlLLHMLCKCCLPK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/LeeLCMK06,
  author       = {Jang{-}Soo Lee and
                  Arndt Lindner and
                  Jong{-}Gyun Choi and
                  Horst Miedl and
                  Kee{-}Choon Kwon},
  editor       = {Janusz G{\'{o}}rski},
  title        = {Software Safety Lifecycles and the Methods of a Programmable Electronic
                  Safety System for a Nuclear Power Plant},
  booktitle    = {Computer Safety, Reliability, and Security, 25th International Conference,
                  {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4166},
  pages        = {85--98},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11875567\_7},
  doi          = {10.1007/11875567\_7},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/LeeLCMK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/safecomp/Lindner98,
  author       = {Arndt Lindner},
  editor       = {Wolfgang D. Ehrenberger},
  title        = {{ANSI-C} in Safety Critical Applications - Lessons-Learned from Software
                  Evaluation},
  booktitle    = {Computer Safety, Reliability and Security, 17th International Conference,
                  SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1516},
  pages        = {209--217},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49646-7\_16},
  doi          = {10.1007/3-540-49646-7\_16},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/Lindner98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}