Wolfram Pfeifer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
3
Active years
2021–2026
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures. | Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich |
| 2024 | FM | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |
| 2024 | ISoLA | Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. | Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Rper, Samuel Teuber |
| 2024 | ISoLA | Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. | Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich |
| 2024 | ISoLA | Formal Foundations of Consistency in Model-Driven Development. | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer |
| 2021 | ECOOP | Reconstructing z3 proofs in KeY: there and back again. | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |