MAPLE：针对少快照声明验证的成对语言进化微观分析。

夏曾夏曾 Arkaitz Zubiaga公司 MAPLE：针对少快照声明验证的成对语言进化微观分析。 1177-1196 2024 EACL（调查结果） https://aclantology.org/2024.findings-eacl.79 conf/eacl/2024f db/conf/eacl/eacl2024f.html#ZengZ24

夏曾 Arkaitz Zubiaga公司 MAPLE：针对少快照声明验证的成对语言进化微观分析。 2024 abs/2401.16282 CoRR公司 https://doi.org/10.48550/arXiv.2401.16282 db/journals/corr/corr2401.html#abs-2401-16282

赵汉瑞牛牛七利迪亚·德比夏曾杨正峰通过反例引导学习实现连续系统神经屏障证书的形式化综合。 146:1-146:21 2023 十月 22 ACM事务处理。嵌入。计算。系统。 5秒 https://doi.org/10.1145/3609125 db/journals/tecs/tecs22.html#ZhaoQDZY23

夏曾杨正峰李章唐晓超曾振兵刘志明0001 用贝叶斯神经网络控制器对非线性系统进行安全验证。 15278-15286 2023 AAAI公司 https://doi.org/10.1609/aai.v37i122.26782网址会议/aai/2023 db/conf/aaai/aaai2023.html#ZengYZTZ023 杨正峰李章夏曾唐晓超赵鹏0004 曾振兵具有到达-无效约束的非线性系统的混合控制器综合。 304-325 2023 CAV（1） https://doi.org/10.1007/978-3-031-37706-8_16 conf/cav/2023-1 db/conf/cav/cav2023-1.html#YangZZTPZ23 赵汉瑞夏曾牛牛七杨正峰曾振兵基于元强化学习的非线性系统安全DNN型控制器综合。 1-6 2023 数模转换器 https://doi.org/10.1109/DAC56929.2023.10247837 conf/dac/2023 db/conf/dac/dac2023.html#ZhaoZQYZ23 夏曾 Arkaitz Zubiaga公司主动PET：通过模式开发培训，对少量索赔进行主动数据注释优先级验证。 190-204 2023 EACL（调查结果） https://doi.org/10.18653/v1/2023.findings-eacl.14 https://aclantology.org/2023.findings-eacl.14 conf/eacl/2023f db/conf/eacl/eacl2023f.html#ZengZ23

夏曾杨传川彬岱0003 分布式机器学习系统中的实用性-隐私权衡。 1299 2022 24 熵 9 https://doi.org/10.3390/e24091299 db/journals/entropy/entropy24.html#ZengYD22

赵恒军李全忠0005 夏曾刘志明0001 安全强化学习算法及其在CPS智能控制中的应用。 453-483 2022 12 国际期刊软件。信息学 4 https://doi.org/10.21655/ijsi.1673-7288.00284 db/journals/ijsi/ijsi12.html#ZhaoLZL22

夏曾 Arkaitz Zubiaga公司聚合两两语义差异以进行少量声明验证。 e1137（电子1137） 2022 8 同行J计算。科学。 https://doi.org/10.7717/peerj-cs.1137 db/期刊/peerj-cs/peerj-cs8.html#ZengZ22

郝雪夏曾王琳杨正峰赵鹏0004 曾振兵基于RNN的神经网络鲁棒性验证MILP问题框架。 571-586 2022 ACCV（1） https://doi.org/10.1007/978-3-031-26319-4_34 conf/accv/2022-1 db/conf/accv/accv2022-1.html#XueZLYPZ22

夏曾 Arkaitz Zubiaga公司聚合两两语义差异以进行少快照声明准确性分类。 2022 abs/2205.05646 CoRR公司 https://doi.org/10.48550/arXiv.2205.05646 db/journals/corr/corr2205.html#abs-2205-05646

