Xuan-Linh Ha

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 3

Top Topics

Linear Time Temporal Logic

Symbolic Execution

Top Venues

Publications

Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). FASE (2020)
Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha
TracerX: Dynamic Symbolic Execution with Interpolation. CoRR (2020)
Xuan-Linh Ha, Kazuhiro Ogata
Writing Concurrent Java Programs Based on CafeOBJ Specifications. APSEC (2017)
Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. APSEC (1) (2013)