Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Dominic Steinhöfel

Dominic Scheurer

> Home > Persons

Person information

affiliation: CISPA Helmholtz Center for Information Security, Saarbrücken, Germany
affiliation (former, PhD 2020): Technical University of Darmstadt, Germany

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2020
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Steinhofel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Steinhofel20
Dominic Steinhöfel:
Abstract Execution: Automatically Proving Infinitely Many Programs. Darmstadt University of Technology, Germany, 2020

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SteinhofelH24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SteinhofelH24
Dominic Steinhöfel, Reiner Hähnle:
Schematic Program Proofs with Abstract Execution. J. Autom. Reason. 68(2): 7 (2024)
2019
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/GouwBBHRS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/GouwBBHRS19
Stijn de Gouw, Frank S. de Boer, Richard Bubel, Reiner Hähnle, Jurriaan Rot, Dominic Steinhöfel:
Verifying OpenJDK's Sort Method for Generic Collections. J. Autom. Reason. 62(1): 93-126 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/se/EberleinSSGZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/EberleinSSGZ24
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. Software Engineering 2024: 135-136
2023
[c15]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/SteinhofelZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/SteinhofelZ23
Dominic Steinhöfel, Andreas Zeller:
Input Invariants. Software Engineering 2023: 113-114
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/EberleinSSGZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/EberleinSSGZ23
Martin Eberlein, Marius Smytzek, Dominic Steinhöfel, Lars Grunske, Andreas Zeller:
Semantic Debugging. ESEC/SIGSOFT FSE 2023: 438-449
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CorrensonS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CorrensonS23
Arthur Correnson, Dominic Steinhöfel:
Engineering a Formally Verified Automated Bug Finder. ESEC/SIGSOFT FSE 2023: 1165-1176
2022
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Steinhofel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Steinhofel20
Dominic Steinhöfel:
Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives. The Logic of Software. A Tasting Menu of Formal Methods 2022: 446-480
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SteinhofelZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SteinhofelZ22
Dominic Steinhöfel, Andreas Zeller:
Input invariants. ESEC/SIGSOFT FSE 2022: 583-594
2021
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fase/AlbertHMS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/AlbertHMS21
Elvira Albert, Reiner Hähnle, Alicia Merayo, Dominic Steinhöfel:
Certified Abstract Cost Analysis. FASE 2021: 24-45
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/ScalettaHSB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/ScalettaHSB21
Marco Scaletta, Reiner Hähnle, Dominic Steinhöfel, Richard Bubel:
Delta-based verification of software product families. GPCE 2021: 69-82
2020
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - books/sp/22/Steinhofel22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/22/Steinhofel22
Dominic Steinhöfel:
Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. Denert Award 2020: 197-226
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/Steinhofel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/Steinhofel20
Dominic Steinhöfel:
REFINITY to Model and Prove Program Transformation Rules. APLAS 2020: 311-319
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/HahnleTMNS020
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/HahnleTMNS020
Reiner Hähnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhöfel, Felix Wolf:
Safer Parallelization. ISoLA (2) 2020: 117-137
2019
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/SteinhofelH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/SteinhofelH19
Dominic Steinhöfel, Reiner Hähnle:
Abstract Execution. FM 2019: 319-336
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/SteinhofelH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/SteinhofelH19
Dominic Steinhöfel, Reiner Hähnle:
The Trace Modality. DaLí 2019: 124-140
2018
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/SteinhofelH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/SteinhofelH18
Dominic Steinhöfel, Reiner Hähnle:
Modular, Correct Compilation with Automatic Soundness Proofs. ISoLA (1) 2018: 424-447
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/SteinhofelW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/SteinhofelW17
Dominic Steinhöfel, Nathan Wasser:
A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. IFM 2017: 279-294
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ScheurerHB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ScheurerHB16
Dominic Scheurer, Reiner Hähnle, Richard Bubel:
A General Lattice Model for Merging Symbolic Execution Branches. ICFEM 2016: 57-73

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-05570
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-05570
Arthur Correnson, Dominic Steinhöfel:
Engineering a Formally Verified Automated Bug Finder. CoRR abs/2305.05570 (2023)
2022
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2208-12049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2208-12049
Dominic Steinhöfel, Andreas Zeller:
Electronic Appendix to "Input Invariants". CoRR abs/2208.12049 (2022)
2020
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-00776
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-00776
Nathan Wasser, Dominic Steinhöfel:
Treating for-Loops as First-Class Citizens in Proofs. CoRR abs/2002.00776 (2020)
2019
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1901-06839
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1901-06839
Nathan Wasser, Dominic Steinhöfel:
Technical Report: Using Loop Scopes with for-Loops. CoRR abs/1901.06839 (2019)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.