default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBin Gu 0006
Person information
- affiliation: Beijing Institute of Control Engineering, China
Other persons with the same name
- Bin Gu — disambiguation page
- Bin Gu 0001
![[0000-0002-7165-3143]](https://dblp.dagstuhl.de/img/orcid-mark.12x12.png "0000-0002-7165-3143")
— Mohamed bin Zayed University of Artificial Intelligence (MBZUAI), Abu Dhabi, UAE (and 2 more) - Bin Gu 0002 — Tianjin University, Tianjin, China
- Bin Gu 0003 — Boston University, Questrom School of Business, Department of Information Systems, Boston, MA, USA (and 2 more)
- Bin Gu 0004 — University of Science and Technology of China, Hefei, China
- Bin Gu 0005 — Nanjing Vocational College of Information Technology, School of Electronic Information Engineering, Jiangsu, China (and 2 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j8]Jinwei Liu, Chao Li, Rui Chen, Shaofeng Li, Bin Gu, Mengfei Yang:
STRUT: Structured Seed Case Guided Unit Test Generation for C Programs using LLMs. Proc. ACM Softw. Eng. 2(ISSTA): 2113-2135 (2025)- [c26]Longxing Yang, Xiaofeng Li, Xiaogang Dong, Bin Gu:
Oneshotimizer: Consistent and Effective NAS via Regularizing Gradient Norm and Weight Variance. ICIC (16) 2025: 518-530 - [c25]Jingkai Lin, Yixing Luo, Xiao-hong Chen, Bin Gu, Zhi Jin:
Automatic Generation of Structured Requirements for Aerospace Embedded Systems Using LLMs. REW 2025: 181-188 - [c24]Yixing Luo, Yang Liu, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang:
Taxonomy-Guided Reasoning for Requirements Classification: A Study in Aerospace Industry. RE 2025: 332-343 - [c23]Yixing Luo, Yiping Wang, Xiaofeng Li, Bin Gu, Zhi Jin:
Leveraging Large Language Models for Reusable Requirements Management in Aerospace Software. RE 2025: 361-365 - [c22]Longxing Yang, Yixing Luo, Hao Gao, Yingshuang Fan, Jingru Zhang, Xiaofeng Li, Xiaogang Dong, Bin Gu, Zhi Jin, Mengfei Yang:
Evaluating Large Language Models for Requirements Question Answering in Industrial Aerospace Software. SIGSOFT FSE Companion 2025: 366-377 - [i8]Kechi Zhang, Ge Li, Jia Li, Huangzhao Zhang, Jingjing Xu, Hao Zhu, Lecheng Wang, Jia Li, Yihong Dong, Jing Mai, Bin Gu, Zhi Jin:
Computational Thinking Reasoning in Large Language Models. CoRR abs/2506.02658 (2025) - [i7]Fanpeng Yang, Xu Ma, Shuling Wang, Xiong Xu, Qinxiang Cao, Naijun Zhan, Xiaofeng Li, Bin Gu:
Automated Synthesis of Formally Verified Multi-Abstraction Function Summaries. CoRR abs/2506.09550 (2025) - [i6]Hengzhi Yu, Bohan Ma, Mingshuai Chen, Jie An, Bin Gu, Naijun Zhan, Jianwei Yin:
Derivative-Agnostic Inference of Nonlinear Hybrid Systems. CoRR abs/2507.16426 (2025) - [i5]Zhongyi Wang, Tengjie Lin, Mingshuai Chen, Haokun Li, Mingqi Yang, Xiao Yi, Shengchao Qin, Yixing Luo, Xiaofeng Li, Bin Gu, Liqiang Lu, Jianwei Yin:
A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs. CoRR abs/2512.24594 (2025) - 2024
- [j7]Kaiwen Zhang, Guanjun Liu, Yantao Sun, Xiaofeng Li, Jian Guan, Yi Xie, Bin Gu:
Analysis of Real-time Embedded Multi-core Systems Based on Prioritized Time Petri Nets. Int. J. Softw. Informatics 14(4): 353-373 (2024) - [j6]Naijun Zhan, Han Su, Mengfei Yang, Bin Gu:
Reset controller synthesis: a correct-by-construction way to the design of CPS. Res. Dir. Cyber Phys. Syst. 2 (2024) - [c21]Jia Li, Ge Li, Yunfei Zhao, Yongmin Li, Huanyu Liu, Hao Zhu, Lecheng Wang, Kaibo Liu, Zheng Fang, Lanshen Wang, Jiazheng Ding, Xuanming Zhang, Yuqi Zhu, Yihong Dong, Zhi Jin, Binhua Li, Fei Huang, Yongbin Li, Bin Gu, Mengfei Yang:
DevEval: A Manually-Annotated Code Generation Benchmark Aligned with Real-World Code Repositories. ACL (Findings) 2024: 3603-3614 - [c20]Yihong Dong, Xue Jiang, Huanyu Liu, Zhi Jin, Bin Gu, Mengfei Yang, Ge Li:
Generalization or Memorization: Data Contamination and Trustworthy Evaluation for Large Language Models. ACL (Findings) 2024: 12039-12050 - [c19]Xinbang Hu, Guanjun Liu, Xiaofeng Li, Kaiwen Zhang, Jian Guan, Bin Gu:
An Abstract Interpretation-Based Framework for WCET Analysis of Parallel Programs. ICNSC 2024: 1-6 - [c18]Zhuo Su, Zehong Yu, Dongyan Wang, Wanli Chang, Bin Gu, Yu Jiang:
Test Case Generation for Simulink Models using Model Fuzzing and State Solving. ASE 2024: 117-128 - [c17]Xu Lu, Cong Tian, Bin Gu, Bin Yu, Chen Chen, Zhenhua Duan:
A Contract-Based Framework for Formal Verification of Embedded Software. SETTA 2024: 180-196 - [c16]Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Jingzhou Fu, Zhuo Su, Qing Liao, Bin Gu, Bodong Wu, Yu Jiang:
Data Coverage for Guided Fuzzing. USENIX Security Symposium 2024 - 2023
- [j5]Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu:
Towards Better Semantics Exploration for Browser Fuzzing. Proc. ACM Program. Lang. 7(OOPSLA2): 604-631 (2023) - [c15]Heran Wang, Xiaogang Dong, Bin Gu, Xiaofeng Li, Ruiming Zhong:
Improve Software Development: An Overview of Program Synthesis. ICSED 2023: 1-7 - [c14]Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang:
An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software. ISSTA 2023: 1345-1356 - [i4]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR abs/2306.01260 (2023) - [i3]Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan:
Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. CoRR abs/2309.05906 (2023) - [i2]Han Su, Jiyu Zhu, Shenghua Feng, Yunjun Bai, Bin Gu, Jiang Liu, Mengfei Yang, Naijun Zhan:
Reset Controller Synthesis by Reach-avoid Analysis for Delay Hybrid Systems. CoRR abs/2309.05908 (2023) - 2022
- [j4]Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun:
Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios. IEEE Trans. Software Eng. 48(11): 4380-4396 (2022) - 2021
- [c13]Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan:
Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander. RTAS 2021: 457-460 - 2020
- [c12]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE 2020: 1376-1386
2010 – 2019
- 2016
- [j3]Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian:
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31(2): 577-603 (2016) - 2014
- [c11]Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen:
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. FM 2014: 733-748 - 2013
- [j2]Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He:
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7(2): 214-235 (2013) - 2012
- [j1]Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He:
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55(12): 2675-2693 (2012) - [c10]Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu:
An Approach to Requirement Analysis for Periodic Control Systems. SEW 2012: 130-139 - [c9]Junjie Tang, Jianjun Zhao, Jianwan Ding, Liping Chen, Gang Xie, Bin Gu, Mengfei Yang:
Cyber-physical Systems Modeling Method Based on Modelica. SERE (Companion) 2012: 188-191 - [c8]Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu:
A Type System for SPARDL. TASE 2012: 209-216 - [c7]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149 - [i1]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012) - 2011
- [c6]Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu:
An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48 - [c5]Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang:
Static Data Race Detection for Interrupt-Driven Embedded Software. SSIRI (Companion) 2011: 47-52 - [c4]Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu:
An Embedded Operating System Design for the Lunar Exploration Rover. SSIRI (Companion) 2011: 160-165 - 2010
- [c3]Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu:
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) 2010: 594-608 - [c2]Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu:
Constraint Checking for XML-Based Language Specification by SAT Solver. SSIRI (Companion) 2010: 26-27
2000 – 2009
- 2009
- [c1]Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu:
Towards Scalable Compositional Test Generation. QSIC 2009: 353-358
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2026-01-28 05:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
