孙友成
人员信息
优化列表
2020年–今天
2024 [j13] 魏黄 , 周一凡 , 金高杰 , 孙友成 , 杰蒙 , 范张(音译) , 黄晓伟 以下为:
学习型状态估计系统鲁棒性和弹性的形式化验证。 神经计算 585 以下为: 127643 ( 2024 ) [公元36年] 马建安 , 杨鹏飞 , 王静怡 , 孙友成 , 黄成超 , 王震(音) 以下为:
VeRe:用于修复深度神经网络的验证引导综合。 ICSE公司 2024 以下为: 8点8分13秒 [i27] 张浩南 , 王东霞 , 朱孙 , 李彦辉 , 孙友成 , 梁惠智 , 王文海 以下为:
知识图对推荐系统真的很重要吗? CoRR公司 abs/2404.03164 ( 2024 ) 2023 [公元12年] 塞巴斯蒂安·阿尔特迈耶 , 埃蒂安·安德烈 , 西尔瓦诺·达尔·齐利奥 , 洛伊克·费约兹 , 迈克尔·冈萨雷斯港 , 苏珊·格拉芙 , J.哈维尔·古铁雷斯 , 拉菲克·海尼亚 , 迪迪埃·勒·博特兰 , 朱塞佩·利帕里 , 朱利奥·麦地那 , 尼古拉斯·纳韦 , 关东 , 胡安·玛丽亚·里瓦斯 , 孙友成 以下为:
从FMTV到WATERS:ECRTS第一次验证挑战的经验教训(人工制品)。 Dagstuhl Artifacts爵士。 9 ( 1 ) 以下为: 04:1-04:6 ( 2023 ) [公元11年] 乌斯曼 , 孙友成 , 迪维亚·戈皮纳特 , Rishi Dange公司 , 卢卡·马诺拉奇 , 科琳娜·帕萨雷努 以下为:
测试神经网络的结构覆盖度量概述。 国际期刊软件。 技术工具。 Transf公司。 25 ( 三 ) 以下为: 393-405 ( 2023 ) [公元10年] 陈嘉洛 , 王静怡 , 马兴军 , 孙友成 , 孙军(Jun Sun) , 张培新 , 彭成 以下为:
引言:深度学习系统的面向质量的测试。 ACM变速器。 柔和。 工程方法。 32 ( 5 ) 以下为: 125:1-125:33 ( 2023 ) [公元35年] 塞巴斯蒂安·阿尔特迈耶 , 埃蒂安·安德烈 , 西尔瓦诺·达尔·齐利奥 , 洛伊克·费约兹 , 迈克尔·冈萨雷斯港 , 苏珊·格拉芙 , J.哈维尔·古铁雷斯 , 拉菲克·海尼亚 , 迪迪埃·勒·博特兰 , 朱塞佩·利帕里 , 朱利奥·麦地那 , 尼古拉斯·纳韦 , 关东 , 胡安·玛丽亚·里瓦斯 , 孙友成 以下为:
从FMTV到WATERS:从ECRTS第一次验证挑战中吸取的教训(邀请论文)。 ECRTS系统 2023 以下为: 19:1-19:18 [公元34年] 陈嘉洛 , 孙友成 , 王静怡 , 彭成 , 马兴军 以下为:
深度判断:深度学习模型版权保护的测试框架。 ICSE伴侣 2023 以下为: 64-67 [公元33年] 西单颂 , 孙友成 , 穆斯塔法A.穆斯塔法 , 卢卡斯·科尔德罗 以下为:
AIREPAIR:神经网络修复平台。 ICSE伴侣 2023 以下为: 98-101 [公元32年] 乌斯曼 , 孙友成 , 迪维亚·戈皮纳特 , 科琳娜·帕萨雷努 以下为:
基于规则的神经网络测试。 SE4SafeML@SIGSOFT FSE公司 2023 以下为: 1-5 [公元31年] 西单颂 , 孙友成 , 穆斯塔法A.穆斯塔法 , 卢卡斯·科尔德罗 以下为:
QNNRepair:量化神经网络修复。 SEFM公司 2023 以下为: 320-339 [i26] 伊安妮斯·查拉兰博斯 , 诺伯特·蒂汉伊 , 里迪·贾恩 , 孙友成 , Mohamed Amine Ferrag公司 , 卢卡斯·科尔德罗 以下为:
软件安全的新时代:通过大型语言模型和形式验证走向自我修复软件。 CoRR公司 abs/2305.14752 ( 2023 ) [i25] 西单颂 , 孙友成 , 穆斯塔法A.穆斯塔法 , 卢卡斯·科尔德罗 以下为:
QNNRepair:量化神经网络修复。 CoRR公司 abs/2306.13793 ( 2023 ) 2022 [公元9年] 魏黄 , 孙友成 , 赵星宇 , 詹姆士·夏普 , 阮文杰 , 杰蒙 , 黄晓伟 以下为:
递归神经网络的Coverage-Guided测试。 IEEE传输。 Reliab公司。 71 ( 三 ) 以下为: 1191-1206 ( 2022 ) [公元30年] 孙友成 , 乌斯曼 , 迪维亚·戈皮纳特 , 科琳娜·帕萨雷努 以下为:
VPN:神经网络中毒验证。 无人机/ FoMLAS@CAV 2022 以下为: 3-14 [公元29年] 李仁觉 , 杨鹏飞 , 黄成超 , 孙友成 , 白雪 , 张丽君 以下为:
基于PAC-模型学习的DNN实用鲁棒性分析。 ICSE公司 2022 以下为: 2189-2201 [公元28年] 乌斯曼 , 迪维亚·戈皮纳特 , 孙友成 , 科琳娜·帕萨雷努 以下为:
基于规则的运行时缓解对神经网络的毒药攻击。 RV汽车 2022 以下为: 67-84 [公元27年] 陈嘉洛 , 王静怡 , 彭廷兰 , 孙友成 , 彭成 , 寿灵记 , 马兴军 , 李波(Bo Li) , 黎明之歌 以下为:
收到,对吗? 深度学习模型版权保护测试框架。 服务提供商 2022 以下为: 824-841 【i24】 乌斯曼 , 孙友成 , 迪维亚·戈皮纳特 , 科琳娜·帕萨雷努 以下为:
AntidoteRT:基于神经网络的中毒攻击的实时检测和纠正。 CoRR公司 abs/2202.01179 ( 2022 ) [第23条] 孙友成 , 乌斯曼 , 迪维亚·戈皮纳特 , 科琳娜·帕萨雷努 以下为:
VPN:神经网络中毒验证。 CoRR公司 abs/2205.03894 ( 2022 ) [i22] 象山高 , 马兴军 , 王静怡 , 孙友成 , 李波(Bo Li) , 寿灵记 , 彭成 , 陈继明(Jiming Chen) 以下为:
VeriFi:走向可验证的联合取消学习。 CoRR公司 abs/2205.12709 ( 2022 ) 【i21】 乌斯曼 , 孙友成 , 迪维亚·戈皮纳特 , Rishi Dange公司 , 卢卡·马诺拉奇 , 科琳娜·帕萨雷努 以下为:
测试神经网络的结构覆盖度量概述。 CoRR公司 abs/2208.03407 ( 2022 ) [i20] 李仁觉 , 秦天行 , 杨鹏飞 , 黄成超 , 孙友成 , 张丽君 以下为:
基于模型学习的自动驾驶系统安全性分析。 CoRR公司 abs/2211.12733 ( 2022 ) [i19] 西单颂 , 孙友成 , 穆斯塔法A.穆斯塔法 , 卢卡斯·科尔德罗 以下为:
AIREPAIR:神经网络修复平台。 CoRR公司 abs/2211.15387 ( 2022 ) 2021 [j8] 保罗·巴扎利亚 , 孙友成 , 马可·迪纳塔莱 以下为:
实时周期任务的广义弱硬可调度性分析。 ACM变速器。 嵌入。 计算。 系统。 20 ( 1 ) 以下为: 3:1-3:26 ( 2021 ) [公元26年] 乌斯曼 , 迪维亚·戈皮纳特 , 孙友成 , 亚尼克·诺勒 , 科琳娜·帕萨雷努 以下为:
NNrepair:基于约束的神经网络分类器修复。 CAV(1) 2021 以下为: 3-25 [公元25年] 哈娜·查克勒 , 丹尼尔·克罗宁 , 孙友成 以下为:
遮挡图像的解释。 ICCV公司 2021 以下为: 1214-1223 [公元24年] 乌斯曼 , 亚尼克·诺勒 , 科琳娜·帕萨雷努 , 孙友成 , 迪维亚·戈皮纳特 以下为:
NEUROSPF:神经网络符号分析工具。 ICSE(配套卷) 2021 以下为: 25-28 【c23】 王静怡 , 陈嘉洛 , 孙友成 , 马兴军 , 王东霞 , 孙军(Jun Sun) , 彭成 以下为:
RobOT:面向深度学习系统的健壮性测试。 ICSE公司 2021 以下为: 300-311 [公元22年] 哈德里安·普吉 , 哈娜·查克勒 , 孙友成 , 丹尼尔·克罗宁 以下为:
排名政策决策。 NeurIPS公司 2021 以下为: 8702-8713 [i18] 王静怡 , 陈嘉洛 , 孙友成 , 马兴军 , 王东霞 , 孙军(Jun Sun) , 彭成 以下为:
RobOT:面向深度学习系统的健壮性测试。 CoRR公司 abs/2102.05913 ( 2021 ) [i17] 乌斯曼 , 亚尼克·诺勒 , 科琳娜·帕萨雷努 , 孙友成 , 迪维亚·戈皮纳特 以下为:
NEUROSPF:神经网络符号分析工具。 CoRR公司 abs/2103.00124 ( 2021 ) [i16] 哈娜·查克勒 , 丹尼尔·克罗宁 , 孙友成 以下为:
图像分类器的合成解释。 CoRR公司 abs/2103.03622 ( 2021 ) 【i15】 乌斯曼 , 迪维亚·戈皮纳特 , 孙友成 , 亚尼克·诺勒 , 科琳娜·帕萨雷努 以下为:
NNrepair:基于约束的神经网络分类器修复。 CoRR公司 abs/2103.12535 ( 2021 ) [第14条] 尼古拉斯·贝蒂尔 , 孙友成 , 魏黄 , 张仰豪 , 阮文杰 , 黄晓伟 以下为:
神经网络测试教程。 CoRR公司 abs/2108.01734 ( 2021 ) [i13] 陈嘉洛 , 王静怡 , 彭廷兰 , 孙友成 , 彭成 , 寿灵记 , 马兴军 , 李波(Bo Li) , 黎明之歌 以下为:
收到,对吗? 深度学习模型版权保护测试框架。 CoRR公司 abs/2112.05588 ( 2021 ) 2020 [j7] 黄晓伟 , 丹尼尔·克罗宁 , 阮文杰 , 詹姆士·夏普 , 孙友成 , 埃梅斯·塔莫 , 吴敏(音) , 易信平 以下为:
深度神经网络的安全性和可信度调查:验证、测试、对抗性攻击和防御以及可解释性。 计算。 科学。 版次。 37 以下为: 100270 ( 2020 ) 【c21】 孙友成 , 哈娜·查克勒 , 黄晓伟 , 丹尼尔·克罗宁 以下为:
使用统计故障定位解释图像分类器。 ECCV(28) 2020 以下为: 391-406 [公元20年] 孙友成 , 周一凡 , 西蒙·马斯凯尔 , 詹姆士·夏普 , 黄晓伟 以下为:
学习型车辆跟踪的可靠性验证。 ICRA公司 2020 以下为: 9390-9396 [第19条] 亚尼克·诺勒 , 科琳娜·帕萨雷努 , 马塞尔·伯默 , 孙友成 , 黄林阮 , 拉尔斯·格伦斯克 以下为:
HyDiff:混合差分软件分析。 ICSE公司 2020 以下为: 1273-1285 [第18条] 魏黄 , 周一凡 , 孙友成 , 詹姆士·夏普 , 西蒙·马斯凯尔 , 黄晓伟 以下为:
机器人神经网络状态估计系统的实际验证。 IROS公司 2020 以下为: 7336-7343 [i12] 孙友成 , 周一凡 , 西蒙·马斯凯尔 , 詹姆士·夏普 , 黄晓伟 以下为:
学习型车辆跟踪的可靠性验证。 CoRR公司 abs/2002.02424 ( 2020 ) [i11] 哈德里安·普吉 , 哈娜·查克勒 , 孙友成 , 丹尼尔·克罗宁 以下为:
排名政策决策。 CoRR公司 abs/2008.13607 ( 2020 ) [i10] 魏黄 , 周一凡 , 孙友成 , 亚历克银行 , 杰蒙 , 詹姆士·夏普 , 西蒙·马斯凯尔 , 黄晓伟 以下为:
机器人可学习状态估计系统鲁棒性和弹性的形式化验证。 CoRR公司 abs/2010.08311 ( 2020 )
2010 – 2019
2019 [j6] 孙友成 , 马可·迪纳塔莱 以下为:
多核全局可调度性分析中的悲观主义。 J.系统。 阿基特。 97 以下为: 142-152年 ( 2019 ) [j5] 扎伊德·阿尔巴亚蒂 , 孙友成 , 曾海波 , 马可·迪纳塔莱 , 朱琦 , 布雷特·梅耶 以下为:
多核实时系统数据一致性机制的划分和选择。 ACM变速器。 嵌入。 计算。 系统。 18 ( 4 ) 以下为: 35:1-35:28 ( 2019 ) [j4] 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 , 詹姆士·夏普 , 马修·希尔 , 罗布·阿什莫尔 以下为:
深度神经网络的结构测试覆盖标准。 ACM变速器。 嵌入。 计算。 系统。 18 ( 5秒 ) 以下为: 94:1-94:23 ( 2019 ) [第17条] 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 , 詹姆士·夏普 , 马修·希尔 , 罗布·阿什莫尔 以下为:
DeepConcolic:测试和调试深层神经网络。 ICSE(配套卷) 2019 以下为: 111-114 [第16条] 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 , 詹姆士·夏普 , 马修·希尔 , 罗布·阿什莫尔 以下为:
深度神经网络的结构测试覆盖标准。 ICSE(配套卷) 2019 以下为: 320-321 [第15条] 阮文杰 , 吴敏(音) , 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 , 玛尔塔·奎亚特科夫斯卡 以下为:
具有可证明汉明距离保证的深度神经网络的全局鲁棒性评估。 国际JCAI 2019 以下为: 5944-5952 [第14条] 马丁·布莱恩 , 弗洛里安·沙达 , 孙友成 以下为:
为浮点问题构建更好的位持久性。 TACAS(1) 2019 以下为: 79-98 [i9] 魏黄 , 孙友成 , 黄晓伟 , 詹姆士·夏普 以下为:
testRNN:覆盖引导的递归神经网络测试。 CoRR公司 abs/1906.08557 ( 2019 ) [i8] 孙友成 , 哈娜·查克勒 , 黄晓伟 , 丹尼尔·克罗宁 以下为:
用基于谱的故障定位解释深度神经网络。 CoRR公司 abs/1908.02374 ( 2019 ) [i7] 魏黄 , 孙友成 , 詹姆士·夏普 , 黄晓伟 以下为:
递归神经网络的测试指标。 CoRR公司 abs/1911.01952 ( 2019 ) 2018 [j3] 亚历山德罗·比昂迪 , 孙友成 以下为:
基于1/m的干扰界在全局EDF和FIFO调度分析中的无效性。 实时系统。 54 ( 三 ) 以下为: 第515页至第536页 ( 2018 ) [第13条] 大卫·兰斯伯格 , 孙友成 , 丹尼尔·克罗宁 以下为:
使用规范优化单一故障程序的基于频谱的故障定位。 FASE公司 2018 以下为: 246-263 [第12条] 孙友成 , 吴敏(音) , 阮文杰 , 黄晓伟 , 玛尔塔·奎亚特科夫斯卡 , 丹尼尔·克罗宁 以下为:
深层神经网络的一致性测试。 ASE公司 2018 以下为: 109-119 [第11条] 孙友成 , 马可·迪纳塔莱 以下为:
评估当前多核全局固定优先级可调度性分析的悲观性。 囊 2018 以下为: 575-583 [i6] 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 以下为:
测试深层神经网络。 CoRR公司 abs/1803.04792 ( 2018 ) [i5] 阮文杰 , 吴敏(音) , 孙友成 , 黄晓伟 , 丹尼尔·克罗宁 , 玛尔塔·奎亚特科夫斯卡 以下为:
L0范数可证明保证的深度神经网络的全局鲁棒性评估。 CoRR公司 abs/1804.05805 ( 2018 ) [i4] 孙友成 , 吴敏(音) , 阮文杰 , 黄晓伟 , 玛尔塔·奎亚特科夫斯卡 , 丹尼尔·克罗宁 以下为:
深度神经网络的联合测试。 CoRR公司 abs/1805.00089 ( 2018 ) 2017 [注2] 孙友成 , 马可·迪纳塔莱 以下为:
周期性实时任务固定优先级调度的弱硬可调度性分析。 ACM变速器。 嵌入。 计算。 系统。 16 ( 5秒 ) 以下为: 171:1-171:19 ( 2017 ) [第10条] 孙友成 , 马丁·布莱恩 , 丹尼尔·克罗宁 , 安德鲁·霍索恩 , 托马斯·威尔森 , 弗洛里安·沙达 , 弗朗西斯科·哈维尔·古兹曼·希梅内斯 , 西蒙·丹尼尔 , 克里斯·布赖恩 , 伊恩·布罗斯特 以下为:
基于功能需求的航空电子设备自动化测试。 ICECCS公司 2017 以下为: 170-173 [i3] 孙友成 , 马丁·布莱恩 , 丹尼尔·克罗宁 , 安德鲁·霍索恩 , 托马斯·威尔森 , 弗洛里安·沙达 , 弗朗西斯科·哈维尔·古兹曼·希梅内斯 , 西蒙·丹尼尔 , 克里斯·布赖恩 , 伊恩·布罗斯特 以下为:
基于功能需求的航空电子设备自动化测试。 CoRR公司 abs/1707.01466 ( 2017 ) 2016 [j1] 孙友成 , 朱塞佩·利帕里 以下为:
多处理器全局固定优先级调度中零星任务精确可调度性测试的预序关系。 实时系统。 52 ( 三 ) 以下为: 323-355 ( 2016 ) 【c9】 卢卡·阿贝尼 , 朱塞佩·利帕里 , 安德烈亚·帕里 , 孙友成 以下为:
多核CPU回收:并行还是顺序? 囊 2016 以下为: 1877-1884 2015 【c8】 埃蒂安·安德烈 , 朱塞佩·利帕里 , 黄家阮 , 孙友成 以下为:
基于可达性保持的时间自动机参数综合。 非金融市场 2015 以下为: 50-65岁 【c7】 扎伊德·阿尔巴亚蒂 , 孙友成 , 曾海波 , 马可·迪纳塔莱 , 朱琦 , 布雷特·梅耶 以下为:
实时多核应用程序的任务放置和数据一致性机制选择。 RTAS公司 2015 以下为: 172-181 【c6】 孙友成 , 朱塞佩·利帕里 以下为:
全球最早截止日期优先调度的有限结转响应时间分析。 RTSS系统 2015 以下为: 130-140 [i2] 卢卡·阿贝尼 , 朱塞佩·利帕里 , 安德烈亚·帕里 , 孙友成 以下为:
多核实时全局调度中的并行和顺序回收。 CoRR公司 abs/1512.01984 ( 2015 ) 2014 【c5】 孙友成 , 朱塞佩·利帕里 , 南关 , 王毅 以下为:
改进全局固定优先级多处理器调度的响应时间分析。 RTCSA公司 2014 以下为: 1-9 【c4】 孙友成 , 朱塞佩·利帕里 , 罗曼·苏拉特 , 劳伦特·弗里堡 , 尼古拉斯·马基 以下为:
基于组件的线性混合自动机分层调度分析。 RTCSA公司 2014 以下为: 1-10 【c3】 孙友成 , 朱塞佩·利帕里 以下为:
基于线性混合自动机的全局固定优先级调度实时可调度性分析的弱模拟关系。 RTNS公司 2014 以下为: 35 [c2] 孙友成 , 朱塞佩·利帕里 , 埃蒂安·安德烈 , 劳伦特·弗里堡 以下为:
面向实时组件的参数化定时接口。 同步CoP 2014 以下为: 49-64 2013 【c1】 孙友成 , 罗曼·苏拉特 , 朱塞佩·利帕里 , 埃蒂安·安德烈 , 劳伦特·弗里堡 以下为:
固定优先级实时分布式系统的参数可调度性分析。 FTSCS公司 2013 以下为: 212-228 [i1] 孙友成 , 罗曼·苏拉特 , 朱塞佩·利帕里 , 埃蒂安·安德烈 , 劳伦特·弗里堡 以下为:
固定优先级实时分布式系统的参数可调度性分析。 CoRR公司 abs/1302.1306 ( 2013 )