| Verifying OpenJDK’s LinkedList using KeY HA Hiep, O Maathuis, J Bian, FS de Boer, M van Eekelen, S de Gouw International Conference on Tools and Algorithms for the Construction and …, 2020 | 19 | 2020 |
| History-Based Specification and Verification of Java Collections in KeY HA Hiep, J Bian, FS de Boer, S de Gouw International Conference on Integrated Formal Methods, 199-217, 2020 | 8 | 2020 |
| Integrating ADTs in KeY and their application to history-based reasoning J Bian, HA Hiep, FS de Boer, S de Gouw Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 6 | 2021 |
| A Tutorial on Verifying LinkedList Using KeY HA Hiep, J Bian, FS de Boer, S de Gouw Deductive Software Verification: Future Perspectives, 221-245, 2020 | 5 | 2020 |
| Verifying OpenJDK’s LinkedList using KeY (extended paper) HA Hiep, O Maathuis, J Bian, FS de Boer, S de Gouw International Journal on Software Tools for Technology Transfer 24 (5), 783-802, 2022 | 4 | 2022 |
| Completeness and complexity of reasoning about call-by-value in Hoare logic FS de Boer, HA Hiep ACM Transactions on Programming Languages and Systems (TOPLAS) 43 (4), 1-35, 2021 | 4 | 2021 |
| Dynamic separation logic FS de Boer, HA Hiep, S de Gouw Electronic Notes in Theoretical Informatics and Computer Science 3, 2023 | 2 | 2023 |
| Analysis and Formal Specification of OpenJDK’s BitSet AS Tatman, HA Hiep, S de Gouw International Conference on Integrated Formal Methods, 134-152, 2023 | 2 | 2023 |
| New Foundations for Separation Logic HA Hiep Leiden University, 2024 | 1 | 2024 |
| Can the Collatz conjecture be proven, or not? HA Hiep | 1 | 2023 |
| Integrating ADTs in KeY and their application to history-based reasoning about collection J Bian, HA Hiep, FS de Boer, S de Gouw Formal Methods in System Design, 1-27, 2023 | 1 | 2023 |
| Footprint Logic for Object-Oriented Components FS de Boer, S de Gouw, HA Hiep, J Bian Formal Aspects of Component Software: 18th International Conference, FACS …, 2022 | 1 | 2022 |
| Axiomatic Characterization of Trace Reachability for Concurrent Objects FS de Boer, HA Hiep International Conference on Integrated Formal Methods, 157-174, 2019 | 1 | 2019 |
| Reowolf: Synchronous Multi-party Communication over the Internet CA Esterhuyse, HA Hiep International Conference on Formal Aspects of Component Software, 235-242, 2019 | 1 | 2019 |
| BipVote: rural Mali voting system HA Hiep, R Overbeek, P Ulita W4RA student papers, 140, 2018 | 1 | 2018 |
| History-Based Reasoning About Behavioral Subtyping J Bian, HDA Hiep, FS de Boer International Colloquium on Theoretical Aspects of Computing, 331-349, 2024 | | 2024 |
| Analysis and Formal Specification of OpenJDK's BitSet: Proof files AS Tatman, HDA Hiep, S de Gouw Science of Computer Programming, 103232, 2024 | | 2024 |
| A sound and complete proof system for separation logic (part 1) HDA Hiep, FS de Boer | | 2024 |
| Footprint Logic for Object-Oriented Components (extended paper) F de Boer, S de Gouw, HD Hiep, J Bian Formal Aspects of Computing, 2024 | | 2024 |
| The Logic of Separation Logic: Models and Proofs FS de Boer, HA Hiep, S de Gouw International Conference on Automated Reasoning with Analytic Tableaux and …, 2023 | | 2023 |
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.在 cwi.nl 的电子邮件经过验证
