We stand with Ukraine  

Xuan-Linh Ha

Orcid: 0000-0003-1916-6812

According to our database1, Xuan-Linh Ha authored at least 4 papers between 2013 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2013
2014
2015
2016
2017
2018
2019
2020
0
1
2
3
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
TracerX: Dynamic Symbolic Execution with Interpolation.
[BibTeX]
[DOI]
Joxan Jaffar
,
Rasool Maghareh
,
Sangharatna Godboley
,
Xuan-Linh Ha
CoRR, 2020

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).
[BibTeX]
[DOI]
Joxan Jaffar
,
Rasool Maghareh
,
Sangharatna Godboley
,
Xuan-Linh Ha
Proceedings of the Fundamental Approaches to Software Engineering, 2020

2017
Writing Concurrent Java Programs Based on CafeOBJ Specifications.
[BibTeX]
[DOI]
Xuan-Linh Ha
,
Kazuhiro Ogata
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2013
Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.
[BibTeX]
[DOI]
Xuan-Linh Ha
,
Thanh Tho Quan
,
Yang Liu
,
Jun Sun
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013


  Loading...