夏曾 Arkaitz Zubiaga公司主动PET：通过模式开发培训，对少量索赔进行主动数据注释优先级验证。 2022 abs/2208.08749 CoRR公司 https://doi.org/10.48550/arXiv.2208.08749 db/journals/corr/corr2208.html#abs-2208-08749

赵恒军夏曾陈陶璐刘志明0001 吉姆·伍德科克0001 学习具有屏障证书的安全神经网络控制器。 437-455 2021 33 形式方面计算。三 https://doi.org/10.1007/s00165-021-00544-5 db/journals/fac/fac33.html#ZhaoZCLW21

雷丁夏曾基于C4.5算法的决策树模型在护理质量管理评价中的应用。 2359年-2366年 2021 11 医学影像健康信息学杂志 9 https://doi.org/10.1166/jmihi.2021.3463 数据库/期刊/jmihi/jmihi11.html#DingZ21

夏曾阿曼妮·阿布曼苏尔 Arkaitz Zubiaga公司自动事实检查：一项调查。 2021 15 语言语言学指南 10 https://doi.org/10.1111/lnc3.12438 db/journals/llc/llc15.html#ZengAZ21

杨正峰张一丹王琳夏曾唐晓超曾振兵刘志明0001 非线性系统安全强化学习的障碍证书生成迭代方案。 467-490 2021 CAV（1） https://doi.org/10.1007/978-3-030-81685-8_22 conf/cav/2021-1 db/conf/cav/cav2021-1.html#YangZLZTZL21 徐桐桐潘敏雪于培0001 李桂音夏曾田章0001 邓跃堂李宣东指南：Android应用程序的GUI结构和视觉联合指导测试脚本修复。 191-203 2021 ISSTA公司 https://doi.org/10.1145/3460319.3464830 conf/issta/2021 db/conf/issta/issta2021.html#XuP0LZZDL21

夏曾 Arkaitz Zubiaga公司 SCIVER的QMUL-SDS：科学索赔验证的逐步二进制分类。 2021 abs/2104.11572 CoRR公司 https://arxiv.org/abs/1204.11572 数据库/期刊/corr/corr2104.html#abs-2104-11572

夏曾阿曼妮·阿布曼苏尔 Arkaitz Zubiaga公司自动事实核查：一项调查。 2021 abs/2109.11427 CoRR公司 https://arxiv.org/abs/2109.11427 数据库/期刊/corr/corr2109.html#abs-2109-11427

孙长霞刘毅（音）夏曾海平寺可证明的基于属性的安全代理签名。 337-343 2020 38 J.智力。模糊系统。 1 https://doi.org/10.3233/JIFS-179409 db/journals/jifs/jifs38.html#SunLZS20

赵恒军夏曾陈陶璐刘志明0001 使用神经网络合成屏障证书。 25:1-25:11 2020 高速列车控制中心 https://doi.org/10.1145/3365365.3382222 conf/混合动力/2020 db/conf/hybrid/hscc2020.html#ZhaoZC020 赵恒军夏曾陈陶璐刘志明0001 吉姆·伍德科克0001 学习具有屏障证书的安全神经网络控制器。 177-185 2020 设置 https://doi.org/10.1007/978-3-030-62822-2_11 conf/setta/2020 db/conf/setta/setta2020.html#ZhaoZCLW20 李临沂李振文张伟杰周军（音）王鹏程吴晶（音译）何光华夏曾邓跃堂陶协0001 用自然语言对测试步骤进行聚类，以实现测试自动化。 1285-1295 2020 ESEC/SIGSOFT FSE https://doi.org/10.1145/3368089.3417067 conf/sigsoft/2020 db/conf/sigsoft/fse2020.html#LiLZZWWHZDX20

赵恒军夏曾陈陶璐刘志明0001 吉姆·伍德科克0001 学习具有屏障证书的安全神经网络控制器。 2020 abs/2009.09826 CoRR公司 https://arxiv.org/abs/2009.09826 db/journals/corr/corr2009.html#abs-2009-09826

