Dominic Steinhöfel
Dominic Steinhöfel
Home
Posts
Projects
Publications
Talks
Events
Contact
CV
Dominic Steinhöfel
Latest
Certified Abstract Cost Analysis
Safer Parallelization
REFINITY to Model and Prove Program Transformation Rules
Abstract Execution: Automatically Proving Infinitely Many Programs
Treating for-Loops as First-Class Citizens in Proofs
The Trace Modality
Abstract Execution
Abstract Execution
Technical Report: Using Loop Scopes with for-Loops
The Trace Modality
Verifying OpenJDK's Sort Method for Generic Collections
Modular, Correct Compilation with Automatic Soundness Proofs
Assessing the Coverage of Formal Specifications
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows
Cite
×