Kurt Stenzel

	2010
24		Nina Moebius, Kurt Stenzel, Wolfgang Reif: Formal Verification of Application-Specific Security Properties in a Model-Driven Approach. ESSoS 2010: 166-181
	2009
23		Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif: SecureMDD: A Model-Driven Development Method for Secure Smart Card Applications. ARES 2009: 841-846
22		Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif: Model-Driven Code Generation for Secure Smart Card Applications. Australian Software Engineering Conference 2009: 44-53
	2008
21		Kurt Stenzel, Holger Grandy, Wolfgang Reif: Verification of Java Programs with Generics. AMAST 2008: 315-329
20		Holger Grandy, Markus Bischof, Kurt Stenzel, Gerhard Schellhorn, Wolfgang Reif: Verification of Mondex Electronic Purses with KIV: From a Security Protocol to Verified Code. FM 2008: 165-180
	2007
19		Holger Grandy, Kurt Stenzel, Wolfgang Reif: A Refinement Method for Java Programs. FMOODS 2007: 221-235
18		Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif: ASN1-light: A Verified Message Encoding for Security Protocols. SEFM 2007: 195-204
	2006
17		Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: Developing Provable Secure M-Commerce Applications. ETRICS 2006: 115-129
	2005
16		Holger Grandy, Kurt Stenzel, Wolfgang Reif: Object Oriented Verification Kernels for Secure Java Applications. SEFM 2005: 170-179
	2004
15		Kurt Stenzel: A Formally Verified Calculus for Full Java Card. AMAST 2004: 491-505
14		Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: A Construction Kit for Modeling the Security of M-commerce Applications. FORTE Workshops 2004: 72-85
13		Dominik Haneberg, Kurt Stenzel, Wolfgang Reif: Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application. Workshop Mobile Commerce 2004: 103-113
	2003
12		Dominik Haneberg, Alexander Kreibich, Wolfgang Reif, Kurt Stenzel: Design for Trust: Security im M-Commerce. GI Jahrestagung (1) 2003: 91-94
	2002
11		Dominik Haneberg, Wolfgang Reif, Kurt Stenzel: A Method for Secure Smartcard Applications. AMAST 2002: 319-333
	2000
10		Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums: Formal System Development with KIV. FASE 2000: 363-366
	1998
9		Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: KIV 3.0 for Provably Correct Systems. FM-Trends 1998: 330-337
8		Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: VSE: Controlling the Complexity in Formal Software Developments. FM-Trends 1998: 351-358
	1997
7		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV 3.0. CADE 1997: 69-72
6		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Proving System Correctness with KIV. TAPSOFT 1997: 859-862
	1995
5		Thomas Fuchß, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Three Selected Case Studies in Verification. KORSO Book 1995: 371-387
	1994
4		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Formal Specification and Verification Using KIV. FTRTFT 1994: 787-787
3		Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel: Tactics in KIV. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 293-310 (1994)
	1993
2		Wolfgang Reif, Kurt Stenzel: Reuse of Proofs in Software Verification. FSTTCS 1993: 284-293
1		Rainer Drexler, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Werner Stephan, Andreas Wolpers: The KIV System: A Tool for Formal Program Development. STACS 1993: 704-705

Coauthor Index

1	Michael Balser	[8] [9] [10]
2	Robert Bertossi	[18]
3	Markus Bischof	[20]
4	Rainer Drexler	[1]
5	Thomas Fuchß	[5]
6	Holger Grandy	[16] [17] [18] [19] [20] [21] [22] [23]
7	Dominik Haneberg	[11] [12] [13] [14] [17]
8	Dieter Hutter	[8]
9	Alexander Kreibich	[12]
10	Heiko Mantel	[8]
11	Nina Moebius	[22] [23] [24]
12	Wolfgang Reif	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [24]
13	Georg Rock	[8]
14	Gerhard Schellhorn	[1] [3] [4] [5] [6] [7] [8] [9] [10] [20]
15	Werner Stephan	[1] [8]
16	Andreas Thums	[10]
17	Andreas Wolpers	[1] [8]