Publications

See also DBLP, Google Scholar, ORCiD.

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

2020

Steinhöfel, Dominic

Abstract Execution: Automatically Proving Infinitely Many Programs PhD Thesis Open Access

Technical University of Darmstadt, Department of Computer Science, 2020.

Links | BibTeX

2019

Steinhöfel, Dominic; Hähnle, Reiner

Abstract Execution Inproceedings Video Available

ter Beek, Maurice H; McIver, Anabelle; Oliveira, José N (Ed.): Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, pp. 319–336, Springer, Cham, 2019, ISBN: 978-3-030-30941-1.

Abstract | Links | BibTeX

Steinhöfel, Dominic; Hähnle, Reiner

The Trace Modality Inproceedings

Baltag, Alexandru; Barbosa, Luís S (Ed.): Dynamic Logic. New Trends and Applications. Second International Workshop, DALI 2019, Porto, Portugal, October 7, 2019, Proceedings, Springer, 2019, ISBN: 978-3-030-38808-9.

Abstract | Links | BibTeX

2018

Steinhöfel, Dominic; Hähnle, Reiner

Modular, Correct Compilation with Automatic Soundness Proofs Incollection

Margaria, Tiziana; Steffen, Bernhard (Ed.): Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 11244 , pp. 424–447, Springer International Publishing, Cham, 2018, ISSN: 0302-9743.

Abstract | Links | BibTeX

2017

Steinhöfel, Dominic

Assessing the Coverage of Formal Specifications (Extended Abstract) Incollection Open Access

Ábrahám, Erika; Tarifa, Lizeth Tapia (Ed.): Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17), pp. 38–40, University of Oslo, 2017, ISSN: 0806-3036, (Open Access).

Abstract | Links | BibTeX

de Gouw, Stijn; de Boer, Frank; Bubel, Richard; Hähnle, Reiner; Rot, Jurriaan; Steinhöfel, Dominic

Verifying OpenJDK's Sort Method for Generic Collections Journal Article Open Access

Journal of Automated Reasoning, 2017, ISSN: 1573-0670, (Open Access).

Abstract | Links | BibTeX

Steinhöfel, Dominic; Wasser, Nathan

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

Technische Universität Darmstadt 2017.

Abstract | Links | BibTeX

Steinhöfel, Dominic; Wasser, Nathan

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

Polikarpova, Nadia; Schneider, Steve (Ed.): Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 279–294, Springer, 2017, ISBN: 978-3-319-66844-4.

Abstract | Links | BibTeX

2016

Scheurer, Dominic; Hähnle, Reiner; Bubel, Richard

A General Lattice Model for Merging Symbolic Execution Branches Inproceedings

Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying (Ed.): Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 57–73, Springer International Publishing, 2016, (I'm the author Dominic Scheurer).

Links | BibTeX

Note that in April 2017, I changed my surname from Scheurer to Steinhöfel. I have one publication with the old name.

Erdős Number

My Erdős number is 4 (check out that comic, please):

Paul Erdős
coauthered with
Andreas R. BlassDiverse Homogeneous Sets, J. Comb. Theory (1992)
Andreas R. Blasscoauthered withNikolaj S. BjørnerContent-dependent chunking (…). J. Comput. Syst. Sci. (2010)
Nikolaj S. Bjørnercoauthered withFrank S. de BoerEditorial. Formal Asp. Comput. (2018)
Frank S. de Boercoauthered withDominic Steinhöfel
Verifying OpenJDK’s Sort Method for Generic Collections. J. Autom. Reasoning (2017)