Follow
Lei Fang
Lei Fang
CEO, ZetYun
Verified email at zetyun.com
Title
Cited by
Cited by
Year
Lad: Localization anomaly detection for wireless sensor networks
W Du, L Fang, P Ningi
19th IEEE International Parallel and Distributed Processing Symposium, 15 pp., 2005
3052005
A beacon-less location discovery scheme for wireless sensor networks
L Fang, W Du, P Ning
Secure localization and time synchronization for wireless sensor and ad hoc …, 2007
1912007
Guided test generation for isolation and detection of embedded Trojans in ICs
M Banga, M Chandrasekar, L Fang, MS Hsiao
Proceedings of the 18th ACM Great Lakes symposium on VLSI, 363-366, 2008
1222008
Bilateral testing of nano-scale fault-tolerant circuits
L Fang, MS Hsiao
Journal of Electronic Testing 24 (1), 285-296, 2008
312008
A new hybrid solution to boost SAT solver performance
L Fang, MS Hsiao
2007 Design, Automation & Test in Europe Conference & Exhibition, 1-6, 2007
282007
RTL test point insertion to reduce delay test volume
KJ Balakrishnan, L Fang
25th IEEE VLSI Test Symposium (VTS'07), 325-332, 2007
112007
Efficient power droop aware delay fault testing
B Li, L Fang, MS Hsiao
2007 IEEE International Test Conference, 1-10, 2007
92007
A fast approximation algorithm for MIN-ONE SAT
L Fang, MS Hsiao
Proceedings of the conference on Design, automation and test in Europe, 1087 …, 2008
82008
Key pre-distribution using sensor pre-deployment knowledge
W Du, L Fang, R Wang, S Chen
Downloaded from: web. syr. edu/~ rwang01/Research/WiSe03. pdf, 2003
82003
Boosting SAT solver performance via a new hybrid approach
L Fang, MS Hsiao
Journal on Satisfiability, Boolean Modeling and Computation 5 (1-4), 243-261, 2009
62009
A Fast Approximation Algorithm for MIN-ONE SAT and Its Application on MAX-SAT Solving
L Fang, MS Hsiao
Advanced Techniques in Logic Synthesis, Optimizations and Applications, 149-170, 2011
2011
Exploring Constraint Satisfiability Techniques in Formal Verification
L Fang
Virginia Tech, 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–12