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)

Note that in April 2017, I changed my surname from Scheurer to Steinhöfel. So, if you’re looking for a Dominic Scheurer, this also could be me (in particular, I have one publication with the old name).


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.

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

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.

Links | BibTeX