TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 13.

Hähnle, Reiner ; Heydari Tabar, Asmae ; Mazaheri, Arya ; Norouzi, Mohammad ; Steinhöfel, Dominic ; Wolf, Felix
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2020):
Safer Parallelization.
In: Lecture Notes in Computer Science, 12477, In: Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, pp. 117-137,
Springer, 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020), ISBN 978-3-030-61469-0,
DOI: 10.1007/978-3-030-61470-6_8,
[Conference or Workshop Item]

Steinhöfel, Dominic (2020):
Abstract Execution: Automatically Proving Infinitely Many Programs.
Darmstadt, Technische Universität,
DOI: 10.25534/tuprints-00008540,
[Ph.D. Thesis]

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, pp. 319-336, Berlin, Springer, DOI: 10.1007/978-3-030-30942-8_20,
[Book Section]

Wasser, Nathan ; Steinhöfel, Dominic (2019):
Technical Report: Using Loop Scopes with for-Loops.
[Report]

Steinhöfel, Dominic ; Hähnle, Reiner
ter Beek, Maurice H. ; McIver, Annabelle ; N., Jos\' (eds.) (2019):
Abstract Execution.
In: Formal Methods - The Next 30 Years,
3rd World Congress on Formal Methods (FM 2019), Porto, Portugal, October 7-11, 2019, DOI: 10.1007/978-3-030-30942-8_20,
[Conference or Workshop Item]

de Gouw, Stijn ; 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), pp. 93-126. DOI: 10.1007/s10817-017-9426-4,
[Article]

de Gouw, Stijn ; 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), pp. 93-126. DOI: 10.1007/s10817-017-9426-4,
[Article]

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Lecture Notes in Computer Science, 11244, In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, pp. 424-447, Cham, Springer International Publishing, ISBN 978-3-030-03417-7,
DOI: 10.1007/978-3-030-03418-4_25,
[Book Section]

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) (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), pp. 38-40, University of Oslo, ISBN 978-82-7368-435-6,
[Book Section]

Steinhöfel, Dominic ; Wasser, Nathan
Polikarpova, Nadia ; Schneider, Steve (eds.) (2017):
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Lecture Notes in Computer Science, 10510, In: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, pp. 279--294,
Springer, ISBN 978-3-319-66844-4,
DOI: 10.1007/978-3-319-66845-1,
[Conference or Workshop Item]

de Gouw, Stijn ; 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, ISSN 1573-0670,
DOI: 10.1007/s10817-017-9426-4,
[Article]

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

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Lecture Notes in Computer Science, 10009, In: 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, DOI: 10.1007/978-3-319-47846-3_5,
[Conference or Workshop Item]

This list was generated on Tue Jul 27 06:00:07 2021 CEST.