Dominic Steinhöfel

According to our database, Dominic Steinhöfel authored at least 25 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Certified Cost Bounds for Abstract Programs.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

ACM Trans. Softw. Eng. Methodol., March, 2025

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Dataset, 2025

Language-Based Testing for Knowledge Graphs.

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Proceedings of the Semantic Web - 22nd European Semantic Web Conference, 2025

2024

Supplementary Material for Paper "Language-Based Testing for Knowledge Graphs".

Tobias John, Einar Broch Johnsen, Eduard Kamburjan, Dominic Steinhöfel

Dataset, December, 2024

Schematic Program Proofs with Abstract Execution.

Dominic Steinhöfel, Reiner Hähnle

J. Autom. Reason., June, 2024

Language-Based Software Testing.

Dominic Steinhöfel, Andreas Zeller

Commun. ACM, April, 2024

2023

Semantic Debugging.

Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Engineering a Formally Verified Automated Bug Finder.

Arthur Correnson, Dominic Steinhöfel

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2022

Electronic Appendix to "Input Invariants".

Dominic Steinhöfel, Andreas Zeller

CoRR, 2022

Input invariants.

Dominic Steinhöfel, Andreas Zeller

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives.

Dominic Steinhöfel

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Delta-based verification of software product families.

Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel

Proceedings of the GPCE '21: Concepts and Experiences, Chicago, IL, USA, October 17, 2021

Certified Abstract Cost Analysis.

Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Abstract Execution: Automatically Proving Infinitely Many Programs.

Dominic Steinhöfel

PhD thesis, 2020

Treating for-Loops as First-Class Citizens in Proofs.

Nathan Wasser, Dominic Steinhöfel

CoRR, 2020

Safer Parallelization.

Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

REFINITY to Model and Prove Program Transformation Rules.

Dominic Steinhöfel

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.

Dominic Steinhöfel

Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020

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

Technical Report: Using Loop Scopes with for-Loops.

Nathan Wasser, Dominic Steinhöfel

CoRR, 2019

The Trace Modality.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Abstract Execution.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Modular, Correct Compilation with Automatic Soundness Proofs.

Dominic Steinhöfel, Reiner Hähnle

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.

Dominic Steinhöfel, Nathan Wasser

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A General Lattice Model for Merging Symbolic Execution Branches.

Dominic Scheurer, Reiner Hähnle, Richard Bubel

Proceedings of the Formal Methods and Software Engineering, 2016