Bin Gu先生 0006
人员信息
附属： 中国北京控制工程学院
其他同名人员
Bin Gu先生 — 消歧页 Bin Gu先生 0001 ![[0000-0002-7165-3143]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-7165-3143")
— 穆罕默德·本·扎耶德人工智能大学（MBZUAI），阿联酋阿布扎比 （还有2个以上） Bin Gu先生 0002 -天津大学，中国天津 Bin Gu先生 0003 — 波士顿大学Questrom商学院信息系统系，波士顿，马萨诸塞州，美国 （还有2个以上） Bin Gu先生 0004 -中国科学技术大学，中国合肥 Bin Gu先生 0005 — 中国南京东南大学国家移动通信研究实验室 （还有1个）
优化列表
2020年–今天
2023 
[j5] 周赤金 , Quan Zhang（全张） , 郭丽华 , 王明哲 , 余江 , 清辽 , 吴志勇 , 李珊珊 , Bin Gu先生 以下为：
浏览器模糊处理的语义探索。 程序。 ACM计划。 语言。 7 ( OOPSLA2公司 ) 以下为： 604-631 ( 2023 ) [第15条] 王贺兰（Heran Wang） , 董晓刚 , Bin Gu先生 , 李晓峰 , 中瑞明 以下为：
改进软件开发：程序综合概述。 ICSED公司 2023 以下为： 1-7 [第14条] 李超（音） , 陈锐（Rui Chen） , 王伯祥 , 王志轩 , 于婷婷 , 姜云松 , Bin Gu先生 , 杨梦飞 以下为：
中断驱动嵌入式软件并发缺陷的实证研究。 ISSTA公司 2023 以下为： 1345-1356 [i3] 金草峰 , 苗伟凯 , 韩月正 , 黄一浩 , 李建文 , 郑旺（音） , 丁素 , Bin Gu先生 , 葛光浦 , 杨梦飞 , 何继峰 以下为：
FREPA：飞机控制领域需求建模和分析的自动化和形式化方法。 CoRR公司 abs/2306.01260 ( 2023 ) [i2] 姜柳 , 韩苏（Han Su） , 白云君 , Bin Gu先生 , 白雪 , 杨梦飞 , 詹乃军（Naijun Zhan） 以下为：
通过综合重置控制器实现混合系统的正确构造。 CoRR公司 abs/2309.05906 ( 2023 ) 2022 [j4] 马富珍（Fuchen Ma） , 徐振阳 , 孟仁 , 紫荆印 , 陈元良 , 雷乔 , Bin Gu先生 , 李惠忠 , 余江 , 贾光孙 以下为：
冥王星：暴露合同间场景中的漏洞。 IEEE传输。 软件工程。 48 ( 11 ) 以下为： 4380-4396 ( 2022 ) 2021 [第13条] 伯华詹 , Bin Gu先生 , 熊旭 , 金祥宇 , 王淑玲（Shuling Wang） , 白雪 , 李晓峰 , 姚晨 , 杨梦飞 , 詹乃军（Naijun Zhan） 以下为：
简要行业论文：火星着陆器下降制导控制的建模与验证。 RTAS公司 2021 以下为： 457-460 2020 [c12] 金草峰 , 苗伟凯 , 韩月正 , 黄一浩 , 李建文 , 郑旺（音） , 丁素 , Bin Gu先生 , 葛光浦 , 杨梦飞 , 何继峰 以下为：
FREPA：飞机控制领域需求建模和分析的自动化和正式方法。 ESEC/SIGSOFT FSE 2020 以下为： 1376-1386
2010 – 2019
2016 [j3] 张楠（Nan Zhang） , 杨梦飞 , Bin Gu先生 , 段振华 , 丛天 以下为：
验证PPTL公理系统中的安全关键任务调度系统。 J.库姆。 最佳方案。 31 ( 2 ) 以下为： 577-603 ( 2016 ) 2014 [第11条] 赵恒军 , 杨梦飞 , 詹乃军（Naijun Zhan） , Bin Gu先生 , 梁邹 , 姚晨 以下为：
月球着陆器下降制导控制程序的形式验证。 FM公司 2014 以下为： 733-748 2013 [注2] 郑旺（音） , 葛光浦 , 李建文 , 陈玉祥 , 赵永新 , 陈明松 , Bin Gu先生 , 杨梦飞 , 何继峰 以下为：
一种新的周期控制系统需求分析方法。 前沿计算。 科学。 7 ( 2 ) 以下为： 214-235 ( 2013 ) 2012 [j1] 杨梦飞 , 郑旺（音） , 葛光浦 , 秦胜超 , Bin Gu先生 , 何继峰 以下为：
周期控制系统的随机语义和验证。 科学。 中国信息科学。 55 ( 12 ) 以下为： 2675-2693 ( 2012 ) [第10条] 李建文 , 葛光浦 , 郑旺（音） , 陈玉祥 , 张丽云 , 炎夏旗 , Bin Gu先生 以下为：
周期控制系统的需求分析方法。 SEW公司 2012 以下为： 130-139 【c9】 唐俊杰 , 赵建军 , 丁建万 , 陈丽萍 , 谢刚（音） , Bin Gu先生 , 杨梦飞 以下为：
基于Modelica的网络物理系统建模方法。 SERE（伴侣） 2012 以下为： 188-191 【c8】 郑旺（音） , 葛光浦 , 李建文 , Bin Gu先生 以下为：
用于SPARDL的类型系统。 TASE公司 2012 以下为： 209-216 【c7】 郑旺（音） , 葛光浦 , 李建文 , 何继峰 , 秦胜超 , 金·G·拉森 , 简·马德森 , Bin Gu先生 以下为：
MDM：一个模式图建模框架。 FTSCS公司 2012 以下为： 135-149 [i1] 郑旺（音） , 葛光浦 , 秦胜超 , 李建文 , 金·G·拉森 , 简·马德森 , Bin Gu先生 , 何继峰 以下为：
MDM：周期控制系统的模式图建模框架。 CoRR公司 abs/1207.0922 ( 2012 ) 2011 【c6】 李建文 , 郑旺（音） , 赵永新 , 葛光浦 , 炎夏旗 , Bin Gu先生 以下为：
SPARDL模型的Event-B解释。 哈斯 2011 以下为： 41-48 【c5】 陈锐（Rui Chen） , 郭向英 , 段永浩 , Bin Gu先生 , 杨梦飞 以下为：
用于中断驱动嵌入式软件的静态数据竞争检测。 SSIRI（同伴） 2011 以下为： 47-52 【c4】 雷乔 , 杨梦飞 , Bin Gu先生 , 华阳 , 刘波（Bo Liu） 以下为：
月球探测车的嵌入式操作系统设计。 SSIRI（同伴） 2011 以下为： 160-165 2010 【c3】 郑旺（音） , 李建文 , 赵永新 , 炎夏旗 , 葛光浦 , 何继峰 , Bin Gu先生 以下为：
SPARDL：周期控制系统的需求建模语言。 ISoLA（1） 2010 以下为： 594-608 [c2] 郝晓 , 郑旺（音） , 葛光浦 , Bin Gu先生 以下为：
SAT Solver对基于XML的语言规范的约束检查。 SSIRI（同伴） 2010 以下为： 26日至27日
2000 – 2009
合著者索引
