Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. - Xuan-Linh Ha; Thanh Tho Quan; Yang Liu 003; Jun Sun 001 (APSEC (1), 2013)

Writing Concurrent Java Programs Based on CafeOBJ Specifications. - Xuan-Linh Ha; Kazuhiro Ogata 001 (APSEC, 2017)

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (FASE, 2020)

TracerX: Dynamic Symbolic Execution with Interpolation. - Joxan Jaffar; Rasool Maghareh; Sangharatna Godboley; Xuan-Linh Ha (CoRR, 2020)