夏曾王琳杨正峰曾振兵通过保守近似验证非线性混合系统的线性不变量生成。 39102 2017 60 科学。中国信息科学。三 https://doi.org/10.1007/s11432-015-0980-7 数据库/期刊/chinaf/chinaf60.html#ZengLYZ17

郑海冰登封李0003 梁北海夏曾郑武杰邓跃堂林师父魏阳0013 陶协0001 Android自动测试输入生成：在工业案例中实现。 253-262 2017 ICSE-SEIP系统 https://doi.org/10.109/ICSE-SEIP.2017.32 https://doi.ieecomputersociety.org/10.1109/ICSE-EIP.2017.32 conf/icse/2017seip db/conf/icse/icse2017seip.html#ZhengLLZZDLYX17 夏曾王琳杨正峰新晨0027 王丽蕾（Lilei Wang）非线性混合系统安全验证的Darboux型屏障证书。 11:1-11:10 2016 EMSOFT公司 https://doi.org/10.1145/2968478.2968484 conf/emsoft/2016年 db/conf/emsoft/emsoft2016.html#ZengLYCW16 夏曾登封李0003 郑武杰范霞邓跃堂林师父魏阳0013 陶协0001 Android自动测试输入生成：我们真的在工业案例中存在吗？ 987-992 2016 SIGSOFT FSE公司 https://doi.org/10.1145/2950290.2983958 conf/sigsoft/2016 db/conf/sigsoft/fse2016.html#ZengLZXDLYX16

刘健闵唐夏曾曾振兵分析（基本函数的验证评估和误差分析）。 25-30 2015 42 计算机科学 4 https://doi.org/10.11896/j.issn.1002-137X.2015.04.003 http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2015.04.003 db/journals/jsjkx/jsjkx2.html#LiuTZZ18

闵唐夏曾宋凯（Kai Song）刘健 C程序设计语言库函数中浮点运算的误差分析。 737-742 2013 conf/eidwt/2013年 EIDWT公司 https://doi.org/10.109/EIDWT.2013.134 https://doi.ieecomputersociety.org/10.109/EIDWT.2013.134 db/conf/eidwt/eidwt2013.html#TangZSL13

苏珊德拉·M·班达尔卡夏曾图形-地面分离的进化方法。 187-212 1999 11 申请。智力。 2 db/journals/apin/apin11.html#BhandarkarZ99 https://doi.org/10.1023/A:1008328514385

苏珊德拉·M·班达尔卡夏曾图地面分离：通过进化计算实现能量最小化的案例研究。 375-390 1997 conf/emmcvpr/1997年 EMMCVPR公司 db/conf/emmcvpr/emmcvpr1997.html#BhandarkarZ97 https://doi.org/10.1007/3-540-62909-2_92 苏珊德拉·M·班达尔卡夏曾图形-地面分离的进化计算。 1673-1678 1997 ICNN公司 https://doi.org/10.109/ICNN.1997.614146 conf/icnn/1997年 db/conf/icnn/icnn1997.html#BhandarkarZ97 阿曼妮·阿布曼苏尔苏珊德拉·M·班达尔卡陈陶璐新晨0027 彬岱0003 利迪亚·德比邓跃堂雷丁何光华林师父登封李0003 李桂音李临沂李全忠0005 李宣东李振文梁北海王琳刘健刘毅（音）刘志明0001 潘敏雪于培0001 赵鹏0004 牛牛七海平寺宋凯（Kai Song）孙长霞闵唐唐晓超王丽蕾（Lilei Wang）王鹏程吉姆·伍德科克0001 吴晶（音译）范霞陶协0001 徐桐桐郝雪杨传川魏阳0013 杨正峰曾振兵李章田章0001 张伟杰张一丹赵汉瑞赵恒军郑海冰郑武杰周军（音） Arkaitz Zubiaga公司