EmGen: An Automatic Test-Program Generation Tool for Embedded IP Cores. - Haihua Shen; Yunji Chen; Jing Huang (ICESS, 2004)

CRPG: a configurable random test-program generator for microprocessors. - Haihua Shen; Lin Ma; Heng Zhang (ISCAS (4), 2005)

An Accurate Analysis of Microprocessor Design Verification. - Haihua Shen; Heng Zhang (ATS, 2007)

Coverage Directed Test Generation: Godson Experience. - Haihua Shen; Wenli Wei; Yunji Chen; Bowen Chen; Qi Guo 001 (ATS, 2008)

Fast complete memory consistency verification. - Yunji Chen; Yi Lv; Weiwu Hu; Tianshi Chen 002; Haihua Shen; Pengyu Wang; Hong Pan (HPCA, 2009)

Designing an Effective Constraint Solver in Coverage Directed Test Generation. - Haihua Shen; Pengyu Wang; Yunji Chen; Qi Guo 001; Heng Zhang (ICESS, 2009)

Formula-Oriented Compositional Minimization in Model Checking. - Bowen Chen; Haihua Shen; Wenhui Zhang (Asian Test Symposium, 2010)

On-the-Fly Reduction of Stimuli for Functional Verification. - Qi Guo 001; Tianshi Chen 002; Haihua Shen; Yunji Chen; Weiwu Hu (Asian Test Symposium, 2010)

Estimating design quality of digital systems via machine learning. - Qi Guo 001; Tianshi Chen 002; Haihua Shen; Yunji Chen (ICECS, 2010)

Empirical design bugs prediction for verification. - Qi Guo 001; Tianshi Chen 002; Haihua Shen; Yunji Chen; Yue Wu; Weiwu Hu (DATE, 2011)

Relationship Privacy Protection for Mobile Social Network. - Zhihua Feng; Huazhe Tan; Haihua Shen (CBD, 2016)

Large scale experimental trial of 5G mobile communication systems - TDD massive MIMO with linear and non-linear precoding schemes. - Xin Wang 073; Xiaolin Hou; Huiling Jiang; Anass Benjebbour; Yuya Saito; Yoshihisa Kishiyama; Jing Qiu; Haihua Shen; Chen Tang; Tingjian Tian; Tsuyoshi Kashima (PIMRC, 2016)

Extracting Actionability from Machine Learning Models by Sub-optimal Deterministic Planning. - Qiang Lyu; Yixin Chen 001; Zhaorong Li; Zhicheng Cui; Ling Chen 005; Xing Zhang; Haihua Shen (CoRR, 2016)

A 128 Kb HfO2 ReRAM with Novel Double-Reference and Dynamic-Tracking scheme for write yield improvement. - Cheng-Ying Chen; Hongbin Sun 001; Haihua Shen; Feng Zhang 014 (IEICE Electron. Express, 2016)

An efficient parity rearrangement coding scheme for RRAM thermal crosstalk effects. - Yun Li; Haihua Shen; Ce Li; Feng Zhang 014 (ASICON, 2017)

