Dominic Steinhöfel

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 22

Top Topics

Transformation Rules

Symbolic Execution

Software Testing

Affine Invariant

Top Venues

ESEC/SIGSOFT FSE

J. Autom. Reason.

Software Engineering

Publications

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