Dominic Steinhöfel
Dominic Steinhöfel
CISPA Helmholtz Center for Information Security
Verified email at cispa.de - Homepage
Title
Cited by
Cited by
Year
Verifying OpenJDK’s sort method for generic collections
S de Gouw, FS de Boer, R Bubel, R Hähnle, J Rot, D Steinhöfel
Journal of automated reasoning 62 (1), 93-126, 2019
182019
A general lattice model for merging symbolic execution branches
D Scheurer, R Hähnle, R Bubel
International Conference on Formal Engineering Methods, 57-73, 2016
142016
Abstract execution
D Steinhöfel, R Hähnle
International Symposium on Formal Methods, 319-336, 2019
92019
A new invariant rule for the analysis of loops with non-standard control flows
D Steinhöfel, N Wasser
International Conference on Integrated Formal Methods, 279-294, 2017
82017
Modular, correct compilation with automatic soundness proofs
D Steinhöfel, R Hähnle
International Symposium on Leveraging Applications of Formal Methods, 424-447, 2018
52018
Abstract Execution: automatically proving infinitely many programs
D Steinhöfel
Technische Universität, 2020
32020
From trees to DAGs: a general lattice model for symbolic execution
D Scheurer
32015
The trace modality
D Steinhöfel, R Hähnle
International Workshop on Dynamic Logic, 124-140, 2019
22019
Enforcing Datalog Policies with Service Automata on Distributed Version Control Systems
D Scheurer
22013
Safer parallelization
R Hähnle, AH Tabar, A Mazaheri, M Norouzi, D Steinhöfel, F Wolf
International Symposium on Leveraging Applications of Formal Methods, 117-137, 2020
12020
Treating for-Loops as First-Class Citizens in Proofs
N Wasser, D Steinhöfel
arXiv preprint arXiv:2002.00776, 2020
12020
Technical Report: Using Loop Scopes with for-Loops
N Wasser, D Steinhöfel
arXiv preprint arXiv:1901.06839, 2019
12019
REFINITY to Model and Prove Program Transformation Rules
D Steinhöfel
Asian Symposium on Programming Languages and Systems, 311-319, 2020
2020
Assessing the Coverage of Formal Specifications
D Steinhöfel, N Wasser, S de Gouw, F de Boer, R Bubel, R Hähnle, J Rot, ...
Journal of Automated Reasoning, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–14