Search the dblp DataBase
Wolfgang Ahrendt :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] 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 ] Martin Giese , Wolfgang Ahrendt Hilbert's epsilon-Terms in Automated Theorem Proving. [Citation Graph (0, 0)][DBLP ] TABLEAUX, 1999, pp:171-185 [Conf ] 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 ] 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 ] 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 ] 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 ] Abstract Object Creation in Dynamic Logic. [Citation Graph (, )][DBLP ] Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP ] A Verification System for Distributed Objects with Asynchronous Method Calls. [Citation Graph (, )][DBLP ] Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.003secs