孟孙 0002
人员信息
附属： 北京大学数学科学学院，LMAM/信息学系，中国北京
其他同名人员
优化列表
2020年–今天
2024 
[公元17年] 魏泽明 , 张喜悦 , 张艺豪 , 孟孙 
以下为：
自然语言任务递归神经网络的加权自动机提取和解释。 J.日志。 代数方法课程。 136 以下为： 100907 ( 2024 ) [公元16年] 玉藤路 , 邵开成 , 贾昭 , 孙伟迪 , 孟孙 以下为：
无监督学习系统的变异测试。 J.系统。 阿奇特。 146 以下为： 103050 ( 2024 ) [i8] 张艺豪 , 泽明伟（Zeming Wei） , 孙军（Jun Sun） , 孟孙 以下为：
通过对抗表示工程实现一般概念模型编辑。 CoRR公司 abs/2404.13752 ( 2024 ) 2023 [公元15年] 孙伟迪 , 薛晓勇 , 玉藤路 , 贾昭 , 孟孙 以下为：
HashC：使深度学习覆盖测试更精细、更快。 J.系统。 阿奇特。 144 以下为： 102999 ( 2023 ) [公元53年] 薛晓勇 , 张喜悦 , 孟孙 以下为：
kProp：用于神经网络鲁棒性验证的多神经元松弛方法。 FSEN公司 2023 以下为： 142-156年 [c52] 郝布 , 孟孙 以下为：
验证深层神经网络的语义稳健性。 冰立方厘米 2023 以下为： 51-60 [c51] 薛晓勇 , 孟孙 以下为：
类Sigmoid神经网络验证的分支与界限。 ICFEM公司 2023 以下为： 137-155 [公元50年] 郝布 , 孟孙 以下为：
DeepPatch：一种基于修补的修复深度神经网络的方法。 深度测试 2023 以下为： 25-32 [公元49年] 郝布 , 孟孙 以下为：
从统计模型检验的角度测量深度神经网络的鲁棒性。 国际JCNN 2023 以下为： 1-8 [公元48年] 李香玉 , 张艺豪 , 栾晓坤 , 薛晓勇 , 孟孙 以下为：
MedTiny：可扩展并行算法的增强中介建模语言。 QRS伴侣 2023 以下为： 451-460 [公元47年] 张艺豪 , 泽明伟（Zeming Wei） , 张喜悦 , 孟孙 以下为：
使用Z3对FNN全局鲁棒性（S）进行形式化建模和验证。 瑞典克朗 2023 以下为： 110-113 [公元46年] 孙伟迪 , 玉藤路 , 栾晓坤 , 孟孙 以下为：
HeatC：深度学习系统的可变训练覆盖标准。 设置 2023 以下为： 243-261 [电子4] 克里斯蒂娜·大卫 , 孟孙 以下为：
软件工程的理论方面-第17届国际研讨会，TASE 2023，英国布里斯托尔，2023年7月4日至6日，会议记录。 计算机科学课堂讲稿 13931, 施普林格 2023 ，国际标准图书编号 978-3-031-35256-0 [目录] [i7] 张艺豪 , 泽明伟（Zeming Wei） , 张锡悦 , 孟孙 以下为：
使用Z3对FNN全局鲁棒性进行形式化建模和验证。 CoRR公司 abs/2304.10558 ( 2023 ) [i6] 泽明伟（Zeming Wei） , 张喜悦 , 张艺豪 , 孟孙 以下为：
自然语言任务递归神经网络的加权自动机提取和解释。 CoRR公司 abs/2306.14040 ( 2023 ) 2022 [公元14年] 穆罕默德·萨奇布·纳瓦兹 , 孟孙 , 巴西特·沙哈扎德 , 穆罕默德·伊克拉姆·乌拉·拉利 , 塔里克·乌默尔 , 少花丸 以下为：
物联网协议设计中的服务质量及其在PVS中的验证。 事务处理。 Emerg.电信。 Technol公司。 33 ( 8 ) ( 2022 ) [j13] 刘艾 , 刘少英 , 孟孙 以下为：
概率调解人：联合大脑的观点。 J.日志。 代数方法程序。 129 以下为： 100808 ( 2022 ) [公元12年] 孙伟迪 , 玉藤路 , 张喜悦 , 孟孙 以下为：
DeepGlobal：前馈神经网络的全局鲁棒性验证框架。 J.系统。 阿奇特。 128 以下为： 102582 ( 2022 ) [公元11年] 玉藤路 , 孙伟迪 , 孟孙 以下为：
强化学习系统的突变测试。 J.系统。 阿奇特。 131 以下为： 102701 ( 2022 ) [公元45年] 玉藤路 , 邵开成 , 孙伟迪 , 孟孙 以下为：
RGChaser:RL引导的深度学习系统模糊和突变测试框架。 DSA（数字减影） 2022 以下为： 12-23 [公元44年] 泽明伟（Zeming Wei） , 张喜悦 , 孟孙 以下为：
从自然语言递归神经网络中提取加权有限自动机。 ICFEM公司 2022 以下为： 370-385 [公元43年] 张喜悦 , 陈晓红 , 孟孙 以下为：
神经网络的统一逻辑框架。 ICTAC公司 2022 以下为： 442-461 [公元42年] 孙伟迪 , 薛晓勇 , 玉藤路 , 孟孙 以下为：
HashC：使DNN的覆盖测试更精细、更快。 设置 2022 以下为： 3-21 [公元41年] 玉藤路 , 邵开成 , 孙伟迪 , 孟孙 以下为：
MTUL：无监督学习系统的变异测试。 设置 2022 以下为： 22-40 [公元40年] 陈福 , 恩斯特·莫里茨·哈恩 , 李勇 , 斯文·舍韦 , 孟孙 , 安德烈亚·图里尼 , 张丽君 以下为：
EPMC了解多代理系统。 VMCAI公司 2022 以下为： 93-107 [i5] 泽明伟（Zeming Wei） , 张喜悦 , 孟孙 以下为：
从自然语言递归神经网络中提取加权有限自动机。 CoRR公司 abs/2206.14621 ( 2022 ) 2021 [公元10年] M.Saqib Nawaz先生 , 穆罕默德·佐哈伊布·纳瓦兹 , 奥斯曼·哈桑 , 菲利普·福尼尔-维格 , 孟孙 以下为：
利用进化/启发式和深度学习技术在HOL4中进行证明搜索和预测。 申请。 因特尔。 51 ( 三 ) 以下为： 1580-1601 ( 2021 ) [公元9年] M.Saqib Nawaz先生 , 穆罕默德·佐哈伊布·纳瓦兹 , 奥斯曼·哈桑 , 菲利普·福尼尔-维格 , 孟孙 以下为：
一种基于进化/启发式的交互式定理证明搜索框架。 申请。 软计算。 104 以下为： 107200 ( 2021 ) [j8] 刘艾 , 孟孙 以下为：
量子系统的统一协同语义框架。 国际期刊软件。 工程知识。 工程师。 31 ( 三 ) 以下为： 381-403 ( 2021 ) [公元39年] 张喜悦 , 杜晓宁 , 谢晓飞 , 雷马 , 杨柳 , 孟孙 以下为：
基于递归神经网络的决策引导加权自动机提取。 AAAI公司 2021 以下为： 11699-11707 [公元38年] 孙伟迪 , 玉藤路 , 孟孙 以下为：
覆盖标准对DNN有意义吗？ 国际JCNN 2021 以下为： 1-8 [公元37年] 栾晓坤 , 孟孙 以下为：
Coq中CKB一致性协议的建模与验证。 QRS伴侣 2021 以下为： 660-667 [公元36年] 栾晓坤 , 张喜悦 , 孟孙 以下为：
使用LSTM预测Coq中的战术。 瑞典克朗 2021 以下为： 132-137 [公元35年] 冯一春 , 玉藤路 , 孟孙 以下为：
UPPAAL（S）中CKB共识协议的建模与验证。 瑞典克朗 2021 以下为： 150-153 [公元34年] 玉藤路 , 孙伟迪 , 广东白族 , 孟孙 以下为：
DeepAuto:迈向深度学习系统正式验证的第一步（S）。 瑞典克朗 2021 以下为： 172-176 [公元33年] 孙伟迪 , 玉藤路 , 张喜悦 , 孟孙 以下为：
DeepGlobal：一个全局健壮性可验证的FNN框架。 设置 2021 以下为： 22-39 [公元32年] 玉藤路 , 孙伟迪 , 孟孙 以下为：
强化学习系统的变异测试。 设置 2021 以下为： 143-160 [公元31年] M.萨奇布·纳瓦兹 , 孟孙 , 菲利普·福尼尔-维格 以下为：
使用模拟退火在PVS定理证明器中进行证明搜索。 国际集成电路协会（2） 2021 以下为： 253-262 [电子3] 迈克尔·坎普 , 伊雷娜·科普林斯卡 , 阿德里安·比巴尔 , 塔萨迪特·博阿迪 , 贝诺？t弗莱奈 , 路易斯·加拉拉加 , 何塞·奥拉马斯 , 利娜拉·阿迪洛娃 , 亚穆纳·克里希那穆尔蒂 , 博康 , 克里斯汀·拉杰隆 , 杰弗里·利赫菲特 , 蒂芬·维亚德 , 帕斯卡·韦尔克 , 马西米利亚诺·鲁奥科 , 埃伦德·奥恩 , 克劳迪奥·加里奇奥 , 格雷戈·席勒 , 弗兰兹·佩恩科普夫 , 迈克拉·布洛特 , 霍尔格·弗罗宁 , Günther Schindler公司 , 里卡多·吉多蒂 , 安娜·蒙雷尔 , Salvatore Rinzivillo公司 , Przemyslaw Biecek公司 , 埃里尼·恩图西 , Mykola Pechenizkiy公司 , 博多·罗森哈恩 , 克里斯托弗·巴克利 , 丹妮拉·西尔菲 , 巴勃罗·拉尼略斯 , 麦克斯韦尔·拉姆斯特德 , 蒂姆·韦伯伦 , 佩德罗·费雷拉 , 朱塞皮娜·安德列西尼 , 多纳托·马尔巴 , 伊贝里亚·梅德罗斯 , 菲利普·福尼尔-维格 , M.Saqib Nawaz先生 , 塞巴斯蒂安·文图拉 , 孟孙 , 周敏 , 瓦莱里奥·比特塔 , 伊拉里亚·博尔迪诺 , 安德烈亚·费雷蒂 , 弗朗西斯科·古洛 , 乔瓦尼·蓬蒂 , 洛伦佐·塞韦里尼 , 丽塔·里贝罗 , 乔·加马 , 里卡德·加瓦尔达 , 李·A·D·库珀 , Naghmeh Ghazaleh先生 , 乔纳斯·里奇亚迪 , 达米安·罗基罗 , 迭戈·萨尔达娜·米兰达 , 康斯坦蒂诺斯·塞奇迪斯 , 吉尔赫梅·格拉萨 以下为：
机器学习和数据库中知识发现的原理与实践——ECML PKDD 2021国际研讨会，虚拟事件，2021年9月13日至17日，会议记录，第一部分。 计算机与信息科学中的通信 1524, 施普林格 2021 ，国际标准图书编号 978-3-030-93735-5 [目录] [电子2] 迈克尔·坎普 , 伊雷娜·科普林斯卡 , 阿德里安·比巴尔 , 塔萨迪特·博阿迪 , 贝诺？t弗莱奈 , 路易斯·加拉拉加 , 何塞·奥拉马斯 , 利娜拉·阿迪洛娃 , 亚穆纳·克里希纳穆尔西 , 博康 , 克里斯汀·拉格伦 , 杰弗里·利赫菲特 , 蒂芬·维亚德 , 帕斯卡·韦尔克 , 马西米利亚诺·若科 , 埃伦德·奥恩 , 克劳迪奥·加里奇奥 , 格雷戈·席勒 , 弗兰兹·佩恩科普夫 , 迈克拉·布洛特 , 霍尔格·弗罗宁 , Günther Schindler公司 , 里卡多·吉多蒂 , 安娜·蒙雷尔 , Salvatore Rinzivillo公司 , 普热米斯劳·比切克 , 埃里尼·恩图西 , Mykola Pechenizkiy公司 , 博多·罗森哈恩 , 克里斯托弗·巴克利 , 丹妮拉·西尔菲 , 巴勃罗·拉尼略斯 , 麦克斯韦尔·拉姆斯特德 , 蒂姆·韦伯伦 , 佩德罗·费雷拉 , 朱塞皮娜·安德列西尼 , 多纳托·马勒巴 , 伊贝里亚·梅德罗斯 , 菲利普·福尼尔-维格 , M.Saqib Nawaz先生 , 塞巴斯蒂安·文图拉 , 孟孙 , 周敏 , 瓦莱里奥·比特塔 , 伊拉里亚·博尔迪诺 , 安德烈亚·费雷蒂 , 弗朗西斯科·古洛 , 乔瓦尼·蓬蒂 , 洛伦佐·塞韦里尼 , 丽塔·里贝罗 , 乔·加马 , 里卡德·加瓦尔达 , 李·A·D·库珀 , Naghmeh Ghazaleh先生 , 乔纳斯·里奇亚迪 , 达米安·罗基罗 , 迭戈·索尔达娜·米兰达 , 康斯坦丁诺斯·塞奇迪斯 , 吉尔赫梅·格拉萨 以下为：
机器学习和数据库中知识发现的原理与实践——ECML PKDD 2021国际研讨会，虚拟事件，2021年9月13日至17日，会议记录，第二部分。 计算机与信息科学中的通信 1525, 施普林格 2021 ，国际标准图书编号 978-3-030-93732-4 [目录] 2020 [j7] 李毅 , 孙伟迪 , 孟孙 以下为：
调解员 ：用于并发和分布式系统的基于组件的建模语言。 科学。 计算。 程序。 192 以下为： 102438 ( 2020 ) [公元30年] 张琪（音译） , 玉藤路 , 孟孙 以下为：
UPPAAL中Nervos-CKB块同步协议的建模和验证。 块系统 2020 以下为： 3-17 [公元29年] 张喜悦 , 李毅 , 孟孙 以下为：
在生产环境中实现正式验证的EVM。 协调 2020 以下为： 341-349 [公元28年] 郝布 , 孟孙 以下为：
Coq中CKB块同步协议的建模和验证。 ICFEM公司 2020 以下为： 287-296 [公元27年] 张锡悦 , 谢晓飞 , 雷马 , 杜晓宁 , 胡强 , 杨柳 , 赵建军 , 孟孙 以下为：
从不确定性的角度描述深度学习软件的对抗性缺陷。 ICSE公司 2020 以下为： 739-751 [c26] 穆罕默德·佐哈伊布·纳瓦兹 , 奥斯曼·哈桑 , M.Saqib Nawaz先生 , 菲利普·福尼尔-维格 , 孟孙 以下为：
用遗传算法在HOL4中进行证明搜索。 囊 2020 以下为： 513-520 [i4] 张喜悦 , 谢晓飞 , 雷马 , 杜晓宁 , 胡强 , 杨柳 , 赵建军 , 孟孙 以下为：
从不确定性的角度描述深度学习软件的对抗性缺陷。 CoRR公司 abs/2004.11573 ( 2020 ) [i3] 孙伟迪 , 玉藤路 , 张喜悦 , Zhanxing Zhu先生 , 孟孙 以下为：
全球鲁棒性验证网络。 CoRR公司 abs/2006.04403 ( 2020 )
2010 – 2019
2019 [j6] 张喜悦 , 威江红 , 李毅 , 孟孙 以下为：
使用Coq和Z3推理连接器。 科学。 计算。 程序。 170 以下为： 27-44 ( 2019 ) [j5] 李毅 , 张喜悦 , 《元一集》 , 孟孙 以下为：
捕获连接器中实时和随机行为的正式框架。 科学。 计算。 程序。 177 以下为： 19-40 ( 2019 ) [公元25年] M.Saqib Nawaz先生 , 孟孙 , 菲利普·福尼尔-维格 以下为：
基于序列模式挖掘的PVS证明指导。 FSEN公司 2019 以下为： 45-60 [公元24年] M.Saqib Nawaz先生 , 孟孙 以下为：
使用PVS对概率连接器进行建模和验证。 FSEN公司 2019 以下为： 61-76 【c23】 白雪 , 杨柳 , 雷马 , 张喜悦 , 孟孙 , 谢晓飞 以下为：
黑盒系统的安全输入近似。 冰立方厘米 2019 以下为： 180-189 [公元22年] 刘艾 , 孟孙 以下为：
量子系统的协同语义框架。 ICFEM公司 2019 以下为： 387-402 【c21】 孙伟迪 , 孟孙 以下为：
用于中介模型验证的PRISM代码生成（S）。 瑞典克朗 2019 以下为： 271-354 [公元20年] 张锡悦 , 孟孙 以下为：
基于SMT的云应用程序建模和验证。 服务 2019 以下为： 1-15 [第19条] 李毅 , 孟孙 以下为：
分布式中介。 TASE公司 2019 以下为： 17-24 [第18条] 张喜悦 , 李毅 , 威江红 , 孟孙 以下为：
使用递归神经网络预测Coq中证明组件连接器属性的策略。 TASE公司 2019 以下为： 107-112 [i2] M.Saqib Nawaz先生 , 莫恩·马利克 , 李毅 , 孟孙 , 穆罕默德·伊克拉姆·乌拉·拉利 以下为：
形式方法中定理证明者综述。 CoRR公司 腹肌/1912.03028 ( 2019 ) 2018 【j4】 玉藤路 , 孟孙 以下为：
物联网UPPAAL中IEEE 802.11i安全协议的建模与验证。 国际期刊软件。 工程知识。 工程师。 28 ( 11-12 ) 以下为： 1619-1636 ( 2018 ) [j3] 李丽 , 孙军（Jun Sun） , 杨柳 , 孟孙 , 金松洞 以下为：
时间安全协议的形式化规范和验证框架。 IEEE传输。 软件工程。 44 ( 8 ) 以下为： 725-746 ( 2018 ) [第17条] M.Saqib Nawaz先生 , 孟孙 以下为：
遗传算法算子的形式化设计模型及其在PVS中的编码。 BDIOT公司 2018 以下为： 186-190 [第16条] 李毅 , 孟孙 以下为：
从中介器生成Arduino C代码。 一切都是关于协调 2018 以下为： 174-188 [第15条] 孟孙 , 张锡悦 以下为：
基于时间数据分布流的概率连接器关系模型。 格式 2018 以下为： 125-141 [第14条] 玉藤路 , 孟孙 以下为：
物联网IEEE 802.11i安全协议的建模与验证。 瑞典克朗 2018 以下为： 270至269 [第13条] 张喜悦 , 孟孙 以下为：
Coq（S）中概率连接器的形式化建模和验证。 瑞典克朗 2018 以下为： 385-384 [c12] M.Saqib Nawaz先生 , 孟孙 以下为：
Reo2PVS：组件连接器的正式规范和验证。 瑞典克朗 2018 以下为： 391-390 [第11条] 刘艾 , 顺旺 , 李毅 , 孟孙 以下为：
中介语义学：一个共代数的视角。 软着陆+MSVL 2018 以下为： 146至165 [电子1] 孙晶（音译） , 孟孙 以下为：
形式方法和软件工程——第20届形式工程方法国际会议，ICFEM 2018，澳大利亚昆士兰州黄金海岸，2018年11月12-16日，会议记录。 计算机科学课堂讲稿 11232, 施普林格 2018 ，国际标准图书编号 978-3-030-02449-9 [目录] 2017 [第10条] 李毅 , 孟孙 以下为：
中介中基于组件的建模。 FACS公司 2017 以下为： 1-19 【c9】 李毅 , 张喜悦 , 《元一集》 , 孟孙 以下为：
捕获Reo连接器中的随机和实时行为。 SBMF公司 2017 以下为： 287-304 【c8】 威江红 , M.萨奇布·纳瓦兹 , 张喜悦 , 李毅 , 孟孙 以下为：
使用Coq对定时连接器进行形式化建模和验证。 SEFM研讨会 2017 以下为： 558-573 2016 【c7】 张喜悦 , 威江红 , 李毅 , 孟孙 以下为：
Coq中连接器的推理。 FACS公司 2016 以下为： 172-190 【c6】 平房港 , 李毅 , 陈晓红 , 孙军（Jun Sun） , 孟孙 , 王静怡 以下为：
混合动力系统的和谐测试。 FM公司 2016 以下为： 460-478 【c5】 李毅 , 孟孙 , 义乌王 以下为：
从黑匣子到定时连接器的主动学习。 TASE公司 2016 以下为： 132-135 [i1] 平房港 , 李毅 , 陈晓红 , 孙军（Jun Sun） , 孟孙 , 王静怡 以下为：
混合动力系统的和谐测试。 CoRR公司 abs/1608.08754 ( 2016 ) 2015 [注2] 李毅 , 孟孙 以下为：
Coq中组件连接器的建模和验证。 科学。 计算。 程序。 113 以下为： 285-301 ( 2015 ) 【c4】 李绍东 , 陈晓红 , 王义乌 , 孟孙 以下为：
定时连接器离线一致性测试框架。 TASE公司 2015 以下为： 15-22 2014 【c3】 孟孙 , 李毅 以下为：
电子政务应用程序中复杂交互的形式化建模和验证。 ICEGOV公司 2014 以下为： 506-507 [c2] 陈晓红 , 孙军（Jun Sun） , 孟孙 以下为：
网络物理系统中连接器的混合模型。 ICFEM公司 2014 以下为： 59-74 2013 【c1】 李毅 , 孟孙 以下为：
Coq中组件连接器的建模与分析。 FACS公司 2013 以下为： 273至290 2012 [j1] 路易斯·苏亚雷斯·巴博萨 , 孟孙 以下为：
通用、QoS-Aware组件合成的微积分。 数学。 计算。 科学。 6 ( 4 ) 以下为： 475-497年 ( 2012 )
合著者索引
