| Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems J Chen, C Du, F Xie, Z Yang Real-Time Systems 52, 239-271, 2016 | 61 | 2016 |
| Automatic fault injection for driver robustness testing K Cong, L Lei, Z Yang, F Xie Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 38 | 2015 |
| Optimal components selection for analog active filters using clonal selection algorithms M Jiang, Z Yang, Z Gan Advanced Intelligent Computing Theories and Applications. With Aspects of …, 2007 | 38 | 2007 |
| CRETE: A versatile binary-level concolic testing framework B Chen, C Havlicek, Z Yang, K Cong, R Kannavara, F Xie International Conference on Fundamental Approaches to Software Engineering …, 2018 | 26 | 2018 |
| Automatic modeling of complex functions with clonal selection-based gene expression programming Z Gan, Z Yang, G Li, M Jiang Third International Conference on Natural Computation (ICNC 2007) 4, 228-232, 2007 | 25 | 2007 |
| Automated synthesis of passive analog filters using graph representation Z Gan, Z Yang, T Shang, T Yu, M Jiang Expert Systems With Applications 37 (3), 1887-1898, 2010 | 23 | 2010 |
| Concolic testing of SystemC designs B Lin, K Cong, Z Yang, Z Liao, T Zhan, C Havlicek, F Xie 2018 19th International Symposium on Quality Electronic Design (ISQED), 1-7, 2018 | 19 | 2018 |
| Generating high coverage tests for SystemC designs using symbolic execution B Lin, Z Yang, K Cong, F Xie 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC), 166-171, 2016 | 19 | 2016 |
| Validating direct memory access interfaces with conformance checking L Lei, K Cong, Z Yang, F Xie 2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 9-16, 2014 | 17 | 2014 |
| Handling design and implementation optimizations in equivalence checking for behavioral synthesis Z Yang, K Hao, S Ray, F Xie 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC), 1-6, 2013 | 15 | 2013 |
| Scalable certification framework for behavioral synthesis front-end Z Yang, K Hao, K Cong, L Lei, S Ray, F Xie Proceedings of the 51st Annual Design Automation Conference, 1-6, 2014 | 13 | 2014 |
| Equivalence checking for compiler transformations in behavioral synthesis Z Yang, K Hao, K Cong, S Ray, F Xie 2013 IEEE 31st International Conference on Computer Design (ICCD), 491-494, 2013 | 13 | 2013 |
| End-to-End Concolic Testing for Hardware/Software Co-Validation B Chen, K Cong, Z Yang, Q Wang, J Wang, L Lei, F Xie 2019 IEEE International Conference on Embedded Software and Systems (ICESS), 1-8, 2019 | 12 | 2019 |
| Coverage evaluation of post-silicon validation tests with virtual prototypes K Cong, L Lei, Z Yang, F Xie 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2014 | 12 | 2014 |
| A Highly Configurable Hardware/Software Stack for DNN Inference Acceleration S Banerjee, S Burns, P Cocchini, A Davare, S Jain, D Kirkpatrick, ... arXiv preprint arXiv:2111.15024, 2021 | 11 | 2021 |
| UEFI Firmware Fuzzing with Simics Virtual Platform Z Yang, Y Viktorov, J Yang, J Yao, V Zimmer 2020 57th ACM/IEEE Design Automation Conference (DAC), 1-6, 2020 | 10 | 2020 |
| Automated Bug Detection and Replay for COTS Linux Kernel Modules with Concolic Execution B Chen, Z Yang, L Lei, K Cong, F Xie 2020 IEEE 27th International Conference on Software Analysis, Evolution and …, 2020 | 10 | 2020 |
| Automatic synthesis of practical passive filters using clonal selection principle-based gene expression programming Z Gan, Z Yang, G Li, M Jiang International Conference on Evolvable Systems, 89-99, 2007 | 10 | 2007 |
| Validating scheduling transformation for behavioral synthesis Z Yang, K Hao, K Cong, L Lei, S Ray, F Xie 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2016 | 6 | 2016 |
| Accelerator design with decoupled hardware customizations: benefits and challenges D Pal, YH Lai, S Xiang, N Zhang, H Chen, J Casas, P Cocchini, Z Yang, ... Proceedings of the 59th ACM/IEEE Design Automation Conference, 1351-1354, 2022 | 5 | 2022 |
Fei XieDepartment of Computer Science, Portland State University在 cs.pdx.edu 的电子邮件经过验证
