Reowolf: Synchronous Multi-party Communication over the Internet. - Christopher A. Esterhuyse; Hans-Dieter A. Hiep (FACS, 2019)

Axiomatic Characterization of Trace Reachability for Concurrent Objects. - Frank S. de Boer; Hans-Dieter A. Hiep (IFM, 2019)

History-based specification and verification of Java collections in KeY (keynote). - Frank S. de Boer; Hans-Dieter A. Hiep (FTfJP@ECOOP, 2020)

History-Based Specification and Verification of Java Collections in KeY. - Hans-Dieter A. Hiep; Jinting Bian; Frank S. de Boer; Stijn de Gouw (IFM, 2020)

Verifying OpenJDK's LinkedList using KeY. - Hans-Dieter A. Hiep; Olaf Maathuis; Jinting Bian; Frank S. de Boer; Marko C. J. D. van Eekelen; Stijn de Gouw (TACAS (2), 2020)

A Tutorial on Verifying LinkedList Using KeY. - Hans-Dieter A. Hiep; Jinting Bian; Frank S. de Boer; Stijn de Gouw (20 Years of KeY, 2020)

Integrating ADTs in KeY and Their Application to History-Based Reasoning. - Jinting Bian; Hans-Dieter A. Hiep; Frank S. de Boer; Stijn de Gouw (FM, 2021)

Completeness and Complexity of Reasoning about Call-by-Value in Hoare Logic. - Frank S. de Boer; Hans-Dieter A. Hiep (ACM Trans. Program. Lang. Syst., 2021)

Footprint Logic for Object-Oriented Components. - Frank S. de Boer; Stijn de Gouw; Hans-Dieter A. Hiep; Jinting Bian (FACS, 2022)

Verifying OpenJDK's LinkedList using KeY (extended paper). - Hans-Dieter A. Hiep; Olaf Maathuis; Jinting Bian; Frank S. de Boer; Stijn de Gouw (Int. J. Softw. Tools Technol. Transf., 2022)

Integrating ADTs in KeY and their application to history-based reasoning about collection. - Jinting Bian; Hans-Dieter A. Hiep; Frank S. de Boer; Stijn de Gouw (Formal Methods Syst. Des., 2022)

Analysis and Formal Specification of OpenJDK's BitSet. - Andy S. Tatman; Hans-Dieter A. Hiep; Stijn de Gouw (iFM, 2023)

The Logic of Separation Logic: Models and Proofs. - Frank S. de Boer; Hans-Dieter A. Hiep; Stijn de Gouw (TABLEAUX, 2023)

Dynamic Separation Logic. - Frank S. de Boer; Hans-Dieter A. Hiep; Stijn de Gouw (MFPS, 2023)