Wolfram Pfeifer

Wolfram Pfeifer, M.Sc.

Researcher / PhD Student

Office: Room 228

📞

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

Projects

Teaching

Publications

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)