Haihua Shen

According to our database, Haihua Shen authored at least 38 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mapping Forage Biomass and Quality of the Inner Mongolia Grasslands by Combining Field Measurements and Sentinel-2 Observations.

Xia Zhao, Bo Wu, Jinxin Xue, Yue Shi, Mengying Zhao, Xiaoqing Geng, Zhengbing Yan, Haihua Shen, Jingyun Fang

Remote. Sens., April, 2023

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

Xingquan Li, Simin Tao, Zengrong Huang, Shijian Chen, Zhisheng Zeng, Liwei Ni, Zhipeng Huang, Chunan Zhuang, Hongxi Wu, Weiguo Li, Xueyan Zhao, He Liu, Shuaiying Long, Wei He, Bojun Liu, Sifeng Gan, Zihao Yu, Tong Liu, Yuchi Miao, Zhiyuan Yan, Hao Wang, Jie Zhao, Yifan Li, Ruizhi Liu, Xiaoze Lin, Bo Yang, Zhen Xue, Fuxing Huang, Zonglin Yang, Zhenggang Wu, Jiangkao Li, Yuezuo Liu, Ming Peng, Yihang Qiu, Wenrui Wu, Zheqing Shao, Kai Mo, Jikang Liu, Yuyao Liang, Mingzhe Zhang, Zhuang Ma, Xiang Cong, Daxiang Huang, Guojie Luo, Huawei Li, Haihua Shen, Mingyu Chen, Dongbo Bu, Wenxing Zhu, Ye Cai, Xiaoming Xiong, Ying Jiang, Yi Heng, Peng Zhang, Biwei Xie, Yungang Bao

CoRR, 2023

BGNN-HT: Bidirectional Graph Neural Network for Hardware Trojan Cells Detection at Gate Level.

Peiheng Zhan, Haihua Shen, Shan Li, Huawei Li

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

HTrans: Transformer-Based Method for Hardware Trojan Detection and Localization.

Yilin Li, Shan Li, Haihua Shen

Proceedings of the 32nd IEEE Asian Test Symposium, 2023

2022

A Hardware Trojan Trigger Localization Method in RTL based on Control Flow Features.

Hao Huang, Haihua Shen, Shan Li, Huawei Li

Proceedings of the IEEE 31st Asian Test Symposium, 2022

2021

A Stealthy Hardware Trojan Design and Corresponding Detection Method.

Yu Su, Haihua Shen, Renjie Lu, Yunying Ye

Proceedings of the IEEE International Symposium on Circuits and Systems, 2021

SeGa: A Trojan Detection Method Combined With Gate Semantics.

Yunying Ye, Shan Li, Haihua Shen, Huawei Li, Xiaowei Li

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.

Yiming Wang, Yun Li, Haihua Shen, Dongyu Fan, Wei Wang, Ling Li, Qi Liu, Feng Zhang, Xinghua Wang, Meng-Fan Chang, Ming Liu

IEEE Trans. Circuits Syst. II Express Briefs, 2019

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

Renjie Lu, Haihua Shen, Feng Zhang, Huawei Li, Wei Zhao, Xiaowei Li

CoRR, 2019

Adaptive Power Optimization for Mobile Traffic Based on Machine Learning.

Wei Zhao, Haihua Shen, Feng Zhang, Huazhe Tan

Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

Energy Optimization of Online Tracker for Mobile Devices.

Wei Zhao, Renjie Lu, Zhenyu Cui, Haihua Shen

Proceedings of the 23rd IEEE International Conference on Computer Supported Cooperative Work in Design, 2019

GramsDet: Hardware Trojan Detection Based on Recurrent Neural Network.

Renjie Lu, Haihua Shen, Yu Su, Huawei Li, Xiaowei Li

Proceedings of the 28th IEEE Asian Test Symposium, 2019

2018

LMDet: A "Naturalness" Statistical Method for Hardware Trojan Detection.

Haihua Shen, Huazhe Tan, Huawei Li, Feng Zhang, Xiaowei Li

IEEE Trans. Very Large Scale Integr. Syst., 2018

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug.

Yun Cheng, Huawei Li, Ying Wang, Haihua Shen, Bo Liu, Xiaowei Li

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Achieving data-driven actionability by combining learning and planning.

Qiang Lv, Yixin Chen, Zhaorong Li, Zhicheng Cui, Ling Chen, Xing Zhang, Haihua Shen

Frontiers Comput. Sci., 2018

The application of non-volatile look-up-table operations based on multilevel-cell of resistance switching random access memory.

Feng Zhang, Dongyu Fan, Qi-Peng Lin, Qiang Huo, Yun Li, Lan Dai, Cheng-Ying Chen, Haihua Shen

Proceedings of the 2018 International Symposium on VLSI Design, 2018

A Context-Perceptual Privacy Protection Approach on Android Devices.

Hua-Zhe Tan, Wei Zhao, Haihua Shen

