Reasoning about Abstract State Machines: The WAM Case Study. - Gerhard Schellhorn; Wolfgang Ahrendt (J. Univers. Comput. Sci., 1997)

Hilbert's epsilon-Terms in Automated Theorem Proving. - Martin Giese; Wolfgang Ahrendt (TABLEAUX, 1999)

Proof Transformations from Search-oriented into Interaction-oriented Tableau Calculi. - Gernot Stenz; Wolfgang Ahrendt; Bernhard Beckert (J. Univers. Comput. Sci., 1999)

The KeY Approach: Integrating Object Oriented Design and Formal Verification. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Peter H. Schmitt (JELIA, 2000)

Deduktive Fehlersuche in abstrakten Datentypen. - Wolfgang Ahrendt (2001)

Deductive Search for Errors in Free Data Type Specifications Using Model Generation. - Wolfgang Ahrendt (CADE, 2002)

The KeY System: Integrating Object-Oriented Design and Formal Methods. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Martin Giese; Elmar Habermalz; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Peter H. Schmitt (FASE, 2002)

Preface. - Wolfgang Ahrendt; Peter Baumgartner 001; Hans de Nivelle; Silvio Ranise; Cesare Tinelli (D/PDPAR@IJCAR, 2004)

Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. - Wolfgang Ahrendt; Andreas Roth 002; Ralf Sasse (LPAR, 2005)

The KeY tool. - Wolfgang Ahrendt; Thomas Baar; Bernhard Beckert; Richard Bubel; Martin Giese; Reiner Hähnle; Wolfram Menzel; Wojciech Mostowski; Andreas Roth 002; Steffen Schlager; Peter H. Schmitt (Softw. Syst. Model., 2005)

Verifying Object-Oriented Programs with KeY: A Tutorial. - Wolfgang Ahrendt; Bernhard Beckert; Reiner Hähnle; Philipp Rümmer; Peter H. Schmitt (FMCO, 2006)

KeY: A Formal Method for Object-Oriented Systems. - Wolfgang Ahrendt; Bernhard Beckert; Reiner Hähnle; Peter H. Schmitt (FMOODS, 2007)

Using KeY. - Wolfgang Ahrendt (The KeY Approach, 2007)

Abstract Object Creation in Dynamic Logic. - Wolfgang Ahrendt; Frank S. de Boer; Immo Grabe (FM, 2009)

A Verification System for Distributed Objects with Asynchronous Method Calls. - Wolfgang Ahrendt; Maximilian Dylla (ICFEM, 2009)

Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification. - Wolfgang Ahrendt; Richard Bubel; Reiner Hähnle (TFM, 2009)

Practical Aspects of Automated Deduction for Program Verification. - Wolfgang Ahrendt; Bernhard Beckert; Martin Giese; Philipp Rümmer (Künstliche Intell., 2010)

A Unified Approach for Static and Runtime Verification: Framework and Applications. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2012)

Real-time Java API specifications for high coverage test generation. - Wolfgang Ahrendt; Wojciech Mostowski; Gabriele Paganelli (JTRES, 2012)

A system for compositional verification of asynchronous objects. - Wolfgang Ahrendt; Maximilian Dylla (Sci. Comput. Program., 2012)

Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. - Stijn de Gouw; Frank S. de Boer; Wolfgang Ahrendt; Richard Bubel (SOFSEM, 2013)

Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. - Gabriele Paganelli; Wolfgang Ahrendt (SYNASC, 2013)

The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

A Specification Language for Static and Runtime Verification of Data and Control Properties. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (FM, 2015)

Reasoning About Loops Using Vampire in KeY. - Wolfgang Ahrendt; Laura Kovács; Simon Robillard (LPAR, 2015)

StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (RV, 2015)

StaRVOOrS - Episode II - Strengthen and Distribute the Force. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (ISoLA (1), 2016)

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic. - Stijn de Gouw; Frank S. de Boer; Wolfgang Ahrendt; Richard Bubel (Softw. Syst. Model., 2016)

Using the KeY Prover. - Wolfgang Ahrendt; Sarah Grebing (Deductive Software Verification, 2016)

Proof-based Test Case Generation. - Wolfgang Ahrendt; Christoph Gladisch; Mihai Herda (Deductive Software Verification, 2016)

Formal Specification with the Java Modeling Language. - Marieke Huisman; Wolfgang Ahrendt; Daniel Grahl; Martin Hentschel 002 (Deductive Software Verification, 2016)

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. - Wolfgang Ahrendt; Jesús Mauricio Chimento; Gordon J. Pace; Gerardo Schneider (Formal Methods Syst. Des., 2017)

