Search the dblp DataBase

Publications of Author

1. Wolfgang Ahrendt
   Deductive Search for Errors in Free Data Type Specifications Using Model Generation. [Citation Graph (0, 0)][DBLP]
   CADE, 2002, pp:211-225 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:327-330 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   JELIA, 2000, pp:21-36 [Conf]
   
4. Wolfgang Ahrendt, Andreas Roth, Ralf Sasse
   Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
   LPAR, 2005, pp:412-426 [Conf]
   
5. Martin Giese, Wolfgang Ahrendt
   Hilbert's epsilon-Terms in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 1999, pp:171-185 [Conf]
   
6. Gerhard Schellhorn, Wolfgang Ahrendt
   Reasoning about Abstract State Machines: The WAM Case Study. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1997, v:3, n:4, pp:377-413 [Journal]
   
7. Gernot Stenz, Wolfgang Ahrendt, Bernhard Beckert
   Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. [Citation Graph (0, 0)][DBLP]
   J. UCS, 1999, v:5, n:3, pp:113-134 [Journal]
   
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. [Citation Graph (0, 0)][DBLP]
   Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
   
9. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
   KeY: A Formal Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
   FMOODS, 2007, pp:32-43 [Conf]
   
10. 
    Abstract Object Creation in Dynamic Logic. [Citation Graph (, )][DBLP]
    
    
11. 
    Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]
    
    
12. 
    A Verification System for Distributed Objects with Asynchronous Method Calls. [Citation Graph (, )][DBLP]
    
    
13. 
    Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. [Citation Graph (, )][DBLP]