Wolfram Pfeifer

According to our database, Wolfram Pfeifer authored at least 10 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2026

A New Interaction Concept for Interactive and Autoactive Program Verification.

Wolfram Pfeifer, Mattias Ulbrich, Daniel Drodt

CoRR, May, 2026

Deductive Verification of SmartML Smart Contracts with KeY.

Tudor Christian Balan, Wolfram Pfeifer, Adele Veschetti

Proceedings of the 7th International Workshop on Formal Methods for Blockchains, 2026

A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures.

Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich

Proceedings of the Formal Methods - 27th International Symposium, 2026

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

Dataset, June, 2024

Formal Foundations of Consistency in Model-Driven Development.

Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification.

Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 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

Proceedings of the Formal Methods - 26th International Symposium, 2024

2022

The Karlsruhe Java Verification Suite.

Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Reconstructing z3 proofs in KeY: there and back again.

Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021