Search the dblp DataBase

Publications of Author

1. Frank A. Koch, Markus Ullmann, Stefan Wittmann
   Verification Support Environment. [Citation Graph (0, 0)][DBLP]
   CAV, 1996, pp:454-457 [Conf]
   
2. Bruno Langenstein, Roland Vogt, Markus Ullmann
   The Use of Formal Methods for Trusted Digital Signature Devices. [Citation Graph (0, 0)][DBLP]
   FLAIRS Conference, 2000, pp:336-340 [Conf]
   
3. Frank Koob, Markus Ullmann, Stefan Wittmann
   The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process. [Citation Graph (0, 0)][DBLP]
   FM-Trends, 1998, pp:302-310 [Conf]
   
4. Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann
   Formal Methods Diffusion: Past Lessons and Future Prospects. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2000, pp:211-226 [Conf]
   
5. Dieter Hutter, Werner Stephan, Markus Ullmann
   Security and Privacy in Pervasive Computing State of the Art and Future Directions. [Citation Graph (0, 0)][DBLP]
   SPC, 2003, pp:285-289 [Conf]
   
6. Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver
   VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien. [Citation Graph (0, 0)][DBLP]
   VIS, 1993, pp:175-190 [Conf]
   
7. Markus Ullmann, Frank Koob, Harald Kelter
   Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen. [Citation Graph (0, 0)][DBLP]
   Datenschutz und Datensicherheit, 2001, v:25, n:11, pp:- [Journal]
   
8. Markus Ullmann
   Zukunft der Softwaretechnik aus Sicht der IT-Sicherheit. [Citation Graph (0, 0)][DBLP]
   Softwaretechnik- Trends, 2001, v:21, n:1, pp:- [Journal]