Wolfgang Ahrendt

	2009
12		Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe: Abstract Object Creation in Dynamic Logic. FM 2009: 612-627
11		Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM 2009: 125-143
	2007
10		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
	2006
9		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
	2005
8		Wolfgang Ahrendt, Andreas Roth, Ralf Sasse: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR 2005: 412-426
7		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)
	2002
6		Wolfgang Ahrendt: Deductive Search for Errors in Free Data Type Specifications Using Model Generation. CADE 2002: 211-225
5		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
	2000
4		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
	1999
3		Martin Giese, Wolfgang Ahrendt: Hilbert's epsilon-Terms in Automated Theorem Proving. TABLEAUX 1999: 171-185
2		Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert: Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. J. UCS 5(3): 113-134 (1999)
	1997
1		Gerhard Schellhorn, Wolfgang Ahrendt: Reasoning about Abstract State Machines: The WAM Case Study. J. UCS 3(4): 377-413 (1997)

Coauthor Index

1	Thomas Baar	[4] [5] [7]
2	Bernhard Beckert	[2] [4] [5] [7] [9] [10]
3	Frank S. de Boer	[12]
4	Richard Bubel	[7] [11]
5	Martin Giese	[3] [4] [5] [7]
6	Immo Grabe	[12]
7	Elmar Habermalz	[4] [5]
8	Reiner Hähnle	[4] [5] [7] [9] [10] [11]
9	Wolfram Menzel	[4] [5] [7]
10	Wojciech Mostowski	[5] [7]
11	Andreas Roth	[7] [8]
12	Philipp Rümmer	[9]
13	Ralf Sasse	[8]
14	Gerhard Schellhorn	[1]
15	Steffen Schlager	[7]
16	Peter H. Schmitt	[4] [5] [7] [9] [10]
17	Gernot Stenz	[2]

Colors in the list of coauthors