Markus Ullmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1994–2000
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2000 | FlAIRS | The Use of Formal Methods for Trusted Digital Signature Devices. | Bruno Langenstein, Roland Vogt, Markus Ullmann |
| 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 |
| 1994 | ACSAC | Availability: theory and fundamentals for practical evaluation and use. | Klaus J. Keus, Markus Ullmann |