Publications

For all self-archived versions linked below, please consider the link to the publisher’s final authenticated version contained in the PDF documents.

Dominic Steinhöfel, Andreas Zeller (2022). Input Invariants. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ‘22), November 14–18, 2022, Singapore.

Cite

Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel (2021). Delta-Based Verification of Software Product Families. Proc. GPCE 2021.

PDF

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

PDF DOI

Dominic Steinhöfel (2021). Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday.

Cite DOI

Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf (2020). Safer Parallelization. Proc. 9th ISoLA.

Cite DOI

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

PDF Cite DOI

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

PDF Cite

Dominic Steinhöfel (2020). Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations.

PDF Cite DOI URL

Dominic Steinhöfel (2020). Abstract Execution: Automatically Proving Infinitely Many Programs. TUPrints, Technical University of Darmstadt, Department of Computer Science.

PDF Cite DOI

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

Cite DOI

Dominic Steinhöfel, Reiner Hähnle (2019). The Trace Modality. Proc. Second Intern. Workshop on Dynamic Logic. New Trends and Applications (DaLí).

PDF Cite DOI

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

PDF Cite

Dominic Steinhöfel, Reiner Hähnle (2019). Abstract Execution. Proc. Third World Congress on Formal Methods - The Next 30 Years, (FM).

PDF Cite DOI

Dominic Steinhöfel, Reiner Hähnle (2018). Modular, Correct Compilation with Automatic Soundness Proofs. Proc. 8th Intern. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA).

PDF Cite DOI

Dominic Steinhöfel (2017). Assessing the Coverage of Formal Specifications. Proc. PhD Symp. iFM'17.

PDF

Dominic Steinhöfel, Nathan Wasser (2017). A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. Proc. 13th Intern. Conf. on Integrated Formal Methods (IFM).

PDF Cite DOI

Dominic Scheurer, Reiner Hähnle, Richard Bubel (2016). A General Lattice Model for Merging Symbolic Execution Branches. Proc. 18th Intern. Conf. on Formal Engineering Methods (ICFEM).

PDF Cite DOI

Dominic Scheurer (2015). From Trees to DAGs: A General Lattice Model for Symbolic Execution.

PDF Cite

Dominic Scheurer (2013). Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems.

Cite