| 2005 |
|---|
| 7 | EE | Thomas Wedi,
Stefan Wittmann:
Quantization offsets for video coding.
ISCAS (1) 2005: 324-327 |
| 2004 |
|---|
| 6 | | Maritta Heisel,
Peter Liggesmeyer,
Stefan Wittmann:
Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings
Springer 2004 |
| 2001 |
|---|
| 5 | | Stefan Wittmann,
Peter Daniel:
Safety and Security of IT-Systems - A Necessary Dilemma?
ISAS-SCI (1) 2001: 595-600 |
| 2000 |
|---|
| 4 | EE | Robin E. Bloomfield,
Dan Craigen,
Frank Koob,
Markus Ullmann,
Stefan Wittmann:
Formal Methods Diffusion: Past Lessons and Future Prospects.
SAFECOMP 2000: 211-226 |
| 1998 |
|---|
| 3 | | Frank Koob,
Markus Ullmann,
Stefan Wittmann:
The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.
FM-Trends 1998: 302-310 |
| 1996 |
|---|
| 2 | | Frank A. Koch,
Markus Ullmann,
Stefan Wittmann:
Verification Support Environment.
CAV 1996: 454-457 |
| 1987 |
|---|
| 1 | | Matthias Schumann,
Stefan Wittmann:
Expertensysteme zur Unterstützung der Wirtschaftsprüfer-Berichterstellung.
Inform., Forsch. Entwickl. 2(2): 65-72 (1987) |
