Markus Ullmann

	2005
11		Dieter Hutter, Markus Ullmann: Security in Pervasive Computing, Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings Springer 2005
	2004
10		Dieter Hutter, Günter Müller, Werner Stephan, Markus Ullmann: Security in Pervasive Computing, First International Conference, Boppard, Germany, March 12-14, 2003, Revised Papers Springer 2004
	2003
9		Dieter Hutter, Werner Stephan, Markus Ullmann: Security and Privacy in Pervasive Computing State of the Art and Future Directions. SPC 2003: 285-289
	2001
8		Markus Ullmann, Frank Koob, Harald Kelter: Anonyme Online-Wahlen - Lösungsansätze für die Realisierung von Online-Wahlen. Datenschutz und Datensicherheit 25(11): (2001)
7		Markus Ullmann: Zukunft der Softwaretechnik aus Sicht der IT-Sicherheit. Softwaretechnik- Trends 21(1): (2001)
	2000
6		Bruno Langenstein, Roland Vogt, Markus Ullmann: The Use of Formal Methods for Trusted Digital Signature Devices. FLAIRS Conference 2000: 336-340
5		Robin E. Bloomfield, Dan Craigen, Frank Koob, Markus Ullmann, Stefan Wittmann: Formal Methods Diffusion: Past Lessons and Future Prospects. SAFECOMP 2000: 211-226
	1999
4		Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings Springer 1999
	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
	1993
1		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. VIS 1993: 175-190

Coauthor Index

1	P. Baur	[1]
2	Robin E. Bloomfield	[5]
3	E. Canver	[1]
4	Jürgen Cleve	[1]
5	Dan Craigen	[5]
6	R. Förster	[1]
7	H. Hauff	[1]
8	Dieter Hutter	[1] [4] [9] [10] [11]
9	P. Kejwal	[1]
10	Harald Kelter	[8]
11	Frank A. Koch	[2]
12	Frank Koob	[3] [5] [8]
13	Bruno Langenstein	[6]
14	D. Loevenich	[1]
15	Günter Müller	[10]
16	Wolfgang Reif	[1]
17	Claus Sengler	[1]
18	Werner Stephan	[1] [4] [9] [10]
19	Paolo Traverso	[4]
20	Roland Vogt	[6]
21	Stefan Wittmann	[2] [3] [5]
22	Andreas Wolpers	[1]