Xuan-Linh Ha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2013–2020
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FASE | TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution). | Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha |
| 2017 | APSEC | Writing Concurrent Java Programs Based on CafeOBJ Specifications. | Xuan-Linh Ha, Kazuhiro Ogata |
| 2013 | APSEC | Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions. | Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun |