Statistics
Publications
5
Citations
160
H-Index
5
Active since
2002
Affiliations
Ziqing Luo is an author at Durham University specializing in computing, computer science, and concurrent program verification.
Publications per year
2002–2017
5
5
Stephen F. Siegel, Manchun Zheng, Ziqing Luo et al. · 2015 · 76 citations · Full text
CIVL: Formal Verification of Parallel Programs
Manchun Zheng, Michael S. Rogers, Ziqing Luo et al. · 2015 · 28 citations
Bylands: reverse engineering safety-critical systems
Tim Bull, Eddy Younger, Keith Bennett et al. · 2002 · 23 citations
Verification of MPI programs using CIVL
Ziqing Luo, Manchun Zheng, Stephen F. Siegel · 2017 · 21 citations
Reverse engineering concurrent programs using formal modelling and analysis
Eddy Younger, Ziqing Luo, Keith Bennett et al. · 2002 · 12 citations
1–5 of 5