Haihua Shen

According to our database1, Haihua Shen authored at least 24 papers between 2004 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 


On csauthors.net:


LMDet: A "Naturalness" Statistical Method for Hardware Trojan Detection.
IEEE Trans. VLSI Syst., 2018

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Achieving data-driven actionability by combining learning and planning.
Frontiers Comput. Sci., 2018

The application of non-volatile look-up-table operations based on multilevel-cell of resistance switching random access memory.
Proceedings of the 2018 International Symposium on VLSI Design, 2018

A Context-Perceptual Privacy Protection Approach on Android Devices.
Proceedings of the 2018 IEEE International Conference on Communications, 2018

Adaptive user interface optimization for multi-screen based on machine learning.
Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018

Hardware Trojan Detection Based on Signal Correlation.
Proceedings of the 27th IEEE Asian Test Symposium, 2018

Wide-range tracking technique for process-variation-robust clock and data recovery applications.
Frontiers of IT & EE, 2017

Field Trial Investigation of Wired and Wireless Calibration Schemes for Real-Time Massive MIMO Prototype.
Proceedings of the 86th IEEE Vehicular Technology Conference, 2017

Ultra-high-throughput massive MIMO field-trial over radio computing architecture with peak spectrum efficiency of 79.82 bps/Hz.
Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

HTChecker: Detecting hardware trojans based on static characteristics.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

An efficient parity rearrangement coding scheme for RRAM thermal crosstalk effects.
Proceedings of the 12th IEEE International Conference on ASIC, 2017

A 128 Kb HfO2 ReRAM with Novel Double-Reference and Dynamic-Tracking scheme for write yield improvement.
IEICE Electronic Express, 2016

Large scale experimental trial of 5G mobile communication systems - TDD massive MIMO with linear and non-linear precoding schemes.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

Relationship Privacy Protection for Mobile Social Network.
Proceedings of the International Conference on Advanced Cloud and Big Data, 2016

Empirical design bugs prediction for verification.
Proceedings of the Design, Automation and Test in Europe, 2011

Estimating design quality of digital systems via machine learning.
Proceedings of the 17th IEEE International Conference on Electronics, 2010

On-the-Fly Reduction of Stimuli for Functional Verification.
Proceedings of the 19th IEEE Asian Test Symposium, 2010

Formula-Oriented Compositional Minimization in Model Checking.
Proceedings of the 19th IEEE Asian Test Symposium, 2010

Designing an Effective Constraint Solver in Coverage Directed Test Generation.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Fast complete memory consistency verification.
Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

Coverage Directed Test Generation: Godson Experience.
Proceedings of the 17th IEEE Asian Test Symposium, 2008

CRPG: a configurable random test-program generator for microprocessors.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores.
Proceedings of the Embedded Software and Systems, First International Conference, 2004