BibTeX records: Udo Voges

download as .bib file

@inproceedings{DBLP:conf/safecomp/SujanKV07,
  author       = {Mark{-}Alexander Sujan and
                  Floor Koornneef and
                  Udo Voges},
  editor       = {Francesca Saglietti and
                  Norbert Oster},
  title        = {Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges},
  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        = {14--27},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75101-4\_2},
  doi          = {10.1007/978-3-540-75101-4\_2},
  timestamp    = {Sat, 30 Sep 2023 09:55:40 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/SujanKV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/safecomp/2001,
  editor       = {Udo Voges},
  title        = {Computer Safety, Reliability and Security, 20th International Conference,
                  {SAFECOMP} 2001, Budapest, Hungary, September 26-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2187},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45416-0},
  doi          = {10.1007/3-540-45416-0},
  isbn         = {3-540-42607-8},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/sp/Voges89,
  author       = {Udo Voges},
  title        = {Software-Diversit{\"{a}}t und ihre Modellierung: Software-Fehlertoleranz
                  und ihre Bewertung durch Fehler- und Kostenmodelle},
  series       = {Informatik-Fachberichte},
  volume       = {224},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/978-3-642-83999-3},
  doi          = {10.1007/978-3-642-83999-3},
  isbn         = {3-540-51827-4},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/sp/Voges89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/basesearch/Voges89,
  author       = {Udo Voges},
  title        = {Software-Diversitaet und ihre Modellierung},
  school       = {Karlsruhe University, Germany},
  year         = {1989},
  url          = {https://publikationen.bibliothek.kit.edu/80689},
  timestamp    = {Fri, 12 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/basesearch/Voges89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/it/Voges88,
  author       = {Udo Voges},
  title        = {Fehlertoleranz gegen{\"{u}}ber Entwurfsfehlern},
  journal      = {it Inf. Technol.},
  volume       = {30},
  number       = {3},
  pages        = {180--185},
  year         = {1988},
  url          = {https://doi.org/10.1524/itit.1988.30.3.180},
  doi          = {10.1524/ITIT.1988.30.3.180},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/it/Voges88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/insk/GrosspietschV86,
  author       = {Karl{-}Erwin Gro{\ss}pietsch and
                  Udo Voges},
  title        = {Methoden der Fehlerbehandlung},
  journal      = {Inform. Spektrum},
  volume       = {9},
  number       = {2},
  pages        = {95--109},
  year         = {1986},
  timestamp    = {Thu, 13 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/insk/GrosspietschV86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icftcs/Voges84,
  author       = {Udo Voges},
  editor       = {Fevzi Belli and
                  Silvia Pfleger and
                  Manfred H. Seifert},
  title        = {Der Einsatz von Software-Diversit{\"{a}}t in Systemen mit hohen
                  Zuverl{\"{a}}ssigkeitsanforderungen},
  booktitle    = {Software-Fehlertoleranz und -Zuverl{\"{a}}ssigkeit},
  series       = {Informatik-Fachberichte},
  volume       = {83},
  pages        = {155--165},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-642-69705-0\_14},
  doi          = {10.1007/978-3-642-69705-0\_14},
  timestamp    = {Wed, 17 May 2017 14:24:33 +0200},
  biburl       = {https://dblp.org/rec/conf/icftcs/Voges84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gacm/GmeinerV82,
  author       = {Lothar Gmeiner and
                  Udo Voges},
  editor       = {Harry M. Sneed and
                  Hans{-}R{\"{u}}diger Wiehle},
  title        = {Erfahrungen mit dem Einsatz automatischer Werkzeuge f{\"{u}}r
                  die Qualit{\"{a}}tsicherung w{\"{a}}hrend Entwurf und Test},
  booktitle    = {Software-Qualit{\"{a}}tssicherung, Tagung {I/1982} des German
                  Chapter of the {ACM} am 25. und 26.3.1982 in Neubiberg bei M{\"{u}}nchen},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {9},
  pages        = {235--252},
  publisher    = {Teubner},
  year         = {1982},
  timestamp    = {Mon, 17 Mar 2003 09:16:22 +0100},
  biburl       = {https://dblp.org/rec/conf/gacm/GmeinerV82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/Voges81,
  author       = {Udo Voges},
  editor       = {Wilfried Brauer},
  title        = {Quantifizierung der Qualit{\"{a}}t von Software},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {131--143},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_15},
  doi          = {10.1007/978-3-662-01089-1\_15},
  timestamp    = {Tue, 23 May 2017 01:10:33 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Voges81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/gi/FetschGV81,
  author       = {F. Fetsch and
                  Lothar Gmeiner and
                  Udo Voges},
  editor       = {Wilfried Brauer},
  title        = {Entwurf eines hochzuverl{\"{a}}ssigen redundanten Mikrorechnernetzes},
  booktitle    = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the
                  European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23.
                  Oktober 1981, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {50},
  pages        = {317--326},
  publisher    = {Springer},
  year         = {1981},
  url          = {https://doi.org/10.1007/978-3-662-01089-1\_29},
  doi          = {10.1007/978-3-662-01089-1\_29},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/FetschGV81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tse/VogesGM80,
  author       = {Udo Voges and
                  Lothar Gmeiner and
                  Anneliese von Mayrhauser},
  title        = {{SADAT} - An Automated Testing Tool},
  journal      = {{IEEE} Trans. Software Eng.},
  volume       = {6},
  number       = {3},
  pages        = {286--290},
  year         = {1980},
  url          = {https://doi.org/10.1109/TSE.1980.230474},
  doi          = {10.1109/TSE.1980.230474},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tse/VogesGM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/se/Voges80,
  author       = {Udo Voges},
  editor       = {Christiane Floyd and
                  Hermann Kopetz},
  title        = {Anforderungsspezifikation f{\"{u}}r sicherheitsrelevante Systeme},
  booktitle    = {Software Engineering - Entwurf und Spezifikation, Tagung {II/1980}
                  mit Workshop des German Chapter of the {ACM} vom 12. bis 16.9.1980
                  in Berlin},
  series       = {Berichte des German Chapter of the {ACM}},
  volume       = {5},
  pages        = {279--280},
  publisher    = {Teubner},
  year         = {1980},
  timestamp    = {Thu, 27 Feb 2003 09:55:22 +0100},
  biburl       = {https://dblp.org/rec/conf/se/Voges80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/computer/GeigerGTV79,
  author       = {Werner Geiger and
                  Lothar Gmeiner and
                  Heinz H. Trauboth and
                  Udo Voges},
  title        = {Program Testing Techniques for Nuclear Reactor Protection Systems},
  journal      = {Computer},
  volume       = {12},
  number       = {8},
  pages        = {10--18},
  year         = {1979},
  url          = {https://doi.org/10.1109/MC.1979.1658847},
  doi          = {10.1109/MC.1979.1658847},
  timestamp    = {Mon, 19 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/GeigerGTV79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icse/Voges76,
  author       = {Udo Voges},
  editor       = {Raymond T. Yeh and
                  C. V. Ramamoorthy},
  title        = {Aspects of Design, Test and Validation of the Software for a Computerized
                  Reactor Protection System},
  booktitle    = {Proceedings of the 2nd International Conference on Software Engineering,
                  San Francisco, California, USA, October 13-15, 1976},
  pages        = {606--610},
  publisher    = {{IEEE} Computer Society},
  year         = {1976},
  url          = {http://dl.acm.org/citation.cfm?id=807737},
  timestamp    = {Mon, 14 May 2012 18:17:17 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/Voges76.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.