Wolfram Pfeifer

Orcid: 0000-0002-9478-9641

According to our database1, Wolfram Pfeifer authored at least 6 papers between 2021 and 2024.

Collaborative distances:

Timeline

2021
2022
2023
2024
0
1
2
3
4
5
4
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Formal Foundations of Consistency in Model-Driven Development.
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.
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.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

The Java Verification Tool KeY:A Tutorial.
Proceedings of the Formal Methods - 26th International Symposium, 2024

2022
The Karlsruhe Java Verification Suite.
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021
Reconstructing z3 proofs in KeY: there and back again.
Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021


  Loading...