Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Wolfram Pfeifer

Wolfram Pfeifer

Wolfram Pfeifer, M.Sc.
Researcher / PhD Student

Office: Room 228

📞
✉
 + 49 721 608-45648
wolfram.pfeifer100227710Xfd4∂kit.edu
[ S/MIME ]
Am Fasanengarten 5
Building 50.34
76131 Karlsruhe
Germany

Projects

Teaching

Course Type Term Topic(s)
Application of Formal Methods Seminar Summer Term 2021
  • Java Semantics in the K-Framework

Publications

2024
Title Author(s) Source
Formal Foundations of Consistency in Model-Driven DevelopmentRomain Pascual
Bernhard Beckert
Mattias Ulbrich
Michael Kirsten
Wolfram Pfeifer		12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification
Contract-LIB: A Proposal for a Common Interchange Format for Software System SpecificationGidon Ernst
Wolfram Pfeifer
Mattias Ulbrich		12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Specification and Verification
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam VerificationBernhard Beckert
Jonas Klamroth
Wolfram Pfeifer
Patrick Röper
Samuel Teuber		12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Software Engineering Methodologies
The Java Verification Tool KeY: A TutorialBernhard Beckert
Richard Bubel
Daniel Drodt
Reiner Hähnle
Florian Lanzinger
Wolfram Pfeifer
Mattias Ulbrich
Alexander Weigl		26th International Symposium on Formal Methods (FM 2024)
2022
Title Author(s) Source
The Karlsruhe Java Verification SuiteJonas Klamroth
Florian Lanzinger
Wolfram Pfeifer
Mattias Ulbrich		The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday
2021
Title Author(s) Source
Reconstructing Z3 proofs in KeY: There and back againWolfram Pfeifer
Jonas Schiffl
Mattias Ulbrich		Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs (FTfJP 2021), co-located with ECOOP/ISSTA 2021, Online, 13 July 2021
Reconstructing Z3 Proofs With KeYWolfram PfeiferKarlsruhe Institute of Technology (January 2021)
2017
Title Author(s) Source
Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigIntegerWolfram PfeiferKarlsruhe Institute of Technology (May 2017)