Dominic Steinhöfel

According to our database1, Dominic Steinhöfel authored at least 9 papers between 2016 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2020
Abstract Execution: Automatically Proving Infinitely Many Programs.
PhD thesis, 2020

Treating for-Loops as First-Class Citizens in Proofs.
CoRR, 2020

2019
Verifying OpenJDK's Sort Method for Generic Collections.
J. Autom. Reason., 2019

Technical Report: Using Loop Scopes with for-Loops.
CoRR, 2019

The Trace Modality.
Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Abstract Execution.
Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018
Modular, Correct Compilation with Automatic Soundness Proofs.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016
A General Lattice Model for Merging Symbolic Execution Branches.
Proceedings of the Formal Methods and Software Engineering, 2016


  Loading...