Folgen
Dominic Steinhöfel
Dominic Steinhöfel
CISPA Helmholtz Center for Information Security
Bestätigte E-Mail-Adresse bei cispa.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
442019
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
252022
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
Semantic debugging
M Eberlein, M Smytzek, D Steinhöfel, L Grunske, A Zeller
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
22023
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20