陈明帅
人员信息
附属： 浙江大学，中国杭州 隶属关系（前）： 德国亚琛RWTH大学 隶属关系（前）： 中国科学院软件研究所，中国北京
优化列表
2020年–今天
2024 
[j7] 陈明帅 ， 孙明爱 ， 西苏 ， 普拉亚格·蒂瓦里 ， 丁一杰 :
模糊核证据识别伪尿苷位点的随机森林。 生物信息简报。 25 ( 三 ) ( 2024 ) [第17条] 四味坛 
， Debin Xiang公司 ， 陆立强 ， 陆俊林 ， 秋萍江 ， 陈明帅 ， 尹建伟 :
MorphQPV：利用量子程序中的同构来促进自信验证。 ASPLOS（3） 2024 : 671-688年 [第16条] 四味坛 ， 陆立强 ， 张汉玉（Hanyu Zhang） ， 贾瑜 ， 从良郎 ， 永亨商 ， 赵新奎 ， 陈明帅 ， 云亮（Yun Liang） ， 尹建伟 :
QuFEM：使用有限元方法进行快速准确的量子读数校准。 ASPLOS（2） 2024 : 948-963 【d3】 卢茨·克林肯伯格 ， 克里斯蒂安·布卢门撒尔 ， 陈明帅 ， 达里安·哈斯 ， Joost-Pieter Katoen公司 :
使用生成函数工件的松散概率程序的精确贝叶斯推断。 版本1。 泽诺多 ， 2024 [所有版本] 【d2】 卢茨·克林肯伯格 ， 克里斯蒂安·布卢门塔尔 ， 陈明帅 ， 达里安·哈斯 ， Joost-Pieter Katoen公司 :
使用生成函数工件的松散概率程序的精确贝叶斯推断。 版本2。 泽诺多 ， 2024 [所有版本] 2023 [j6] 盛华丰 ， 陈明帅 ， 韩苏（Han Su） ， 本杰明·卢西恩·卡明斯基 ， Joost-Pieter Katoen公司 ， 詹乃军（Naijun Zhan） :
可能发散概率程序的下限。 程序。 ACM计划。 语言。 7 ( OOPSLA1型 ) : 696-726 ( 2023 ) [第15条] 凯文·巴茨 ， 陈明帅 ， 塞巴斯蒂安·荣格斯 ， 本杰明·卢西安·卡明斯基 ， Joost-Pieter Katoen公司 ， 克里斯托夫·马蒂亚 :
通过归纳不变量的归纳合成进行概率程序验证。 TACAS（2） 2023 : 410-429 [i13] 卢茨·克林肯伯格 ， 托比亚斯·温克勒 ， 陈明帅 ， Joost-Pieter Katoen公司 :
使用生成函数的精确概率推断。 CoRR公司 abs/2302.00513 ( 2023 ) [i12] 盛华丰 ， 陈明帅 ， 韩素 ， 本杰明·卢西恩·卡明斯基 ， Joost-Pieter Katoen公司 ， 詹乃军（Naijun Zhan） :
可能发散概率程序的下限。 CoRR公司 abs/2302.06082 ( 2023 ) [i11] 卢茨·克林肯伯格 ， 克里斯蒂安·布卢门塔尔 ， 陈明帅 ， Joost-Pieter Katoen公司 :
松散概率程序的精确贝叶斯推断。 CoRR公司 abs/2307.07314 ( 2023 ) 2022 [j5] 王秋叶 ， 陈明帅 ， 白雪 ， 詹乃军（Naijun Zhan） ， Joost-Pieter Katoen公司 :
将归纳不变量编码为屏障证书：通过凸规划的差分进行综合。 Inf.计算。 289 ( 零件 ) : 104965 ( 2022 ) [第14条] 陈明帅 ， Joost-Pieter Katoen公司 ， 卢茨·克林肯伯格 ， 托比亚斯·温克勒 :
一个项目能产生正确的分布吗 通过生成函数验证概率程序。 CAV（1） 2022 : 79-101 【d1】 陈明帅 ， Joost-Pieter Katoen公司 ， 卢茨·克林肯伯格 ， 托比亚斯·温克勒 :
神童-CAV 2022人工制品评估。 泽诺多 ， 2022 [i10] 陈明帅 ， Joost-Pieter Katoen公司 ， 卢茨·克林肯伯格 ， 托比亚斯·温克勒 :
一个项目能产生正确的分布吗？ 通过生成函数验证概率程序。 CoRR公司 abs/2205.01449 ( 2022 ) [第九章] 凯文·巴茨 ， 陈明帅 ， 塞巴斯蒂安·荣格斯 ， 本杰明·卢西安·卡明斯基 ， Joost-Pieter Katoen公司 ， 克里斯托夫·马蒂亚 :
通过归纳不变量的归纳合成进行概率程序验证。 CoRR公司 abs/2205.06152 ( 2022 ) [i8] 张卓若 ， 俞晨阳 ， 何晃 ， 瑞昌（Rui Chang） ， 陈明帅 ， 戴钦明 ， 沈文波 ， 赵永旺 ， 奎仁 :
PA-Boot：一种用于多处理器安全引导的正式验证的身份验证协议。 CoRR公司 abs/2209.07936 ( 2022 ) [i7] 王秋叶 ， 陈明帅 ， 白雪 ， 詹乃军（Naijun Zhan） ， Joost-Pieter Katoen公司 :
将归纳不变量编码为屏障证书：通过差分凸编程进行综合。 CoRR公司 abs/2209.09703 ( 2022 ) 2021 【j4】 陈明帅 ， 马丁·弗伦泽 ， 杨佳丽 ， 彼得·纳齐尔·莫萨德 ， 詹乃军（Naijun Zhan） :
不确定性和延迟是失败的根源，通过综合延迟控制在算法上驯服它们。 信息学报 58 ( 5 ) : 497-528 ( 2021 ) [第13条] 王秋叶 ， 陈明帅 ， 白雪 ， 詹乃军（Naijun Zhan） ， Joost-Pieter Katoen公司 :
通过凸差分编程合成不变障碍证书。 CAV（1） 2021 : 443-466 [第12条] 凯文·巴茨 ， 陈明帅 ， 本杰明·卢西安·卡明斯基 ， Joost-Pieter Katoen公司 ， 克里斯托夫·马蒂亚 ， 菲利普·施罗德 :
格k-归纳法及其在概率程序中的应用。 CAV（2） 2021 : 524-549 [i6] 凯文·巴茨 ， 陈明帅 ， 本杰明·卢西安·卡明斯基 ， Joost-Pieter Katoen公司 ， 克里斯托夫·马蒂亚 ， 菲利普·施罗德 :
格k-归纳法及其在概率程序中的应用。 CoRR公司 abs/2105.14100 ( 2021 ) [i5] 王秋叶 ， 陈明帅 ， 白雪 ， 詹乃军（Naijun Zhan） ， Joost-Pieter Katoen公司 :
通过凸差分编程合成不变障碍证书。 CoRR公司 abs/2105.14311 ( 2021 ) 2020 [j3] 王健（Jian Wang） ， 杰安 ， 陈明帅 ， 詹乃军（Naijun Zhan） ， 王露琳（Lulin Wang） ， 张妙妙 ， 汀甘 :
从模型到实现：一种网络算法编程语言。 科学。 中国信息科学。 63 ( 7 ) ( 2020 ) [第11条] 盛华丰 ， 陈明帅 ， 白雪 ， 斯里拉姆·桑卡拉纳拉亚南 ， 詹乃军（Naijun Zhan） :
随机微分动力学的无限时间安全验证。 卡瓦（2） 2020 : 327-348 [第10条] 杰安 ， 陈明帅 ， 伯华詹 ， 詹乃军（Naijun Zhan） ， 张妙妙 :
学习一时钟定时自动机。 TACAS（1） 2020 : 444-462
2010 – 2019
2019 [j2] 马丁·弗伦泽 ， 陈明帅 ， 保罗·克罗格 :
在Oded Maler的记忆中：混合状态自动机的自动可达性分析。 ACM SIGLOG新闻 6 ( 1 ) : 19-39 ( 2019 ) 【c9】 陈明帅 ， 王健（Jian Wang） ， 杰安 ， 伯华詹 ， 迪帕克·卡普尔 ， 詹乃军（Naijun Zhan） :
NIL：学习非线性插值。 CADE公司 2019 : 178-196年 【c8】 盛华丰 ， 陈明帅 ， 詹乃军（Naijun Zhan） ， 马丁·弗伦泽 ， 白雪 :
控制动力系统中的延迟-延迟微分方程的无界验证。 CAV（1） 2019 : 650-669 [i4] 陈明帅 ， 王健（Jian Wang） ， 杰安 ， 伯华詹 ， 迪帕克·卡普尔 ， 詹乃军（Naijun Zhan） :
NIL：学习非线性插值。 CoRR公司 abs/1905.11625 ( 2019 ) [i3] 杰安 ， 陈明帅 ， 伯华詹 ， 詹乃军（Naijun Zhan） ， 张妙妙 :
学习一时钟定时自动机。 CoRR公司 abs/1910.10680 ( 2019 ) 2018 [j1] 汀甘 ， 陈明帅 ， 杨佳丽 ， 碧灿霞 ， 詹乃军（Naijun Zhan） :
可解动力系统的可达性分析。 IEEE传输。 自动。 控制。 63 ( 7 ) : 2003-2018 ( 2018 ) 【c7】 陈明帅 ， 马丁·弗伦泽 ， 杨佳丽 ， 彼得·纳齐尔·莫萨德 ， 詹乃军（Naijun Zhan） :
未来仍不确定-合成控制器对延迟交互具有弹性。 ATVA公司 2018 : 56-74 2017 【c6】 白雪 ， 彼得·纳齐尔·莫萨德 ， 马丁·弗伦泽 ， 陈明帅 ， 杨佳丽 ， 詹乃军（Naijun Zhan） :
时滞微分方程可达集的安全过逼近和欠逼近。 格式 2017 : 281-299 [第1页] 陈明帅 ， 肖翰 ， 陶唐 ， 王淑玲（Shuling Wang） ， 杨梦飞 ， 詹乃军（Naijun Zhan） ， 赵恒军 ， 梁邹 :
MARS：混合系统建模、分析和验证的工具链。 令人信服的正确系统 2017 : 39-58 2016 【c5】 汀甘 ， 戴丽云 ， 碧灿霞 ， 詹乃军（Naijun Zhan） ， 迪帕克·卡普尔 ， 陈明帅 :
二次多项式不等式的插值综合及其与EUF的结合。 国际JCAR 2016 : 195-212 【c4】 汀甘 ， 陈明帅 ， 杨佳丽 ， 碧灿霞 ， 詹乃军（Naijun Zhan） :
重新讨论了计算线性向量场的可达集。 ECC公司 2016 : 419-426 【c3】 陈明帅 ， 马丁·弗伦泽 ， 杨佳丽 ， 彼得·纳齐尔·莫萨德 ， 詹乃军（Naijun Zhan） :
延迟微分动力学验证的基于仿真的验证。 FM公司 2016 : 137-154 【c2】 陈明帅 ， 安德斯·拉文 ， 王淑玲（Shuling Wang） ， 杨梦飞 ， 詹乃军（Naijun Zhan） :
嵌入式系统正式设计和非正式设计之间的双向路径。 输出功率 2016 : 65-92 [i2] 汀甘 ， 戴丽云 ， 碧灿霞 ， 詹乃军（Naijun Zhan） ， 迪帕克·卡普尔 ， 陈明帅 :
二次多项式不等式的插值综合及与\textit{EUF}的组合。 CoRR公司 abs/1601.04802 ( 2016 ) 2015 【c1】 汀甘 ， 陈明帅 ， 戴丽云 ， 碧灿霞 ， 詹乃军（Naijun Zhan） :
线性向量场族可达性的判定。 ATVA公司 2015 : 482-499 [i1] 杨佳丽 ， 慧露 ， 詹乃军（Naijun Zhan） ， 陈明帅 ， 吴国华 :
等式条件下多项式规划的终止分析。 CoRR公司 abs/1510.05201 ( 2015 )
合著者索引
