Hans-Dieter Hiep

Full Name

H.A. Hiep

Email

Hans-Dieter.Hiep@cwi.nl

Phone

+31 20 592 4146

Room

L332

Department(s)

Computer Security

Function(s)

PhD student

Homepage

http://www.hansdieterhiep.nl

Hans-Dieter Hiep

de Boer, F.S, Hiep, H.A, & de Gouw, C.P.T. (2023). The logic of separation logic: Models and proofs. In 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Models, TABLEAUX 2023 (pp. 407–426). doi:10.1007/978-3-031-43513-3_22
Bian, J, Hiep, H.A, de Boer, F.S, & de Gouw, C.P.T. (2023). Integrating ADTs in KeY and their application to history-based reasoning about collection. Formal Methods in System Design. doi:10.1007/s10703-023-00426-x
de Boer, F.S, de Gouw, C.P.T, Hiep, H.A, & Bian, J. (2022). Footprint logic for object-oriented components. In Proceedings of the 18th International Conference on Formal Aspects of Component Software, FACS 2022 (pp. 141–160). doi:10.1007/978-3-031-20872-0_9
Bian, J, Hiep, H.A, de Boer, F.S, & de Gouw, C.P.T. (2021). Integrating ADTs in KeY and their application to history-based reasoning. In Proceedings of the 24th International Symposium on Formal Methods, FM 2021 (pp. 255–272). doi:10.1007/978-3-030-90870-6_14
de Boer, F.S, & Hiep, H.A. (2021). Completeness and complexity of reasoning about call-by-value in Hoare logic. ACM Transactions on Programming Languages and Systems, 43(4), 17.1–17.35. doi:10.1145/3477143
Hiep, H.A, Bian, J, de Boer, F.S, & de Gouw, C.P.T. (2020). A Tutorial on Verifying LinkedList Using KeY. In Deductive Software Verification: Future Perspectives. doi:10.1007/978-3-030-64354-6_9
Hiep, H.A, Bian, J, de Boer, F.S, & de Gouw, C.P.T. (2020). History-based specification and verification of Java Collections in KeY. In Integrated Formal Methods (pp. 199–217). doi:10.1007/978-3-030-63461-2_11
de Boer, F.S, & Hiep, H.A. (2020). History-based specification and verification of Java collections in KeY (keynote). In FTfJP 2020 - Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, FTfJP 2020, co-located with ECOOP 2020/SPLASH 2020 (pp. 2–3). doi:10.1145/3427761.3432349
Hiep, H.A, Maathuis, O, Bian, J, de Boer, F.S, van Eekelen, M, & de Gouw, C.P.T. (2020). Verifying OpenJDK's LinkedList using KeY. In TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems (pp. 217–234). doi:10.1007/978-3-030-45237-7_13
de Boer, F.S, & Hiep, H.A. (2019). Axiomatic characterization of trace reachability for concurrent objects. In Proceedings of the 15th International Conference on integrated Formal Methods (pp. 157–174). doi:10.1007/978-3-030-34968-4_9