Hans-Dieter A. Hiep

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

New Foundations for Separation Logic

Hans-Dieter A. Hiep (2024)

Dynamic Separation Logic

Frank S. de Boer et al. (2023) · 39th Conference on the Mathematical Foundations of Programming Semantics (MFPS)

Verifying OpenJDK's LinkedList using KeY (extended paper)

Hans-Dieter A. Hiep et al. (2022) · International Journal on Software Tools for Technology Transfer

Integrating ADTs in KeY and their Application to History-based Reasoning

Jinting Bian et al. (2021) · 24th International Symposium on Formal Methods (FM)

History-Based Specification and Verification of Java Collections in KeY

Hans-Dieter A. Hiep et al. (2020) · Integrated Formal Methods