Haihua Shen

Orcid: 0000-0002-5061-257X

According to our database1, Haihua Shen authored at least 42 papers between 2004 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CloudFort: Enhancing Robustness of 3D Point Cloud Classification Against Backdoor Attacks via Spatial Partitioning and Ensemble Prediction.
CoRR, 2024

HWSim: Hardware Similarity Learning for Intellectual Property Piracy Detection.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2024

Orchestrating and Scheduling System for Workflows in Heterogeneous and Dynamic Environment.
Proceedings of the IEEE INFOCOM 2024, 2024

iEDA: An Open-source infrastructure of EDA.
Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023
Mapping Forage Biomass and Quality of the Inner Mongolia Grasslands by Combining Field Measurements and Sentinel-2 Observations.
Remote. Sens., April, 2023

iEDA: An Open-Source Intelligent Physical Implementation Toolkit and Library.
CoRR, 2023

BGNN-HT: Bidirectional Graph Neural Network for Hardware Trojan Cells Detection at Gate Level.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

HTrans: Transformer-Based Method for Hardware Trojan Detection and Localization.
Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2022
A Hardware Trojan Trigger Localization Method in RTL based on Control Flow Features.
Proceedings of the IEEE 31st Asian Test Symposium, 2022

2021
A Stealthy Hardware Trojan Design and Corresponding Detection Method.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

SeGa: A Trojan Detection Method Combined With Gate Semantics.
Proceedings of the 30th IEEE Asian Test Symposium, 2021

2019
A Few-Step and Low-Cost Memristor Logic Based on MIG Logic for Frequent-Off Instant-On Circuits in IoT Applications.
IEEE Trans. Circuits Syst. II Express Briefs, 2019

HTDet: A Clustering Method using Information Entropy for Hardware Trojan Detection.
CoRR, 2019

Adaptive Power Optimization for Mobile Traffic Based on Machine Learning.
Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

Energy Optimization of Online Tracker for Mobile Devices.
Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

GramsDet: Hardware Trojan Detection Based on Recurrent Neural Network.
Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018
LMDet: A "Naturalness" Statistical Method for Hardware Trojan Detection.
IEEE Trans. Very Large Scale Integr. Syst., 2018

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 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

2017
Wide-range tracking technique for process-variation-robust clock and data recovery applications.
Frontiers Inf. Technol. Electron. Eng., 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

2016
A 128 Kb HfO<sub>2</sub> ReRAM with Novel Double-Reference and Dynamic-Tracking scheme for write yield improvement.
IEICE Electron. Express, 2016

Extracting Actionability from Machine Learning Models by Sub-optimal Deterministic Planning.
CoRR, 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

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

2010
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

2009
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

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

2007
An Accurate Analysis of Microprocessor Design Verification.
Proceedings of the 16th Asian Test Symposium, 2007

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

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


  Loading...