A General Lattice Model for Merging Symbolic Execution Branches. - Dominic Scheurer; Reiner Hähnle; Richard Bubel (ICFEM, 2016)

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. - Dominic Steinhöfel; Nathan Wasser (IFM, 2017)

Modular, Correct Compilation with Automatic Soundness Proofs. - Dominic Steinhöfel; Reiner Hähnle (ISoLA (1), 2018)

Abstract Execution. - Dominic Steinhöfel; Reiner Hähnle (FM, 2019)

The Trace Modality. - Dominic Steinhöfel; Reiner Hähnle (DaLí, 2019)

Technical Report: Using Loop Scopes with for-Loops. - Nathan Wasser; Dominic Steinhöfel (CoRR, 2019)

Verifying OpenJDK's Sort Method for Generic Collections. - Stijn de Gouw; Frank S. de Boer; Richard Bubel; Reiner Hähnle; Jurriaan Rot; Dominic Steinhöfel (J. Autom. Reason., 2019)

Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. - Dominic Steinhöfel (Denert Award, 2020)

REFINITY to Model and Prove Program Transformation Rules. - Dominic Steinhöfel (APLAS, 2020)

Safer Parallelization. - Reiner Hähnle; Asmae Heydari Tabar; Arya Mazaheri; Mohammad Norouzi 003; Dominic Steinhöfel; Felix Wolf 001 (ISoLA (2), 2020)

Treating for-Loops as First-Class Citizens in Proofs. - Nathan Wasser; Dominic Steinhöfel (CoRR, 2020)

Abstract Execution: Automatically Proving Infinitely Many Programs. - Dominic Steinhöfel (2020)

Certified Abstract Cost Analysis. - Elvira Albert; Reiner Hähnle; Alicia Merayo; Dominic Steinhöfel (FASE, 2021)

Delta-based verification of software product families. - Marco Scaletta; Reiner Hähnle; Dominic Steinhöfel; Richard Bubel (GPCE, 2021)

Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. - Dominic Steinhöfel (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Electronic Appendix to "Input Invariants". - Dominic Steinhöfel; Andreas Zeller (CoRR, 2022)

Input Invariants. - Dominic Steinhöfel; Andreas Zeller (Software Engineering, 2023)

Engineering a Formally Verified Automated Bug Finder. - Arthur Correnson; Dominic Steinhöfel (ESEC/SIGSOFT FSE, 2023)

Semantic Debugging. - Martin Eberlein; Marius Smytzek; Dominic Steinhöfel; Lars Grunske; Andreas Zeller (Software Engineering, 2024)

Language-Based Software Testing. - Dominic Steinhöfel; Andreas Zeller (Commun. ACM, 2024)

Schematic Program Proofs with Abstract Execution. - Dominic Steinhöfel; Reiner Hähnle (J. Autom. Reason., 2024)

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (Zenodo, 2024)

Language-Based Testing for Knowledge Graphs. - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (ESWC (2), 2025)

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs". - Tobias John; Einar Broch Johnsen; Eduard Kamburjan; Dominic Steinhöfel (Zenodo, 2025)

Certified Cost Bounds for Abstract Programs. - Elvira Albert; Reiner Hähnle; Alicia Merayo; Dominic Steinhöfel (ACM Trans. Softw. Eng. Methodol., 2025)