| 2025 | Coordination | Formal Foundations for Reowolf: Multi-party Sessions via Synchronous Protocol Programming. | Christopher A. Esterhuyse, Benjamin Lion, Hans-Dieter A. Hiep, Farhad Arbab |
| 2024 | ICTAC | History-Based Reasoning About Behavioral Subtyping. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer |
| 2023 | IFM | Analysis and Formal Specification of OpenJDK's BitSet. | Andy S. Tatman, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2023 | TABLEAUX | The Logic of Separation Logic: Models and Proofs. | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
| 2021 | FM | Integrating ADTs in KeY and Their Application to History-Based Reasoning. | Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw |
| 2020 | ECOOP | History-based specification and verification of Java collections in KeY (keynote). | Frank S. de Boer, Hans-Dieter A. Hiep |
| 2020 | IFM | History-Based Specification and Verification of Java Collections in KeY. | Hans-Dieter A. Hiep, Jinting Bian, Frank S. de Boer, Stijn de Gouw |
| 2020 | TACAS | 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 |
| 2019 | IFM | Axiomatic Characterization of Trace Reachability for Concurrent Objects. | Frank S. de Boer, Hans-Dieter A. Hiep |