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


Steinhöfel, Dominic; Hähnle, Reiner

Abstract Execution Inproceedings

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


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


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

Steinhöfel, Dominic

Assessing the Coverage of Formal Specifications (Extended Abstract) Incollection

Á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

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

Abstract | Links | BibTeX


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)