Follow
Zhenkun Yang
Title
Cited by
Cited by
Year
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
602016
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
362007
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
342015
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
242010
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
242007
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
222018
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
182016
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
172014
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
152018
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
142013
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
122014
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
122014
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
112013
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
102020
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
102019
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
102007
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
82021
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
82020
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
52016
Hardware/Software Co-monitoring
L Lei, K Cong, Z Yang, B Chen, F Xie
arXiv preprint arXiv:1905.03915, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20