Expertensysteme zur Unterstützung der Wirtschaftsprüfer-Berichterstellung. - Matthias Schumann; Stefan Wittmann (Inform. Forsch. Entwickl., 1987)

Ausgewählte Weiterentwicklungen von Wissensbasierten Systemen zur Unternehmensanalyse für den Steuerberater. - Stefan Wittmann (1989)

Verification Support Environment. - Frank A. Koch; Markus Ullmann; Stefan Wittmann (CAV, 1996)

Application of Formal Methods in the Scope of IT-Security. - Frank Koob; Markus Ullmann; Stefan Wittmann (SAFECOMP, 1996)

The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. - Frank Koob; Markus Ullmann; Stefan Wittmann (FM-Trends, 1998)

Formal Methods Diffusion: Past Lessons and Future Prospects. - Robin E. Bloomfield; Dan Craigen; Frank Koob; Markus Ullmann; Stefan Wittmann (SAFECOMP, 2000)

Safety and Security of IT-Systems - A Necessary Dilemma? - Stefan Wittmann; Peter Daniel (ISAS-SCI (1), 2001)

Quantization offsets for video coding. - Thomas Wedi; Stefan Wittmann (ISCAS (1), 2005)