夏曾
人员信息
其他同名人员
优化列表
2020年–今天
2024 [第17条] 夏曾 , Arkaitz Zubiaga公司 :
MAPLE:针对少快照声明验证的成对语言进化微观分析。 EACL(调查结果) 2024 : 1177-1196 [i6] 夏曾 , Arkaitz Zubiaga公司 :
MAPLE:针对少快照声明验证的成对语言进化微观分析。 CoRR公司 abs/2401.16282 ( 2024 ) 2023 [公元11年] 赵汉瑞 , 牛牛七 , 利迪亚·德比 , 夏曾 , 杨正峰 :
基于反例引导学习的连续系统神经屏障证书的形式化合成。 ACM事务处理。 嵌入。 计算。 系统。 22 ( 5秒 ) : 146:1-146:21 ( 2023 ) [第16条] 夏曾 , 杨正峰 , 李章 , 汤小超 , 曾振兵 , 刘志明 :
用贝叶斯神经网络控制器对非线性系统进行安全验证。 AAAI公司 2023 : 15278-15286 [第15条] 杨正峰 , 李章 , 夏曾 , 唐晓超 , 赵鹏 , 曾振兵 :
具有到达-无效约束的非线性系统的混合控制器综合。 CAV(1) 2023 : 304-325 [第14条] 赵汉瑞 , 夏曾 , 牛牛七 , 杨正峰 , 曾振兵 :
基于元强化学习的非线性系统的安全DNN型控制器综合。 数模转换器 2023 : 1-6 [第13条] 夏曾 , Arkaitz Zubiaga公司 :
主动PET:主动数据注释优先级,用于模式挖掘训练的少发声明验证。 EACL(调查结果) 2023 : 190-204 2022 [公元10年] 夏曾 , 杨传川 , 宾代(Bin Dai) :
分布式机器学习系统中的实用性-隐私权衡。 熵 24 ( 9 ) : 1299 ( 2022 ) [公元9年] 赵恒军 , 李全忠 , 夏曾 , 刘志明 :
安全强化学习算法及其在CPS智能控制中的应用。 国际期刊软件。 信息学 12 ( 4 ) : 453-483 ( 2022 ) [j8] 夏曾 , Arkaitz Zubiaga公司 :
聚合两两语义差异以进行少量声明验证。 同行J计算。 科学。 8 : e1137(电子1137) ( 2022 ) [第12条] 郝雪 , 夏曾 , 王林 , 杨正峰 , 赵鹏 , 曾振兵 :
基于RNN的神经网络鲁棒性验证MILP问题框架。 ACCV(1) 2022 : 571-586 [i5] 夏曾 , Arkaitz Zubiaga公司 :
聚合两两语义差异以进行少快照声明准确性分类。 CoRR公司 abs/2205.05646 ( 2022 ) [i4] 夏曾 , Arkaitz Zubiaga公司 :
主动PET:通过模式开发培训,对少量索赔进行主动数据注释优先级验证。 CoRR公司 abs/2208.08749 ( 2022 ) 2021 [j7] 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 形式方面计算。 33 ( 三 ) : 437-455 ( 2021 ) [j6] 雷丁 , 夏曾 :
基于C4.5算法的决策树模型在护理质量管理评价中的应用。 医学影像健康信息学杂志 11 ( 9 ) : 2359-2366 ( 2021 ) [j5] 夏曾 , 阿曼妮·阿布曼苏尔 , Arkaitz Zubiaga公司 :
自动事实检查:一项调查。 语言语言学指南 15 ( 10 ) ( 2021 ) [第11条] 杨正峰 , 张一丹 , 王林 , 夏曾 , 唐晓超 , 曾振兵 , 刘志明 :
一种通过生成屏障证书的非线性系统安全强化学习的迭代方案。 CAV(1) 2021 : 467-490 [第10条] 徐桐桐 , 潘敏雪 , 于培 , 李桂音 , 夏曾 , 田章 , 邓跃堂 , 李宣东 :
指南:Android应用程序的GUI结构和视觉联合指导测试脚本修复。 ISSTA公司 2021 : 191-203 [i3] 夏曾 , Arkaitz Zubiaga公司 :
SCIVER的QMUL-SDS:科学索赔验证的逐步二进制分类。 CoRR公司 abs/2104.11572 ( 2021 ) [i2] 夏曾 , 阿曼妮·阿布曼苏尔 , 阿尔凯茨·祖比亚加 :
自动事实核查:一项调查。 CoRR公司 abs/2109.11427 ( 2021 ) 2020 【j4】 孙长霞 , 刘毅(音) , 夏曾 , 海平寺 :
可证明的基于属性的安全代理签名。 J.智力。 模糊系统。 38 ( 1 ) : 337-343 ( 2020 ) 【c9】 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 :
使用神经网络合成屏障证书。 高速列车控制中心 2020 : 25:1-25:11 【c8】 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 设置 2020 : 177-185 【c7】 李临沂 , 李振文 , 张伟杰 , 周军(音) , 王鹏程 , 吴晶(音译) , 何光华 , 夏曾 , 邓跃堂 , 陶雪 :
用自然语言对测试步骤进行聚类,以实现测试自动化。 ESEC/SIGSOFT FSE 2020 : 1285-1295 [i1] 赵恒军 , 夏曾 , 陈陶璐 , 刘志明 , 吉姆·伍德科克 :
学习具有屏障证书的安全神经网络控制器。 CoRR公司 abs/2009.09826 ( 2020 )
2010 – 2019
2017 [j3] 夏曾 , 王林 , 杨正峰 , 曾振兵 :
通过保守近似验证非线性混合系统的线性不变量生成。 科学。 中国信息科学。 60 ( 三 ) : 39102 ( 2017 ) 【c6】 郑海兵 , 李登峰 , 梁北海 , 夏曾 , 郑武杰 , 邓跃堂 , 林师父 , 魏阳 , 陶雪 :
Android自动测试输入生成:在工业案例中实现。 ICSE-SEIP系统 2017 : 253-262 2016 【c5】 夏曾 , 王林 , 杨正峰 , Xin Chen(新晨) , 王丽蕾(Lilei Wang) :
用于非线性混合系统安全验证的Darboux型屏障证书。 EMSOFT公司 2016 : 11:1-11:10 【c4】 夏曾 , 李登峰 , 郑武杰 , 范霞 , 邓跃堂 , 林师父 , 魏阳 , 陶雪 :
Android自动测试输入生成:我们真的在工业案例中存在吗? SIGSOFT FSE公司 2016 : 987-992 2015 [注2] 刘健 , 闵唐 , 夏曾 , 曾振兵 :
初等函数可验证赋值及误差分析 (基本函数的验证评估和误差分析)。 计算机科学 42 ( 4 ) : 25-30 ( 2015 ) 2013 【c3】 闵唐 , 夏曾 , 宋凯(Kai Song) , 刘健 :
C语言库函数中浮点运算的错误分析。 EIDWT公司 2013 : 737-742型
1990 – 1999
1999 [j1] 苏珊德拉·M·班达尔卡 , 夏曾 :
图形-地面分离的进化方法。 申请。 智力。 11 ( 2 ) : 187-212年 ( 1999 ) 1997 【c2】 苏珊德拉·M·班达尔卡 , 夏曾 :
图地分离:通过进化计算实现能量最小化的案例研究。 EMMCVPR公司 1997 : 375-390 【c1】 苏珊德拉·M·班达尔卡 , 夏曾 :
图形-地面分离的进化计算。 ICNN公司 1997 : 1673-1678