Stefan Wittmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1996–2005
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ISCAS | Quantization offsets for video coding. | Thomas Wedi, Stefan Wittmann |
| 2000 | SAFECOMP | Formal Methods Diffusion: Past Lessons and Future Prospects. | Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1998 | FM | The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. | Frank Koob, Markus Ullmann, Stefan Wittmann |
| 1996 | CAV | Verification Support Environment. | Frank A. Koch, Markus Ullmann, Stefan Wittmann |
| 1996 | SAFECOMP | Application of Formal Methods in the Scope of IT-Security. | Frank Koob, Markus Ullmann, Stefan Wittmann |