Dominic Steinhöfel

26 papers B 5C 2Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Certified Cost Bounds for Abstract Programs.
ACM Trans. Softw. Eng. Methodol.
Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2025 — conf
Language-Based Testing for Knowledge Graphs.
ESWC (2)
Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2025 — conf
Testing Description Logic Reasoners (Extended Abstract).
DL
Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel
2024 J jnl
Language-Based Software Testing.
Commun. ACM
Dominic Steinhöfel, Andreas Zeller
2024 J jnl
Schematic Program Proofs with Abstract Execution.
J. Autom. Reason.
Dominic Steinhöfel, Reiner Hähnle
2024 C conf
Semantic Debugging.
Software Engineering
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
2023 — conf
Engineering a Formally Verified Automated Bug Finder.
ESEC/SIGSOFT FSE
Arthur Correnson, Dominic Steinhöfel
2023 J jnl
Engineering a Formally Verified Automated Bug Finder.
CoRR
Arthur Correnson, Dominic Steinhöfel
2023 C conf
Input Invariants.
Software Engineering
Dominic Steinhöfel, Andreas Zeller
2023 — conf
Semantic Debugging.
ESEC/SIGSOFT FSE
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller
2022 J jnl
Electronic Appendix to "Input Invariants".
CoRR
Dominic Steinhöfel, Andreas Zeller
2022 — conf
Input invariants.
ESEC/SIGSOFT FSE
Dominic Steinhöfel, Andreas Zeller
2022 — conf
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives.
The Logic of Software. A Tasting Menu of Formal Methods
Dominic Steinhöfel
2021 B conf
Certified Abstract Cost Analysis.
FASE
Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel
2021 B conf
Delta-based verification of software product families.
GPCE
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel
2020 — —
Abstract Execution: Automatically Proving Infinitely Many Programs.
Dominic Steinhöfel
2020 — conf
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.
Denert Award
Dominic Steinhöfel
2020 B conf
REFINITY to Model and Prove Program Transformation Rules.
APLAS
Dominic Steinhöfel
2020 — conf
Safer Parallelization.
ISoLA (2)
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf
2020 J jnl
Treating for-Loops as First-Class Citizens in Proofs.
CoRR
Nathan Wasser, Dominic Steinhöfel
2019 B conf
Abstract Execution.
FM
Dominic Steinhöfel, Reiner Hähnle
2019 J jnl
Technical Report: Using Loop Scopes with for-Loops.
CoRR
Nathan Wasser, Dominic Steinhöfel
2019 — conf
The Trace Modality.
DaLí
Dominic Steinhöfel, Reiner Hähnle
2019 J jnl
Verifying OpenJDK's Sort Method for Generic Collections.
J. Autom. Reason.
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel
2018 — conf
Modular, Correct Compilation with Automatic Soundness Proofs.
ISoLA (1)
Dominic Steinhöfel, Reiner Hähnle
2017 B conf
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
IFM
Dominic Steinhöfel, Nathan Wasser