Smart Contracts: A Killer Application for Deductive Source Code Verification. - Wolfgang Ahrendt; Gordon J. Pace; Gerardo Schneider (Principled Software Development, 2018)

Testing meets static and runtime verification. - Jesús Mauricio Chimento; Wolfgang Ahrendt; Gerardo Schneider (FormaliSE@ICSE, 2018)

A Broader View on Verification: From Static to Runtime and Back (Track Summary). - Wolfgang Ahrendt; Marieke Huisman; Giles Reger; Kristin Yvonne Rozier (ISoLA (2), 2018)

Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors. - Wolfgang Ahrendt; Ludovic Henrio; Wytse Oortwijn (VORTEX@ECOOP/ISSTA, 2018)

Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (FMICS, 2019)

Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. - Wolfgang Ahrendt; Richard Bubel; Joshua Ellul; Gordon J. Pace; Raúl Pardo; Vincent Rebiscoul; Gerardo Schneider (FSEN, 2019)

COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. - Wolfgang Ahrendt; Cyrille Artho; Christian Colombo 001; Yliès Falcone; Srdan Krstic; Martin Leucker; Florian Lorber; João M. Lourenço; Leonardo Mariani; César Sánchez 001; Gerardo Schneider; Volker Stolz (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Functional Verification of Smart Contracts via Strong Data Integrity. - Wolfgang Ahrendt; Richard Bubel (ISoLA (3), 2020)

Formal Analysis of Smart Contracts: Applying the KeY System. - Jonas Schiffl; Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel (20 Years of KeY, 2020)

Deductive Verification of Floating-Point Java Programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (TACAS (2), 2021)

Editorial. - Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa; Heike Wehrheim (Formal Aspects Comput., 2021)

On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (ICFEM, 2022)

TriCo - Triple Co-piloting of Implementation, Specification and Tests. - Wolfgang Ahrendt; Dilian Gurov; Moa Johansson; Philipp Rümmer (ISoLA (1), 2022)

SpecifyThis - Bridging Gaps Between Program Specification Paradigms. - Wolfgang Ahrendt; Paula Herber; Marieke Huisman; Mattias Ulbrich (ISoLA (1), 2022)

Selective Presumed Benevolence in Multi-party System Verification. - Wolfgang Ahrendt; Gordon J. Pace (ISoLA (1), 2022)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases. - Jonas Krook; Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (CoRR, 2022)

Capturing Smart Contract Design with DCR Graphs. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (SEFM, 2023)

The VerifyThis Collaborative Long-Term Challenge Series. - Wolfgang Ahrendt; Gidon Ernst; Paula Herber; Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (TOOLympics@ETAPS, 2023)

AI Assisted Programming - (AISoLA 2023 Track Introduction). - Wolfgang Ahrendt; Klaus Havelund (AISoLA, 2023)

CLawK: Monitoring Business Processes in Smart Contracts. - Mojtaba Eshghie; Wolfgang Ahrendt; Cyrille Artho; Thomas Troels Hildebrandt; Gerardo Schneider (CoRR, 2023)

Formal Development of Safe Automated Driving Using Differential Dynamic Logic. - Yuvaraj Selvaraj; Wolfgang Ahrendt; Martin Fabian (IEEE Trans. Intell. Veh., 2023)

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. - Rosa Abbasi; Jonas Schiffl; Eva Darulova; Mattias Ulbrich; Wolfgang Ahrendt (Int. J. Softw. Tools Technol. Transf., 2023)

Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. - George Granberry; Wolfgang Ahrendt; Moa Johansson (IFM, 2024)

Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. - George Granberry; Wolfgang Ahrendt; Moa Johansson (ISoLA (3), 2024)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts. - Mojtaba Eshghie; Cyrille Artho; Hans Stammler; Wolfgang Ahrendt; Thomas T. Hildebrandt; Gerardo Schneider (ASE, 2024)

AI Assisted Programming - (AISoLA 2024 Track Introduction). - Wolfgang Ahrendt; Bernhard K. Aichernig; Klaus Havelund (AISoLA, 2024)

On proving that an unsafe controller is not proven safe. - Yuvaraj Selvaraj; Jonas Krook; Wolfgang Ahrendt; Martin Fabian (J. Log. Algebraic Methods Program., 2024)

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021. - Wolfgang Ahrendt; Frédéric Loulergue; Heike Wehrheim (Formal Aspects Comput., 2024)

KeY CLI, Release 2.13. - Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)

The Many Uses of Dynamic Logic. - Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich (Go Where the Bugs Are, 2025)

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis. - George Granberry; Wolfgang Ahrendt; Moa Johansson (CoRR, 2025)