Publikationen

< back to Dominic Steinhöfel

Veröffentlichungen

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Publikationsjahr | Typ des Eintrags | Keine Gruppierung
Springe zu: 2019 | 2018 | 2017 | 2016
Anzahl der Einträge: 7.

2019

Wasser, Nathan ; Steinhöfel, Dominic (2019):
Technical Report: Using Loop Scopes with for-Loops.
[Online-Edition: https://arxiv.org/abs/1901.06839],
[Report]

2018

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (Hrsg.) (2018):
Modular, Correct Compilation with Automatic Soundness Proofs.
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling, Cham, Springer International Publishing, S. 424-447, DOI: 10.1007/978-3-030-03418-4_25,
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25],
[Buchkapitel]

2017

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (Hrsg.) (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), University of Oslo, S. 38-40, [Online-Edition: https://www.duo.uio.no/bitstream/handle/10852/57814/uioRepor...],
[Buchkapitel]

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

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,
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4],
[Artikel]

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

2016

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (Hrsg.) (2016):
A General Lattice Model for Merging Symbolic Execution Branches.
In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, Springer International Publishing, In: Lecture Notes in Computer Science, 10009, DOI: 10.1007/978-3-319-47846-3_5,
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3\_5],
[Konferenzveröffentlichung]

Diese Liste wurde am Fri Aug 16 06:06:05 2019 CEST generiert.

zur TU-Biblio-Suche der ULB