| 2025 | SEFM | Axiomatisation of Solidity Memory and Storage. | Guilherme Horta Alvares Da Silva, Wolfgang Ahrendt, Richard Bubel |
| 2025 | VECoS | AI Assisted Programming (AISoLA 2025 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2024 | IFM | Specify What? Enhancing Neural Specification Synthesis by Symbolic Methods. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | ISoLA | Towards Integrating Copiloting and Formal Methods - Building Blocks, Architecture, and Challenges. | George Granberry, Wolfgang Ahrendt, Moa Johansson |
| 2024 | VECoS | AI Assisted Programming - (AISoLA 2024 Track Introduction). | Wolfgang Ahrendt, Bernhard K. Aichernig, Klaus Havelund |
| 2023 | SEFM | Capturing Smart Contract Design with DCR Graphs. | Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Troels Hildebrandt, Gerardo Schneider |
| 2023 | VECoS | AI Assisted Programming - (AISoLA 2023 Track Introduction). | Wolfgang Ahrendt, Klaus Havelund |
| 2022 | ICFEM | On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic. | Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian |
| 2022 | ISoLA | TriCo - Triple Co-piloting of Implementation, Specification and Tests. | Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rmmer |
| 2022 | ISoLA | SpecifyThis - Bridging Gaps Between Program Specification Paradigms. | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2022 | ISoLA | Selective Presumed Benevolence in Multi-party System Verification. | Wolfgang Ahrendt, Gordon J. Pace |
| 2021 | TACAS | Deductive Verification of Floating-Point Java Programs in KeY. | Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt |
| 2020 | ISoLA | Functional Verification of Smart Contracts via Strong Data Integrity. | Wolfgang Ahrendt, Richard Bubel |
| 2019 | FMICS | Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study. | Yuvaraj Selvaraj, Wolfgang Ahrendt, Martin Fabian |
| 2018 | ICSE | Testing meets static and runtime verification. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider |
| 2018 | ISoLA | A Broader View on Verification: From Static to Runtime and Back (Track Summary). | Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier |
| 2016 | ISoLA | StaRVOOrS - Episode II - Strengthen and Distribute the Force. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2015 | FM | A Specification Language for Static and Runtime Verification of Data and Control Properties. | Wolfgang Ahrendt, Jess Mauricio Chimento, Gordon J. Pace, Gerardo Schneider |
| 2015 | LPAR | Reasoning About Loops Using Vampire in KeY. | Wolfgang Ahrendt, Laura Kovcs, Simon Robillard |
| 2015 | RV | StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. | Jess Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2013 | SOFSEM | Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. | Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel |
| 2013 | SYNASC | Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. | Gabriele Paganelli, Wolfgang Ahrendt |
| 2012 | ISoLA | A Unified Approach for Static and Runtime Verification: Framework and Applications. | Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider |
| 2009 | FM | Abstract Object Creation in Dynamic Logic. | Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe |
| 2009 | ICFEM | A Verification System for Distributed Objects with Asynchronous Method Calls. | Wolfgang Ahrendt, Maximilian Dylla |
| 2005 | LPAR | Automatic Validation of Transformation Rules for Java Verification Against a Rewriting Semantics. | Wolfgang Ahrendt, Andreas Roth, Ralf Sasse |
| 2002 | CADE | Deductive Search for Errors in Free Data Type Specifications Using Model Generation. | Wolfgang Ahrendt |
| 2002 | FASE | The KeY System: Integrating Object-Oriented Design and Formal Methods. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt |
| 2000 | JELIA | The KeY Approach: Integrating Object Oriented Design and Formal Verification. | Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hhnle, Wolfram Menzel, Peter H. Schmitt |
| 1999 | TABLEAUX | Hilbert's epsilon-Terms in Automated Theorem Proving. | Martin Giese, Wolfgang Ahrendt |