Publications

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

(2023). Semantic Debugging. ESEC/FSE'23.

PDF Cite DOI

(2023). Engineering a Formally Verified Automated Bug Finder. ESEC/FSE'23.

PDF Cite DOI

(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.

PDF Cite DOI

(2021). Delta-Based Verification of Software Product Families. Proc. GPCE 2021.

PDF

(2021). Certified Abstract Cost Analysis. Proc. FASE 2021.

PDF DOI

(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

(2020). Safer Parallelization. Proc. 9th ISoLA.

Cite DOI

(2020). Treating for-Loops as First-Class Citizens in Proofs. Computing Research Repository (CoRR).

PDF Cite

(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

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

PDF Cite DOI

(2019). Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reasoning.

Cite DOI

(2019). The Trace Modality. Proc. Second Intern. Workshop on Dynamic Logic. New Trends and Applications (DaLí).

PDF Cite DOI

(2019). Technical Report: Using Loop Scopes with for-Loops. Computing Research Repository (CoRR).

PDF Cite

(2019). Abstract Execution. Proc. Third World Congress on Formal Methods - The Next 30 Years, (FM).

PDF Cite DOI

(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

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

PDF

(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

(2016). A General Lattice Model for Merging Symbolic Execution Branches. Proc. 18th Intern. Conf. on Formal Engineering Methods (ICFEM).

PDF Cite DOI