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
432019
Abstract execution
D Steinhöfel, R Hähnle
International Symposium on Formal Methods, 319-336, 2019
262019
Input invariants
D Steinhöfel, A Zeller
Proceedings of the 30th ACM joint european software engineering conference …, 2022
232022
Abstract execution: automatically proving infinitely many programs
D Steinhöfel
Technische Universität Darmstadt, 2020
172020
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
132020
Modular, correct compilation with automatic soundness proofs
D Steinhöfel, R Hähnle
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
92018
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
82020
The trace modality
D Steinhöfel, R Hähnle
International Workshop on Dynamic Logic, 124-140, 2019
72019
Certified abstract cost analysis
E Albert, R Hähnle, A Merayo, D Steinhöfel
International Conference on Fundamental Approaches to Software Engineering …, 2021
62021
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
32022
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
32021
Treating for-loops as first-class citizens in proofs
N Wasser, D Steinhöfel
arXiv preprint arXiv:2002.00776, 2020
22020
Semantic Debugging
M Eberlein, M Smytzek, D Steinhöfel, L Grunske, A Zeller
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
12023
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
Schematic Program Proofs with Abstract Execution: Theory and Applications
D Steinhöfel, R Hähnle
Journal of Automated Reasoning 68 (2), 7, 2024
2024
Language-Based Software Testing
D Steinhöfel, A Zeller
Communications of the ACM 67 (4), 80-84, 2024
2024
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
The system can't perform the operation now. Try again later.
Articles 1–20