Hongqin Lyu - RankMe

16 papers A* 1A 2C 1Misc 1Journal 7Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs. ASP-DAC Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2026	J	`jnl`	Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. CoRR Yonghao Wang, Jiaxin Zhou, Yang Yin, Hongqin Lyu, Zhiteng Chao, Wenchao Ding, Jing Ye, Tiancheng Wang, Huawei Li
2025	J	`jnl`	AssertFix: Empowering Automated Assertion Fix via Large Language Models. CoRR Hongqin Lyu, Yunlin Du, Yonghao Wang, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	—	`conf`	AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging. ATS Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025	J	`jnl`	AssertGen: Enhancement of LLM-aided Assertion Generation through Cross-Layer Signal Bridging. CoRR Hongqin Lyu, Yonghao Wang, Yunlin Du, Mingyu Shi, Zhiteng Chao, Wenxing Li, Tiancheng Wang, Huawei Li
2025	J	`jnl`	AssertMiner: Module-Level Spec Generation and Assertion Mining using Static Analysis Guided LLMs. CoRR Hongqin Lyu, Yonghao Wang, Jiaxin Zhou, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	J	`jnl`	DeepAssert: An LLM-Aided Verification Framework with Fine-Grained Assertion Generation for Modules with Extracted Module Specifications. CoRR Yonghao Wang, Jiaxin Zhou, Hongqin Lyu, Zhiteng Chao, Tiancheng Wang, Huawei Li
2025	Misc	`conf`	HighTPI: A Hierarchical Graph Based Intelligent Method for Test Point Insertion. VTS Zhiteng Chao, Bin Sun, Hongqin Lyu, Ge Yu, Minjun Wang, Wenxing Li, Zizhen Liu, Jianan Mu, Shengwen Liang, Jing Ye, Xiaowei Li, Huawei Li
2025	A	`conf`	MacLight: Multi-scene Aggregation Convolutional Learning for Traffic Signal Control. AAMAS Sunbowen Lee, Hongqin Lyu, Yicheng Gong, Yingying Sun, Chao Deng
2025	A	`conf`	TESLA: Testability Enhancement for Shift-Left Automation via Multi-LLM Collaboration. ITC Zhiteng Chao, Rengang Zhang, Feng Gu, Hongqin Lyu, Bin Sun, Wenxing Li, Zizhen Liu, Jianan Mu, Jing Ye, Xiaowei Li, Huawei Li
2024	—	`conf`	A Static Test Compaction Method Based on GCN Assisted Fault Gate Classification. ITC-Asia Zhiteng Chao, Qinluan Dai, Jiale Li, Zizhen Liu, Wenxing Li, Hongqin Lyu, Jing Ye, Huawei Li, Xiaowei Li
2024	J	`jnl`	MacLight: Multi-scene Aggregation Convolutional Learning for Traffic Signal Control. CoRR Sunbowen Lee, Hongqin Lyu, Yicheng Gong, Yingying Sun, Chao Deng
2024	A*	`conf`	SmartATPG: Learning-based Automatic Test Pattern Generation with Graph Convolutional Network and Reinforcement Learning. DAC Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Huawei Li
2023	J	`jnl`	Federated learning privacy incentives: Reverse auctions and negotiations. CAAI Trans. Intell. Technol. Hongqin Lyu, Yongxiong Zhang, Chao Wang, Shigong Long, Shengnan Guo
2023	—	`conf`	Intelligent Automatic Test Pattern Generation for Digital Circuits Based on Reinforcement Learning. ATS Wenxing Li, Hongqin Lyu, Shengwen Liang, Tiancheng Wang, Pengyu Tian, Huawei Li
2021	C	`conf`	A Blockchain-Based Continuous Query Differential Privacy Algorithm. PDCAT Heng Ouyang, Hongqin Lyu, Shigong Long, Hai Liu, Hongfa Ding