HTChecker: Detecting hardware trojans based on static characteristics. - Haihua Shen; Yuehui Zhao (ISCAS, 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 003; Bojie Li; Wenhui Wang; Jie Sheng; Yuchao Han; Haihua Shen; Liang Gu; Yuya Saito; Anass Benjebbour; Yoshihisa Kishiyama; Xin Wang 073; et al. (PIMRC, 2017)

Field Trial Investigation of Wired and Wireless Calibration Schemes for Real-Time Massive MIMO Prototype. - Wenliang Liang; Yuanquan Wang 003; Keyu Song; Bojie Li; Wenhui Wang; Xiao Wang; Haihua Shen; Shenfei Zhang; Dong Han; Liang Gu; Yuuya Saito; Anass Benjebbour; et al. (VTC Fall, 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 014 (Frontiers Inf. Technol. Electron. Eng., 2017)

Hardware Trojan Detection Based on Signal Correlation. - Wei Zhao; Haihua Shen; Huawei Li 001; Xiaowei Li 001 (ATS, 2018)

Adaptive user interface optimization for multi-screen based on machine learning. - Hua-Zhe Tan; Wei Zhao; Haihua Shen (CSCWD, 2018)

A Context-Perceptual Privacy Protection Approach on Android Devices. - Hua-Zhe Tan; Wei Zhao; Haihua Shen (ICC, 2018)

The application of non-volatile look-up-table operations based on multilevel-cell of resistance switching random access memory. - Feng Zhang 014; Dongyu Fan; Qi-Peng Lin; Qiang Huo; Yun Li; Lan Dai; Cheng-Ying Chen; Haihua Shen (VLSI-DAT, 2018)

Achieving data-driven actionability by combining learning and planning. - Qiang Lv; Yixin Chen 001; Zhaorong Li; Zhicheng Cui; Ling Chen 005; Xing Zhang; Haihua Shen (Frontiers Comput. Sci., 2018)

On Trace Buffer Reuse-Based Trigger Generation in Post-Silicon Debug. - Yun Cheng; Huawei Li 001; Ying Wang 001; Haihua Shen; Bo Liu 018; Xiaowei Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

LMDet: A "Naturalness" Statistical Method for Hardware Trojan Detection. - Haihua Shen; Huazhe Tan; Huawei Li 001; Feng Zhang 014; Xiaowei Li 001 (IEEE Trans. Very Large Scale Integr. Syst., 2018)

GramsDet: Hardware Trojan Detection Based on Recurrent Neural Network. - Renjie Lu; Haihua Shen; Yu Su; Huawei Li 001; Xiaowei Li 001 (ATS, 2019)

Energy Optimization of Online Tracker for Mobile Devices. - Wei Zhao; Renjie Lu; Zhenyu Cui; Haihua Shen (CSCWD, 2019)

Adaptive Power Optimization for Mobile Traffic Based on Machine Learning. - Wei Zhao; Haihua Shen; Feng Zhang 014; Huazhe Tan (CSCWD, 2019)

HTDet: A Clustering Method using Information Entropy for Hardware Trojan Detection. - Renjie Lu; Haihua Shen; Feng Zhang 014; Huawei Li 001; Wei Zhao; Xiaowei Li 001 (CoRR, 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 003; Ling Li 013; Qi Liu 010; Feng Zhang 014; Xinghua Wang; Meng-Fan Chang; Ming Liu 022 (IEEE Trans. Circuits Syst. II Express Briefs, 2019)

SeGa: A Trojan Detection Method Combined With Gate Semantics. - Yunying Ye; Shan Li; Haihua Shen; Huawei Li 001; Xiaowei Li 001 (ATS, 2021)

A Stealthy Hardware Trojan Design and Corresponding Detection Method. - Yu Su; Haihua Shen; Renjie Lu; Yunying Ye (ISCAS, 2021)

A Hardware Trojan Trigger Localization Method in RTL based on Control Flow Features. - Hao Huang; Haihua Shen; Shan Li; Huawei Li 001 (ATS, 2022)

HTrans: Transformer-Based Method for Hardware Trojan Detection and Localization. - Yilin Li; Shan Li; Haihua Shen (ATS, 2023)

BGNN-HT: Bidirectional Graph Neural Network for Hardware Trojan Cells Detection at Gate Level. - Peiheng Zhan; Haihua Shen; Shan Li; Huawei Li 001 (ISCAS, 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 009; Chunan Zhuang; Hongxi Wu; Weiguo Li; Xueyan Zhao; He Liu; et al. (CoRR, 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 003; Haihua Shen; Jingyun Fang (Remote. Sens., 2023)

iEDA: An Open-source infrastructure of EDA. - Xingquan Li; Zengrong Huang; Simin Tao; Zhipeng Huang 009; Chunan Zhuang; Hao Wang; Yifan Li; Yihang Qiu; Guojie Luo; Huawei Li 001; Haihua Shen; Mingyu Chen 001; et al. (ASPDAC, 2024)

Orchestrating and Scheduling System for Workflows in Heterogeneous and Dynamic Environment. - Wenliang Liang; Hao Lin; Haihua Shen; Enbo Wang (INFOCOM (Workshops), 2024)

HWSim: Hardware Similarity Learning for Intellectual Property Piracy Detection. - Zirui Jiang; Xiao Ji; Yiran He; Haihua Shen (ISCAS, 2024)

CloudFort: Enhancing Robustness of 3D Point Cloud Classification Against Backdoor Attacks via Spatial Partitioning and Ensemble Prediction. - Wenhao Lan; Yijun Yang; Haihua Shen; Shan Li (CoRR, 2024)

GNN4HHR: A GNN Based Model for Hybrid Hardware Representation. - Xiao Ji; Yiran He; Zirui Jiang; Haihua Shen (ISCAS, 2025)

Oxpecker: Leaking Secrets via Fetch Target Queue. - Shan Li; Zheliang Xu; Haihua Shen; Huawei Li 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)