Hans-Dieter Hiep
Guest
- Name
- Dr. H.A. Hiep
- Telephone
- 071 5272727
- h.a.hiep@liacs.leidenuniv.nl
- ORCID iD
- 0000-0001-9677-6644
Guest
- Science
- Leiden Inst of Advanced Computer Science
- Hiep H.A. (23 May 2024), New Foundations for Separation Logic (Dissertatie. Leiden Institute of Advanced Computer Science (LIACS), Faculty of Science, Leiden University) IPA Dissertation Series no. 2024-04. Supervisor(s) and Co-supervisor(s): Boer F.S. de, Gouw C.P.T. de & Laarman A.W.
- Boer F.S. de, Hiep H.A. & Gouw C.P.T. de (2023), Dynamic separation logic, Electronic Notes in Theoretical Informatics and Computer Science 3: 12297.
- Boer F.S. de, Hiep H.A. & Gouw C.P.T. de (2023), The logic of separation logic: models and proofs. Ramanayake R. & Urban J. (Eds.), Automated reasoning with analytic tableaux and related methods. TABLEAUX 2023. 32nd International Conference, TABLEAUX 2023 18 September 2023 - 21 September 2023. Lecture Notes in Computer Science no. 14278. Cham: Springer. 407-426.
- Tatman A.S., Hiep H.A. & Gouw C.P.T. de (2023), Analysis and formal specification of OpenJDK’s BitSet. Herber P. & Wijs A. (Eds.), Integrated formal methods. iFM 2023. Integrated Formal Methods, iFM 2023 13 November 2023 - 15 November 2023. Lecture Notes in Computer Science no. 14300. Cham: Springer. 134-152.
- Boer F.S. de, Gouw C.P.T., Hiep H.A. & Bian J. (2022), Footprint logic for object-oriented components. Tapia Tarifa S.L. & Proença J. (Eds.), Formal aspects of component software. FACS 2022. Formal Aspects of Component Software. FACS 2022 10 November 2022 - 11 November 2022. Lecture Notes in Computer Science no. 13712. Cham: Springer. 141-160.
- Hiep H.A., Maathuis O., Bian J., Boer F.S. de & Gouw C.P.T. de (2022), Verifying OpenJDK’s LinkedList using KeY (extended paper), International Journal on Software Tools for Technology Transfer 24: 783-802.
- Bian J., Hiep H.A., Boer F.S. de & Gouw C.P.T. de (2022), Integrating ADTs in KeY and their application to history-based reasoning about collection, Formal Methods in System Design 61: 63-89.
- Bian J., Hiep H.A., Boer F.S. de & Gouw C.P.T. de (2021), Integrating ADTs in KeY and their application to history-based reasoning. Huisman M., Păsăreanu C. & Zhan N. (Eds.), Formal Methods. FM 2021. 24th International Symposium. Formal Methods. FM 2021 20 November 2021 - 26 November 2021. Lecture Notes in Computer Science no. 13047. Cham: Springer. 255-272.
- Boer F.S. de & Hiep H.A. (2021), Completeness and complexity of reasoning about call-by-value in Hoare logic, ACM Letters on Programming Languages and Systems 43(4): 17.
- Esterhuyse C.A. & Hiep H.A. (2020), Reowolf: synchronous multi-party communication over the internet. Arbab F. & Jongmans S.S. (Eds.), Formal Aspects of Component Software. FACS 2019. Formal Aspects of Component Software. FACS 2019 23 October 2019 - 25 October 2019. Lecture Notes in Computer Science no. 12018. Cham: Springer. 235-242.
- Hiep H.A., Bian J., Boer F.S. de & Gouw C.P.T. de (2020), A Tutorial on verifying LinkedList using KeY. In: Ahrendt W., Beckert B., Bubel R., Hähnle R. & Ulbrich M. (Eds.), Deductive software verification: future perspectives. Lecture Notes in Computer Science no. 12345. Cham: Springer. 221-245.
- Hiep H.A., Maathuis O., Bian J., Boer F.S. de, Gouw C.P.T. de & Eekelen M. van (2020), Verifying OpenJDK’s LinkedList using KeY. Biere A. & Parker D. (Eds.), Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. 26th International Conference, TACAS 2020 25 April 2020 - 30 April 2020. Lecture Notes in Computer Science no. 12079. Cham: Springer. 217-234.
- Hiep H.A., Bian J., Boer F.S. de & Gouw C.P.T. de (2020), History-based specification and verification of Java collections in KeY. Dongol B. & Troubitsyna E. (Eds.), Integrated Formal Methods. IFM 2020. 16th International Conference, Integrated Formal Methods. IFM 2020 16 November 2020 - 20 November 2020. Lecture Notes in Computer Science no. 12546. Cham: Springer. 199-217.
- Boer F.S. de & Hiep H.A. (2020), History-based specification and verification of Java collections in KeY (keynote), FTfJP '20: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs. SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity 23 July 2020 - 23 July 2020. New York: Association for Computing Machinery. 2-3.
- Esterhuyse C.A. & Hiep H.A. (2020), Reowolf 1.0: project documentation. Amsterdam: CWI.
- Boer F.S. de & Hiep H.A. (2019), Axiomatic characterization of trace reachability for concurrent objects. Ahrendt W. & Tapia Tarifa S. (Eds.), International Conference on Integrated Formal Methods. Integrated Formal Methods (iFM) 2 December 2019 - 6 December 2019. Lecture Notes in Computer Science no. 11918. Cham: Springer. 157-174.
- Secretaris