Reconstructing z3 proofs in KeY: there and back again. - Wolfram Pfeifer; Jonas Schiffl; Mattias Ulbrich (FTfJP@ECOOP, 2021)

The Karlsruhe Java Verification Suite. - Jonas Klamroth; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

The Java Verification Tool KeY:A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (FM (2), 2024)

Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. - Bernhard Beckert; Jonas Klamroth; Wolfram Pfeifer; Patrick Röper; Samuel Teuber (ISoLA (4), 2024)

Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. - Gidon Ernst; Wolfram Pfeifer; Mattias Ulbrich (ISoLA (3), 2024)

Formal Foundations of Consistency in Model-Driven Development. - Romain Pascual; Bernhard Beckert; Mattias Ulbrich; Michael Kirsten; Wolfram Pfeifer (ISoLA (3), 2024)

The Java Verification Tool KeY: A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)