![]() |
Wolfram Pfeifer, M.Sc. |
||
Researcher / PhD Student Office: Room 228
|
Am Fasanengarten 5 Building 50.34 76131 Karlsruhe Germany |
Projects
Teaching
Course | Type | Term | Topic(s) |
---|---|---|---|
Application of Formal Methods | Seminar | Summer Term 2021 |
|
Publications
Title | Author(s) | Source |
---|---|---|
Formal Foundations of Consistency in Model-Driven Development | Romain Pascual Bernhard Beckert Mattias Ulbrich Michael Kirsten Wolfram Pfeifer | 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024) |
Title | Author(s) | Source |
---|---|---|
The Karlsruhe Java Verification Suite | Jonas 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 |
Title | Author(s) | Source |
---|---|---|
Reconstructing Z3 proofs in KeY: There and back again | Wolfram 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 KeY | Wolfram Pfeifer | Karlsruhe Institute of Technology (January 2021) |
Title | Author(s) | Source |
---|---|---|
Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigInteger | Wolfram Pfeifer | Karlsruhe Institute of Technology (May 2017) |