( en | de | ru )

 

Disambiguation of "Steinhöfel, Dominic"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying OpenJDK's Sort Method for Generic Collections.

, , , , , and . J. Autom. Reason., 62 (1): 93-126 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Grit Steinhöfel

Wolfgang Steinhöfel

Peter Steinhöfel

Michael Steinhöfel

Wolfgang Steinhöfel

 

Other publications of authors with the same name

Safer Parallelization., , , , , and . ISoLA (2), volume 12477 of Lecture Notes in Computer Science, page 117-137. Springer, (2020)Schematic Program Proofs with Abstract Execution., and . J. Autom. Reason., 68 (2): 7 (June 2024)Treating for-Loops as First-Class Citizens in Proofs., and . CoRR, (2020)Delta-based verification of software product families., , , and . GPCE, page 69-82. ACM, (2021)Technical Report: Using Loop Scopes with for-Loops., and . CoRR, (2019)The Trace Modality., and . DaLí, volume 12005 of Lecture Notes in Computer Science, page 124-140. Springer, (2019)Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules.. Denert Award, page 197-226. Springer, (2020)Input Invariants., and . Software Engineering, volume P-332 of LNI, page 113-114. Gesellschaft für Informatik e.V., (2023)Symbolic Execution: Foundations, Techniques, Applications, and Future Perspectives.. The Logic of Software. A Tasting Menu of Formal Methods, volume 13360 of Lecture Notes in Computer Science, page 446-480. Springer, (2022)Certified Abstract Cost Analysis., , , and . FASE, volume 12649 of Lecture Notes in Computer Science, page 24-45. Springer, (2021)