According to our database1, Zhenkun Yang authored at least 20 papers between 2007 and 2019.
Legend:Book In proceedings Article PhD thesis Other
A Novel Data-Driven Fault Classification Method and its Application to DC Motor.
Proceedings of the IEEE International Conference on Industrial Technology, 2019
End-to-End Concolic Testing for Hardware/Software Co-Validation.
Proceedings of the 15th IEEE International Conference on Embedded Software and Systems, 2019
Concolic testing of SystemC designs.
Proceedings of the 19th International Symposium on Quality Electronic Design, 2018
CRETE: A Versatile Binary-Level Concolic Testing Framework.
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Schedulability analysis of non-preemptive strictly periodic tasks in multi-core real-time systems.
Real-Time Systems, 2016
OpenRISC System-on-Chip Design Emulation.
Validating scheduling transformation for behavioral synthesis.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Generating high coverage tests for SystemC designs using symbolic execution.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
Automatic fault injection for driver robustness testing.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Validating direct memory access interfaces with conformance checking.
Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2014
Coverage evaluation of post-silicon validation tests with virtual prototypes.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Scalable Certification Framework for Behavioral Synthesis Front-End.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
A Scalable, Continuously Available Database System Based on Commodity Hardware.
Proceedings of the Web-Age Information Management, 2013
Equivalence checking for compiler transformations in behavioral synthesis.
Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013
Handling design and implementation optimizations in equivalence checking for behavioral synthesis.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Automated synthesis of passive analog filters using graph representation.
Expert Syst. Appl., 2010
Automatic Modeling of Complex Functions with Clonal Selection-Based Gene Expression Programming.
Proceedings of the Third International Conference on Natural Computation, 2007
Optimal Components Selection for Analog Active Filters Using Clonal Selection Algorithms.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2007
Automatic Synthesis of Practical Passive Filters Using Clonal Selection Principle-Based Gene Expression Programming.
Proceedings of the Evolvable Systems: From Biology to Hardware, 2007