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
332019
Abstract execution
D Steinhöfel, R Hähnle
Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019
242019
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
102020
Abstract execution: automatically proving infinitely many programs
D Steinhöfel
Technische Universität, 2020
102020
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
Fundamental Approaches to Software Engineering: 24th International …, 2021
52021
Input invariants
D Steinhöfel, A Zeller
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
42022
The trace modality
D Steinhöfel, R Hähnle
Dynamic Logic. New Trends and Applications: Second International Workshop …, 2020
32020
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
Technical Report: Using Loop Scopes with for-Loops
N Wasser, D Steinhöfel
arXiv preprint arXiv:1901.06839, 2019
12019
Electronic Appendix to" Input Invariants"
D Steinhöfel, A Zeller
arXiv preprint arXiv:2208.12049, 2022
2022
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
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–17