Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo: A Unified Approach for Static and Runtime Verification: Framework and Applications. Leveraging Applications of Formal Methods, Verification and Validation - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, Proceedings, Part I, pp. 312-326. ISBN/ISSN: 978-3-642-34025-3

Ahrendt, Wolfgang; Mostowski, Wojciech; Paganelli, Gabriele: Real-time java API specifications for high coverage test generation. 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), Copenhagen, 24 - 26 October 2012, pp. 145-154. ISBN/ISSN: 978-145031688-0

Ahrendt, Wolfgang; Dylla, Maximilian: A System for Compositional Verification of Asynchronous Objects. Science of Computer Programming,

Ahrendt, Wolfgang; Beckert, Bernhard; Giese, Martin; Rümmer, Philipp: Practical Aspects of Automated Deduction for Program Verification. KI - Künstliche Intelligenz, 24 (1) pp. 43-49.

Ahrendt, Wolfgang; Dylla, Maximilian: A Verification System for Distributed Objects with Asynchronous Method Calls. Formal Methods and Software Engineering, International Conference on Formal Engineering Methods, ICFEM'09, 5885 pp. 387-406. ISBN/ISSN: 978-3-642-10372-8

Ahrendt, Wolfgang; Boer, Frank S. de; Grabe, Immo: Abstract Object Creation in Dynamic Logic - To Be or Not To Be Created. A. Cavalcanti and D. Dams, FM 2009: Formal Methods, Second World Congress, Eindhoven, 5850 pp. 612 - 627. ISBN/ISSN: 978-3-642-05088-6

Ahrendt, Wolfgang; Bubel, Richard; Hähnle, Reiner: Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. Second International Conference on Teaching Formal Methods, Eindhoven, Netherlands, 5846 pp. 125-143. ISBN/ISSN: 354079123X

Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.: KeY: A Formal Method for Object-Oriented Systems. Lecture Notes in Computer Science, Proc. 9th IFIP Intl. Conf. on Formal Methods for Open Object-based Distributed Systems (FMOODS), eds. M.Bonsangue and E. B. Johnsen, 4468 pp. 32-43.

Ahrendt, Wolfgang: Using KeY. Verification of Object-Oriented Software. The KeY Approach., eds. B. Beckert, R. Hähnle, P.-H. Schmitt, LNCS 4334, pp. 410-451. ISBN/ISSN: 978-3-540-68977-5

Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Rümmer, Philipp; Schmitt, Peter H.: Verifying Object-Oriented Programs with KeY: A Tutorial. Formal Methods for Components and Objects, eds. de Boer, Bonsangue, Graf, de Roever, LNCS 4709 ISBN/ISSN: 978-3-540-74791-8

Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf: Automatic Validation of Transformation Rules for Java Verification against a Rewriting Semantics. Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2005), LNCS 3835, LNCS 3835 pp. 412 - 426. ISBN/ISSN: 3-540-30553-X

Selected Papers from the Workshop on Disproving and the Second International Workshop on Pragmatics of Decision Procedures 2004. Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli [editor(s)].

Hähnle, Reiner; Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Bubel, Richard; Giese, Martin; Menzel, Wolfram; Mostowski, Wojciech; Roth, Andreas; Schlager, Steffen; Schmitt, Peter: The KeY Tool. Software and Systems Modeling, 4 (1) pp. 32-54.

Ahrendt, Wolfgang: Deductive Search for Errors in Free Data Type Specifications using Model Generation. Lecture Notes in Computer Science. 18th International Conference on Automated Deduction Copenhagen, Denmark, July 27–30, 2002, 2392 pp. 211-225. ISBN/ISSN: 978-3-540-43931-8

Ahrendt, Wolfgang; Baar, T.; Beckert, B.; Giese, Martin; Habermalz, E.; Hähnle, Reiner; Menzel, W.; Mostowski, Wojciech; Schmitt, P.: The KeY System: Integrating Object-Oriented Design and Formal Methods. Lecture Notes in Computer Science. 5th International Conference, FASE 2002 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8–12, 2002, 2306 pp. 327-330. ISBN/ISSN: 978-3-540-43353-8