Guangyu Hu

29 papers A* 3B 1C 3Journal 15Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking.
CoRR
Guangyu Hu, Chen Chen, Xiaofeng Zhou, Jiaxi Zhang, Wei Zhang, Hongce Zhang
2026 A* conf
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning.
AAAI
Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang
2026 — conf
EvolveGen : Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning.
TACAS (2)
Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang
2026 J jnl
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning.
CoRR
Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang
2026 J jnl
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking.
CoRR
Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang
2026 J jnl
MRHormer: A multi-scale heterogeneous graph transformer for inductive herb-target interaction prediction.
Knowl. Based Syst.
Yingpei Wu, Xiangrun Meng, Jialin Wang, Yanchun Zhang, Minjia Guan, Guangyu Hu, Zhanming Wan
2026 J jnl
SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction.
CoRR
Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan
2025 J jnl
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning.
CoRR
Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang
2025 A* conf
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.
DAC
Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2025 J jnl
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.
CoRR
Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2025 C conf
Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States.
ICCD
Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu
2025 — conf
Interactive Design of Plant Cultivation Based on an App Platform: Application Research of Virtual IP Characters and Affective Computing.
HCI (85)
Guangyu Hu, Yang Cao, Yihang Dai
2025 J jnl
SMT-Sweep: Word-Level Representation Unification for Hardware Verification.
CoRR
Ziyi Yang, Guangyu Hu, Mingkai Miao, Changyuan Yu, Hongce Zhang
2024 J jnl
Authentication for Satellite Internet Resource Slicing Access Based on Trust Measurement.
IEEE Internet Things J.
Chao Guo, Guangyu Hu, Chenglei Pan, Fenghua Li, Haitao Xu, Zhu Han
2024 B conf
DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction.
ASPDAC
Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang
2024 A* conf
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis.
DAC
Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2024 J jnl
E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis.
CoRR
Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang
2023 — conf
NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking.
MLCAD
Guangyu Hu, Wei Zhang, Hongce Zhang
2023 J jnl
r-map: Relating Implementation and Specification in Hardware Refinement Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Wenji Fang, Guangyu Hu, Hongce Zhang
2022 J jnl
CRAlert: Hardware-Assisted Code Reuse Attack Detection.
IEEE Trans. Circuits Syst. II Express Briefs
Wenhao Wang, Guangyu Hu, Xiaolin Xu, Jiliang Zhang
2022 — conf
Hybrid CTC Language Identification Structure for Mandarin-English Code-Switching ASR.
ISCSLP
Hengxin Yin, Guangyu Hu, Fei Wang, Pengfei Ren
2018 J jnl
A Tactile Sensor Decoupling Process.
Sensors
Yuyun Xu, Xuekun Zhuang, Guangyu Hu, Hongqing Pan, Feng Shuang
2018 J jnl
Decoupling Analysis of a Six-Dimensional Force Sensor Bridge Fault.
IEEE Access
Guangyu Hu, Qing Gao, Huibin Cao, Hongqing Pan, Feng Shuang
2015 — conf
A thin film pressure sensor with double sensitive units.
ICIA
Hongqing Pan, Guangyu Hu, Pingguo Cao, Yubing Wang, YunJian Ge, Feng Shuang
2015 — conf
Design in data acquisition system of Fluke PM6306 based on LabVIEW.
ICIA
Guangyu Hu, Xuan Wei, Hongqing Pan, Yubing Wang, YunJian Ge, Feng Shuang
2014 — conf
Masquerade Detection Using Support Vector Machines in the Smart Grid.
CSO
Xiang Zhao, Guangyu Hu, Zhigong Wu
2014 C conf
The Smart grid scheduling based on contract net protocol with trust model.
ICIS
Xiang Zhao, Guangyu Hu, Zhigong Wu
2013 J jnl
Business ecosystem extension: facilitating the technology substitution.
Int. J. Technol. Manag.
Ke Rong, Guangyu Hu, Jie Hou, Rufei Ma, Yongjiang Shi
2011 C conf
A novel traffic shaping algorithm with delay jitter constraints for real-time multimedia networks.
ETFA
Hairui Zhou, Jian Li, Fei Hu, Guangyu Hu, Yeqiong Song, Lina He