 |
Wolfram Pfeifer, M.Sc. |
||
|
Wissenschaftlicher Mitarbeiter / Doktorand Büro: Raum 228
|
Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland |
||
Projekte
Lehre
| Veranstaltung | Typ | Semester | Thema/Themen |
|---|---|---|---|
| Anwendung Formaler Methoden | Seminar | Sommersemester 2021 |
|
Publikationen
| Titel | Autor(en) | Quelle |
|---|---|---|
| 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). Specification and Verification |
| Titel | Autor(en) | Quelle |
|---|---|---|
| The Java Verification Tool KeY: A Tutorial | Bernhard Beckert Richard Bubel Daniel Drodt Reiner Hähnle Florian Lanzinger Wolfram Pfeifer Mattias Ulbrich Alexander Weigl | 26th International Symposium on Formal Methods (FM 2024) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| 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 |
| Titel | Autor(en) | Quelle |
|---|---|---|
| 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 (Januar 2021) |
| Titel | Autor(en) | Quelle |
|---|---|---|
| Specifying and Verifying Real-World Java Code with KeY - Case Study java.math.BigInteger | Wolfram Pfeifer | Karlsruhe Institute of Technology (Mai 2017) |