Statistics
Publications
3
Citations
1K
H-Index
3
Active since
2000
Affiliations
Yuan Lu is an author at Carnegie Mellon University specializing in computer science, computer engineering, and model checking.
Publications per year
2000–2005
3
3
Counterexample-guided abstraction refinement for symbolic model checking
Edmund M. Clarke, Orna Grümberg, Somesh Jha et al. · Journal of the ACM · 2003 · 991 citations
Efficient variable ordering using aBDD based sampling
Yuan Lu, Jawahar Jain, Edmund M. Clarke et al. · 2000 · 10 citations · Full text
1–3 of 3