Proceedings of the 2018 IEEE International Conference on Communications, 2018

Adaptive user interface optimization for multi-screen based on machine learning.

Hua-Zhe Tan, Wei Zhao, Haihua Shen

Proceedings of the 22nd IEEE International Conference on Computer Supported Cooperative Work in Design, 2018

Hardware Trojan Detection Based on Signal Correlation.

Wei Zhao, Haihua Shen, Huawei Li, Xiaowei Li

Proceedings of the 27th IEEE Asian Test Symposium, 2018

2017

Wide-range tracking technique for process-variation-robust clock and data recovery applications.

Junsheng Lv, You Li, Yumei Zhou, Jianzhong Zhao, Haihua Shen, Feng Zhang

Frontiers Inf. Technol. Electron. Eng., 2017

Field Trial Investigation of Wired and Wireless Calibration Schemes for Real-Time Massive MIMO Prototype.

Wenliang Liang, Yuanquan Wang, Keyu Song, Bojie Li, Wenhui Wang, Xiao Wang, Haihua Shen, Shenfei Zhang, Dong Han, Liang Gu, Yuuya Saito, Anass Benjebbour, Yoshihisa Kishiyama

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.

Wenliang Liang, Yuanquan Wang, Bojie Li, Wenhui Wang, Jie Sheng, Yuchao Han, Haihua Shen, Liang Gu, Yuya Saito, Anass Benjebbour, Yoshihisa Kishiyama, Xin Wang, Xiaolin Hou, Huiling Jiang

Proceedings of the 28th IEEE Annual International Symposium on Personal, 2017

HTChecker: Detecting hardware trojans based on static characteristics.

Haihua Shen, Yuehui Zhao

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

An efficient parity rearrangement coding scheme for RRAM thermal crosstalk effects.

Yun Li, Haihua Shen, Ce Li, Feng Zhang

Proceedings of the 12th IEEE International Conference on ASIC, 2017

2016

A 128 Kb HfO₂ ReRAM with Novel Double-Reference and Dynamic-Tracking scheme for write yield improvement.

Cheng-Ying Chen, Hongbin Sun, Haihua Shen, Feng Zhang

IEICE Electron. Express, 2016

Extracting Actionability from Machine Learning Models by Sub-optimal Deterministic Planning.

Qiang Lyu, Yixin Chen, Zhaorong Li, Zhicheng Cui, Ling Chen, Xing Zhang, Haihua Shen

CoRR, 2016

Large scale experimental trial of 5G mobile communication systems - TDD massive MIMO with linear and non-linear precoding schemes.

Xin Wang, Xiaolin Hou, Huiling Jiang, Anass Benjebbour, Yuya Saito, Yoshihisa Kishiyama, Jing Qiu, Haihua Shen, Chen Tang, Tingjian Tian, Tsuyoshi Kashima

Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

Relationship Privacy Protection for Mobile Social Network.

Zhihua Feng, Huazhe Tan, Haihua Shen

Proceedings of the International Conference on Advanced Cloud and Big Data, 2016

2011

Empirical design bugs prediction for verification.

Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Yue Wu, Weiwu Hu

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Estimating design quality of digital systems via machine learning.

Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen

Proceedings of the 17th IEEE International Conference on Electronics, 2010

On-the-Fly Reduction of Stimuli for Functional Verification.

Qi Guo, Tianshi Chen, Haihua Shen, Yunji Chen, Weiwu Hu

Proceedings of the 19th IEEE Asian Test Symposium, 2010

Formula-Oriented Compositional Minimization in Model Checking.

Bowen Chen, Haihua Shen, Wenhui Zhang

Proceedings of the 19th IEEE Asian Test Symposium, 2010

2009

Designing an Effective Constraint Solver in Coverage Directed Test Generation.

Haihua Shen, Pengyu Wang, Yunji Chen, Qi Guo, Heng Zhang

Proceedings of the International Conference on Embedded Software and Systems, 2009

Fast complete memory consistency verification.

Yunji Chen, Yi Lv, Weiwu Hu, Tianshi Chen, Haihua Shen, Pengyu Wang, Hong Pan

Proceedings of the 15th International Conference on High-Performance Computer Architecture (HPCA-15 2009), 2009

2008

Coverage Directed Test Generation: Godson Experience.

Haihua Shen, Wenli Wei, Yunji Chen, Bowen Chen, Qi Guo

Proceedings of the 17th IEEE Asian Test Symposium, 2008

2007

An Accurate Analysis of Microprocessor Design Verification.

Haihua Shen, Heng Zhang

Proceedings of the 16th Asian Test Symposium, 2007

2005

CRPG: a configurable random test-program generator for microprocessors.

Haihua Shen, Lin Ma, Heng Zhang

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2005), 2005

2004

EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores.

Haihua Shen, Yunji Chen, Jing Huang

Proceedings of the Embedded Software and Systems, First International Conference, 2004