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)

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)

History-Based Reasoning About Behavioral Subtyping. - Jinting Bian; Hans-Dieter A. Hiep; Frank S. de Boer (ICTAC, 2024)

Footprint Logic for Object-Oriented Components (extended paper). - Frank S. de Boer; Stijn de Gouw; Hans-Dieter A. Hiep; Jinting Bian (Formal Aspects Comput., 2025)