孙学超
人员信息
优化列表
2020年–今天
2022 [j1] 李毅 , 谢莉 , 李勇 , 孙学超 , 安德烈亚·图里尼 , 张丽君 :
通过SVM合成循环程序的排序函数。 理论。 计算。 科学。 935 : 1-20 ( 2022 ) 2021 【c6】 宋高 , 伯华詹 , 刘德鹏 , 孙学超 , 延安之 , 大卫·N·詹森 , 张丽君 :
金牛座分布式数据库中共识的形式验证。 FM公司 2021 : 741-751 2020 【c5】 李勇 , 安德烈亚·图里尼 , 孙学超 , 张丽君 :
基于蒙特卡罗抽样的Büchi自动机不包含性的证明。 ATVA公司 2020 : 467-483 [c4] 谢莉 , 李毅 , 李勇 , 孙学超 , 安德烈亚·图里尼 , 张丽君 :
SVMRanker:通过SVM的循环程序的通用终止分析框架。 ESEC/SIGSOFT FSE 2020 : 1635-1639 [i2] 李勇 , 安德烈亚·图里尼 , 孙学超 , 张丽君 :
基于蒙特卡罗抽样证明Büchi自动机的非归纳性。 CoRR公司 abs/2007.02282 ( 2020 )
2010 – 2019
2019 【c3】 傅海燕 , 于莉 , 孙学超 :
快速信息采集与分析系统的设计与实现。 独联体 2019 : 399-401 【c2】 李毅 , 孙学超 , 李勇 , 安德烈亚·图里尼 , 张丽君 :
基于SVM的循环程序嵌套排序函数综合。 国际有限元法 2019 : 438-454 【c1】 李勇 , 孙学超 , 安德烈亚·图里尼 , 陈玉芳 , 徐俊楠 :
ROLL 1.0:\omega-常规语言学习库。 TACAS(1) 2019 : 365-371 [i1] 张龙(Long Zhang) , 孙学超 , 李勇 , 张振宇 :
一种基于噪声敏感性分析的深度神经网络测试优先级技术。 CoRR公司 绝对值/1901.00054 ( 2019 )