Hans-Dieter A. Hiep

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 14

Top Topics

Object Oriented Programs

Axiomatic Characterization

Data Collections

Formal Specification

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
The Logic of Separation Logic: Models and Proofs. TABLEAUX (2023)
Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw
Dynamic Separation Logic. CoRR (2023)
Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw
Analysis and Formal Specification of OpenJDK's BitSet. iFM (2023)
Frank S. de Boer, Stijn de Gouw, Hans-Dieter A. Hiep, Jinting Bian
Footprint Logic for Object-Oriented Components. FACS (2022)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY (extended paper). Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods Syst. Des. 61 (1) (2022)
Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw
Integrating ADTs in KeY and Their Application to History-Based Reasoning. FM (2021)
Frank S. de Boer, Hans-Dieter A. Hiep
Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. ACM Trans. Program. Lang. Syst. 43 (4) (2021)
Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw
History-Based Specification and Verification of Java Collections in KeY. IFM (2020)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. TACAS (2) (2020)
Frank S. de Boer, Hans-Dieter A. Hiep
History-based specification and verification of Java collections in KeY (keynote). FTfJP@ECOOP (2020)
Frank S. de Boer, Hans-Dieter A. Hiep
Axiomatic Characterization of Trace Reachability for Concurrent Objects. IFM (2019)
Hans-Dieter A. Hiep, Olaf Maathuis, Jinting Bian, Frank S. de Boer, Marko C. J. D. van Eekelen, Stijn de Gouw
Verifying OpenJDK's LinkedList using KeY. CoRR (2019)
Christopher A. Esterhuyse, Hans-Dieter A. Hiep
Reowolf: Synchronous Multi-party Communication over the Internet. FACS (2019)