Artikel

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Rot, Jurriaan ; Steinhöfel, Dominic (2019)
Verifying OpenJDK's Sort Method for Generic Collections.
In: J. Autom. Reasoning, 62 (1)
doi: 10.1007/s10817-017-9426-4
Artikel, Bibliographie

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic (2019)
Verifying OpenJDK's Sort Method for Generic Collections.
In: J. Autom. Reasoning, 62 (1)
doi: 10.1007/s10817-017-9426-4
Artikel, Bibliographie

Gouw, Stijn de ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic (2017)
Verifying OpenJDK's Sort Method for Generic Collections.
In: Journal of Automated Reasoning
doi: 10.1007/s10817-017-9426-4
Artikel, Bibliographie

Buchkapitel

Steinhöfel, Dominic ; Hähnle, Reiner (2019)
Abstract Execution.
In: Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings
doi: 10.1007/978-3-030-30942-8_20
Buchkapitel, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2018)
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling
doi: 10.1007/978-3-030-03418-4_25
Buchkapitel, Bibliographie

Steinhöfel, Dominic
Hrsg.: Ábrahám, Erika ; Tarifa, Lizeth Tapia (2017)
Assessing the Coverage of Formal Specifications (Extended Abstract).
In: Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17)
Buchkapitel, Bibliographie

Konferenzveröffentlichung

Scaletta, Marco ; Hähnle, Reiner ; Steinhöfel, Dominic ; Bubel, Richard
Hrsg.: Tilevich, Eli ; Roover, Coen De (2021)
Delta-based verification of software product families.
20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. Chicago, USA (17.10.2021-18.10.2021)
doi: 10.1145/3486609.3487200
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Hrsg.: Guerra, Esther ; Stoelinga, Marielle (2021)
Certified Abstract Cost Analysis.
24th International Conference of the European Joint Conferences on Theory and Practice of Software. virtual Conference (27.03.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Konferenzveröffentlichung, Bibliographie

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2020)
Safer Parallelization.
9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020). virtual Conference (20.-30.10.2020)
doi: 10.1007/978-3-030-61470-6_8
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner
Hrsg.: ter Beek, Maurice H. ; McIver, Annabelle ; Oliveira, José N. (2019)
Abstract Execution.
3rd World Congress on Formal Methods (FM 2019). Porto, Portugal (07.10.2019-11.10.2019)
doi: 10.1007/978-3-030-30942-8_20
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Wasser, Nathan
Hrsg.: Polikarpova, Nadia ; Schneider, Steve (2017)
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
doi: 10.1007/978-3-319-66845-1
Konferenzveröffentlichung, Bibliographie

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (2016)
A General Lattice Model for Merging Symbolic Execution Branches.
doi: 10.1007/978-3-319-47846-3_5
Konferenzveröffentlichung, Bibliographie

Report

Wasser, Nathan ; Steinhöfel, Dominic (2019)
Technical Report: Using Loop Scopes with for-Loops.
doi: 10.48550/arXiv.1901.06839
Report, Bibliographie

Steinhöfel, Dominic ; Wasser, Nathan (2017)
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
Report, Bibliographie

Dissertation

Steinhöfel, Dominic (2020)
Abstract Execution: Automatically Proving Infinitely Many Programs.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00008540
Dissertation, Erstveröffentlichung