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 | 44 | 2019 |
Abstract execution D Steinhöfel, R Hähnle International Symposium on Formal Methods, 319-336, 2019 | 26 | 2019 |
Input invariants D Steinhöfel, A Zeller Proceedings of the 30th ACM joint european software engineering conference …, 2022 | 22 | 2022 |
Abstract execution: automatically proving infinitely many programs D Steinhöfel Technische Universität Darmstadt, 2020 | 17 | 2020 |
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 | 14 | 2017 |
REFINITY to model and prove program transformation rules D Steinhöfel Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020 | 13 | 2020 |
Modular, correct compilation with automatic soundness proofs D Steinhöfel, R Hähnle Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 9 | 2018 |
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 | 8 | 2020 |
The trace modality D Steinhöfel, R Hähnle International Workshop on Dynamic Logic, 124-140, 2019 | 7 | 2019 |
Certified abstract cost analysis E Albert, R Hähnle, A Merayo, D Steinhöfel International Conference on Fundamental Approaches to Software Engineering …, 2021 | 6 | 2021 |
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 | 3 | 2022 |
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 | 3 | 2021 |
Semantic debugging M Eberlein, M Smytzek, D Steinhöfel, L Grunske, A Zeller Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 2 | 2023 |
Treating for-loops as first-class citizens in proofs N Wasser, D Steinhöfel arXiv preprint arXiv:2002.00776, 2020 | 2 | 2020 |
Engineering a formally verified automated bug finder A Correnson, D Steinhöfel Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 1 | 2023 |
Technical Report: Using Loop Scopes with for-Loops N Wasser, D Steinhöfel arXiv preprint arXiv:1901.06839, 2019 | 1 | 2019 |
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 |