Publikationen

< back to Dominic Steinhöfel

Veröffentlichungen

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 :
Technical Report: Using Loop Scopes with for-Loops.
[Online-Edition: https://arxiv.org/abs/1901.06839]

[Report] , (2019)

2018

Steinhöfel, Dominic ; Hähnle, Reiner
Margaria, Tiziana ; Steffen, Bernhard (eds.) :

Modular, Correct Compilation with Automatic Soundness Proofs.
[Online-Edition: https://doi.org/10.1007/978-3-030-03418-4_25]
In: Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Lecture Notes in Computer Science, 11244. Springer International Publishing, Cham , S. 424-447. ISBN 978-3-030-03417-7 ISSN 0302-9743
[Book section] , (2018)

2017

Steinhöfel, Dominic
Ábrahám, Erika ; Tarifa, Lizeth Tapia (eds.) :

Assessing the Coverage of Formal Specifications (Extended Abstract).
[Online-Edition: https://www.duo.uio.no/bitstream/handle/10852/57814/uioRepor...]
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. ISBN 978-82-7368-435-6
[Book section] , (2017)

Steinhöfel, Dominic ; Wasser, Nathan
Polikarpova, Nadia ; Schneider, Steve (eds.) :

A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows.
In: Lecture Notes in Computer Science , 10510 . Springer
[ Konferenzveröffentlichung] , (2017)

de Gouw, Stijn ; de Boer, Frank S. ; Bubel, Richard ; Hähnle, Reiner ; Rot, Jurriaan ; Steinhöfel, Dominic :
Verifying OpenJDK's Sort Method for Generic Collections.
[Online-Edition: https://doi.org/10.1007/s10817-017-9426-4]
In: Journal of Automated Reasoning ISSN 1573-0670
[Article] , (2017)

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

[Report] , (2017)

2016

Steinhöfel, Dominic ; Hähnle, Reiner ; Bubel, Richard
Ogata, Kazuhiro ; Lawford, Mark ; Liu, Shaoying (eds.) :

A General Lattice Model for Merging Symbolic Execution Branches.
[Online-Edition: https://doi.org/10.1007/978-3-319-47846-3\_5]
In: Lecture Notes in Computer Science , 10009 . Springer International Publishing
[ Konferenzveröffentlichung] , (2016)

Diese Liste wurde am Fri May 24 06:16:23 2019 CEST generiert.

go to TU-biblio search on ULB website