Dominic Steinhfel
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
8
Active years
2017–2021
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FASE | Certified Abstract Cost Analysis. | Elvira Albert, Reiner Hhnle, Alicia Merayo, Dominic Steinhfel |
| 2021 | GPCE | Delta-based verification of software product families. | Marco Scaletta, Reiner Hhnle, Dominic Steinhfel, Richard Bubel |
| 2020 | APLAS | REFINITY to Model and Prove Program Transformation Rules. | Dominic Steinhfel |
| 2020 | ISoLA | Safer Parallelization. | Reiner Hhnle, Asmae Heydari Tabar, Arya Mazaheri, Mohammad Norouzi, Dominic Steinhfel, Felix Wolf |
| 2020 | SP | Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules. | Dominic Steinhfel |
| 2019 | FM | Abstract Execution. | Dominic Steinhfel, Reiner Hhnle |
| 2019 | TAP | The Trace Modality. | Dominic Steinhfel, Reiner Hhnle |
| 2018 | ISoLA | Modular, Correct Compilation with Automatic Soundness Proofs. | Dominic Steinhfel, Reiner Hhnle |
| 2017 | IFM | A New Invariant Rule for the Analysis of Loops with Non-standard Control Flows. | Dominic Steinhfel, Nathan Wasser |