Publications

2017

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

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.

Links | BibTeX