Zhenkun Yang

According to our database1, Zhenkun Yang authored at least 20 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Hardware/Software Co-monitoring.
CoRR, 2019

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.
CoRR, 2016

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