| Post-silicon fault localisation using maximum satisfiability and backbones CS Zhu, G Weissenbacher, S Malik 2011 Formal Methods in Computer-Aided Design (FMCAD), 63-66, 2011 | 72 | 2011 |
| SAT-based techniques for determining backbones for post-silicon fault localisation CS Zhu, G Weissenbacher, D Sethi, S Malik 2011 IEEE International High Level Design Validation and Test Workshop, 84-91, 2011 | 45 | 2011 |
| Silicon fault diagnosis using sequence interpolation with backbones CS Zhu, G Weissenbacher, S Malik 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 348-355, 2014 | 14 | 2014 |
| Optimizing dynamic trace signal selection using machine learning and linear programming CS Zhu, S Malik 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2015 | 4 | 2015 |
| Coverage-based trace signal selection for fault localisation in post-silicon validation CS Zhu, G Weissenbacher, S Malik Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 4 | 2013 |
| Dialog simulation with realistic variations for training goal-oriented conversational systems CW Lin, V Auvray, D Elkind, A Biswas, M Fazel-Zarandi, N Belgamwar, ... arXiv preprint arXiv:2011.08243, 2020 | 3 | 2020 |
| Advances in Fault Diagnosis Automation for Silicon Prototypes CS Zhu Princeton University, 2016 | | 2016 |
| An Intelligent Robot Based on Sound Source Localization and Ultrasound Distance Detection Z WANG, S ZHU, W ZHUO, L ZHU | | |
