Stefan Wittmann

According to our database, Stefan Wittmann authored at least 8 papers between 1987 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Quantization offsets for video coding.

Thomas Wedi, Stefan Wittmann

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2001

Safety and Security of IT-Systems - A Necessary Dilemma?

Stefan Wittmann, Peter Daniel

Proceedings of the World Multiconference on Systemics, Cybernetics and Informatics, 2001

2000

Formal Methods Diffusion: Past Lessons and Future Prospects.

Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the Computer Safety, 2000

1998

The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.

Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the Applied Formal Methods, 1998

1996

Application of Formal Methods in the Scope of IT-Security.

Frank Koob, Markus Ullmann, Stefan Wittmann

Proceedings of the 15th International Conference on Computer Safety, 1996

Verification Support Environment.

Frank A. Koch, Markus Ullmann, Stefan Wittmann

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1989

Ausgewählte Weiterentwicklungen von Wissensbasierten Systemen zur Unternehmensanalyse für den Steuerberater.

Stefan Wittmann

PhD thesis, 1989

1987

Expertensysteme zur Unterstützung der Wirtschaftsprüfer-Berichterstellung.

Matthias Schumann, Stefan Wittmann

Inform. Forsch. Entwickl., 1987