| 2007 |
|---|
| 10 | EE | Wolfgang Ahrendt,
Bernhard Beckert,
Reiner Hähnle,
Peter H. Schmitt:
KeY: A Formal Method for Object-Oriented Systems.
FMOODS 2007: 32-43 |
| 2006 |
|---|
| 9 | EE | 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 | EE | Wolfgang Ahrendt,
Andreas Roth,
Ralf Sasse:
Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics.
LPAR 2005: 412-426 |
| 7 | EE | 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 | EE | Wolfgang Ahrendt:
Deductive Search for Errors in Free Data Type Specifications Using Model Generation.
CADE 2002: 211-225 |
| 5 | EE | 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 | EE | 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 | EE | 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 | EE | Gerhard Schellhorn,
Wolfgang Ahrendt:
Reasoning about Abstract State Machines: The WAM Case Study.
J. UCS 3(4): 377-413 (1997) |
