Bin Gu

According to our database, Bin Gu authored at least 23 papers between 2009 and 2023.

Collaborative distances:

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

2023

Towards Better Semantics Exploration for Browser Fuzzing.

Chijin Zhou, Quan Zhang, Lihua Guo, Mingzhe Wang, Yu Jiang, Qing Liao, Zhiyong Wu, Shanshan Li, Bin Gu

Proc. ACM Program. Lang., October, 2023

Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller.

Jiang Liu, Han Su, Yunjun Bai, Bin Gu, Bai Xue, Mengfei Yang, Naijun Zhan

CoRR, 2023

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

CoRR, 2023

An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software.

Chao Li, Rui Chen, Boxiang Wang, Zhixuan Wang, Tingting Yu, Yunsong Jiang, Bin Gu, Mengfei Yang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Improve Software Development: An Overview of Program Synthesis.

Heran Wang, Xiaogang Dong, Bin Gu, Xiaofeng Li, Ruiming Zhong

Proceedings of the 2023 5th International Conference on Software Engineering and Development, 2023

2022

Pluto: Exposing Vulnerabilities in Inter-Contract Scenarios.

Fuchen Ma, Zhenyang Xu, Meng Ren, Zijing Yin, Yuanliang Chen, Lei Qiao, Bin Gu, Huizhong Li, Yu Jiang, Jia-Guang Sun

IEEE Trans. Software Eng., 2022

2021

Brief Industry Paper: Modeling and Verification of Descent Guidance Control of Mars Lander.

Bohua Zhan, Bin Gu, Xiong Xu, Xiangyu Jin, Shuling Wang, Bai Xue, Xiaofeng Li, Yao Chen, Mengfei Yang, Naijun Zhan

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

2020

FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain.

Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2016

Verifying safety critical task scheduling systems in PPTL axiom system.

Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian

J. Comb. Optim., 2016

2014

Formal Verification of a Descent Guidance Control Program of a Lunar Lander.

Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen

Proceedings of the FM 2014: Formal Methods, 2014

2013

A novel requirement analysis approach for periodic control systems.

Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He

Frontiers Comput. Sci., 2013

2012

MDM: A Mode Diagram Modeling Framework

Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

MDM: A Mode Diagram Modeling Framework for Periodic Control Systems

Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He

CoRR, 2012

The stochastic semantics and verification for periodic control systems.

Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He

Sci. China Inf. Sci., 2012

A Type System for SPARDL.

Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Cyber-physical Systems Modeling Method Based on Modelica.

Junjie Tang, Jianjun Zhao, Jianwan Ding, Liping Chen, Gang Xie, Bin Gu, Mengfei Yang

Proceedings of the Sixth International Conference on Software Security and Reliability, 2012

An Approach to Requirement Analysis for Periodic Control Systems.

Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

An Embedded Operating System Design for the Lunar Exploration Rover.

Lei Qiao, Mengfei Yang, Bin Gu, Hua Yang, Bo Liu

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Static Data Race Detection for Interrupt-Driven Embedded Software.

Rui Chen, Xiangying Guo, Yonghao Duan, Bin Gu, Mengfei Yang

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

An Event-B Interpretation for SPARDL Model.

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

Constraint Checking for XML-Based Language Specification by SAT Solver.

Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu

Proceedings of the Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010

SPARDL: A Requirement Modeling Language for Periodic Control System.

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2009

Towards Scalable Compositional Test Generation.

Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu

Proceedings of the Ninth International Conference on Quality Software, 2009