Wolfgang Ahrendt

	2010
16		Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer: Practical Aspects of Automated Deduction for Program Verification. KI 24(1): 43-49 (2010)
	2009
15		Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe: Abstract Object Creation in Dynamic Logic. FM 2009: 612-627
14		Wolfgang Ahrendt, Maximilian Dylla: A Verification System for Distributed Objects with Asynchronous Method Calls. ICFEM 2009: 387-406
13		Wolfgang Ahrendt, Richard Bubel, Reiner Hähnle: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. TFM 2009: 125-143
	2007
12		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
	2006
11		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
10		Wolfgang Ahrendt, Andreas Roth, Ralf Sasse: Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. LPAR 2005: 412-426
9		Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli: Preface. Electr. Notes Theor. Comput. Sci. 125(3): 1-2 (2005)
8		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
7		Wolfgang Ahrendt: Deductive Search for Errors in Free Data Type Specifications Using Model Generation. CADE 2002: 211-225
6		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
5		Wolfgang Ahrendt: Deduktive Fehlersuche in abstrakten Datentypen. Karlsruhe Institute of Technology 2002
	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] [6] [8]
2	Peter Baumgartner	[9]
3	Bernhard Beckert	[2] [4] [6] [8] [11] [12] [16]
4	Frank S. de Boer	[15]
5	Richard Bubel	[8] [13]
6	Maximilian Dylla	[14]
7	Martin Giese	[3] [4] [6] [8] [16]
8	Immo Grabe	[15]
9	Elmar Habermalz	[4] [6]
10	Reiner Hähnle	[4] [6] [8] [11] [12] [13]
11	Wolfram Menzel	[4] [6] [8]
12	Wojciech Mostowski	[6] [8]
13	Hans de Nivelle	[9]
14	Silvio Ranise	[9]
15	Andreas Roth	[8] [10]
16	Philipp Rümmer	[11] [16]
17	Ralf Sasse	[10]
18	Gerhard Schellhorn	[1]
19	Steffen Schlager	[8]
20	Peter H. Schmitt	[4] [6] [8] [11] [12]
21	Gernot Stenz	[2]
22	Cesare Tinelli	[9]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page