Follow
Dominic Steinhöfel
Dominic Steinhöfel
CISPA Helmholtz Center for Information Security
Verified email at cispa.de - Homepage
Title
Cited by
Cited by
Year
Verifying OpenJDK’s sort method for generic collections
S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of Automated Reasoning 62, 93-126, 2019
402019
Abstract execution
D Steinhöfel, R Hähnle
International Symposium on Formal Methods, 319-336, 2019
252019
Input invariants
D Steinhöfel, A Zeller
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
182022
Abstract execution: automatically proving infinitely many programs
D Steinhöfel
Technische Universität, 2020
142020
A new invariant rule for the analysis of loops with non-standard control flows
D Steinhöfel, N Wasser
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
142017
REFINITY to model and prove program transformation rules
D Steinhöfel
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
122020
Modular, correct compilation with automatic soundness proofs
D Steinhöfel, R Hähnle
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
82018
Safer parallelization
R Hähnle, A Heydari Tabar, A Mazaheri, M Norouzi, D Steinhöfel, F Wolf
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
72020
Certified abstract cost analysis
E Albert, R Hähnle, A Merayo, D Steinhöfel
International Conference on Fundamental Approaches to Software Engineering …, 2021
52021
The trace modality
D Steinhöfel, R Hähnle
International Workshop on Dynamic Logic, 124-140, 2019
52019
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives
D Steinhöfel
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to …, 2022
22022
Delta-based verification of software product families
M Scaletta, R Hähnle, D Steinhöfel, R Bubel
Proceedings of the 20th ACM SIGPLAN International Conference on Generative …, 2021
22021
Treating for-loops as first-class citizens in proofs
N Wasser, D Steinhöfel
arXiv preprint arXiv:2002.00776, 2020
22020
Engineering a formally verified automated bug finder
A Correnson, D Steinhöfel
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
12023
Technical Report: Using Loop Scopes with for-Loops
N Wasser, D Steinhöfel
arXiv preprint arXiv:1901.06839, 2019
12019
Semantic Debugging
M Eberlein, M Smytzek, D Steinhöfel, L Grunske, A Zeller
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
2023
Electronic Appendix to" Input Invariants"
D Steinhöfel, A Zeller
arXiv preprint arXiv:2208.12049, 2022
2022
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules
D Steinhöfel
Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations …, 2022
2022
Assessing the Coverage of Formal Specifications
D Steinhöfel
The system can't perform the operation now. Try again later.
Articles 1–19