Aspects of Design, Test and Validation of the Software for a Computerized Reactor Protection System. - Udo Voges (ICSE, 1976)

Program Testing Techniques for Nuclear Reactor Protection Systems. - Werner Geiger; Lothar Gmeiner; Heinz H. Trauboth; Udo Voges (Computer, 1979)

Anforderungsspezifikation für sicherheitsrelevante Systeme. - Udo Voges (Software Engineering, 1980)

SADAT - An Automated Testing Tool. - Udo Voges; Lothar Gmeiner; Anneliese von Mayrhauser (IEEE Trans. Software Eng., 1980)

Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes. - F. Fetsch; Lothar Gmeiner; Udo Voges (GI Jahrestagung, 1981)

Quantifizierung der Qualität von Software. - Udo Voges (GI Jahrestagung, 1981)

Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätsicherung während Entwurf und Test. - Lothar Gmeiner; Udo Voges (Software-Qualitätssicherung, 1982)

Der Einsatz von Software-Diversität in Systemen mit hohen Zuverlässigkeitsanforderungen. - Udo Voges (Software-Fehlertoleranz und -Zuverlässigkeit, 1984)

Methoden der Fehlerbehandlung. - Karl-Erwin Großpietsch; Udo Voges (Inform. Spektrum, 1986)

Fehlertoleranz gegenüber Entwurfsfehlern. - Udo Voges (it Inf. Technol., 1988)

Software-Diversität und ihre Modellierung: Software-Fehlertoleranz und ihre Bewertung durch Fehler- und Kostenmodelle - Udo Voges (Springer, 1989)

Software-Diversitaet und ihre Modellierung - Udo Voges (1989)

Goal-Based Safety Cases for Medical Devices: Opportunities and Challenges. - Mark-Alexander Sujan; Floor Koornneef; Udo Voges (SAFECOMP, 2007)