徐志武 0001
人员信息
unicode名称： 许智武 附属： 深圳大学计算机科学与软件工程学院 隶属关系（以前）： 中国广州广东电网公司 从属关系（2013年博士）： 法国巴黎迪德罗大学
其他同名人员
优化列表
2020年–今天
2024 
[公元14年] 刘嘉祥 , 运汉星 , 小木市 , 傅松 , 徐志武 , 钟明 :
抽象和精化：面向神经网络的可扩展和精确验证。 ACM事务处理。 柔和。 工程方法。 33 ( 5 ) : 129:1-129:35 ( 2024 ) [公元32年] 徐志武 
, 吴伯豪 , 程文 , Bin Zhang（张斌） , 秦胜超 , 蒙大河 :
RPG：Rust Library Fuzzing，具有基于池的Fuzz目标生成和通用支持。 ICSE公司 2024 : 124:1-124:13 [公元31年] 子轩红 , 曹伟鹏 , 徐志武 , 陈真如 , 西涛 , 钟明 , 曹楚青（Chuqing Cao） , 梁正 :
MetaVSR：一种用于任意放大的视频超分辨率的新方法。 MMM（1） 2024 : 300-313 [i4] 程文 , 曹家伦 , 杰苏 , 徐志武 , 秦胜超 , 蒙大河 , 李浩坤 , Shing-Chi Cheung先生 , 丛天 :
使用静态分析和程序验证通过大型语言模型进行迷人的程序规范合成。 CoRR公司 abs/2404.00762 ( 2024 ) 2023 [j13] 徐志武 , 刘亚政 , 秦胜超 , 钟明 :
基于线性规划的前馈深度神经网络输出范围分析。 IEEE传输。 Reliab公司。 72 ( 三 ) : 1191-1205 ( 2023 ) [公元30年] 王欣怡 , 岑章 , 李叶亭 , 徐志武 , 黄帅林 , 刘毅（音） , 姚一灿 , 杨晓 , 邹艳艳 , 杨柳 , 魏火 :
通过原则性漏洞建模和漏洞生成实现有效的ReDoS检测。 服务提供商 2023 : 2427-2443 [公元29年] 吴云林 , 徐志武 , 秦胜超 :
基于带参数API使用图的模式挖掘检测API误用。 TASE公司 2023 : 344-363 2022 [公元12年] 贾丁 , 徐志武 :
基于转移的修正Adam和颜色不变性对抗攻击。 国际期刊软件。 信息学 12 ( 4 ) : 437-452 ( 2022 ) [公元28年] 程文 , 何孟达 , 吴伯豪 , 徐志武 , 秦胜超 :
通过定期调度进行受控并发测试。 ICSE公司 2022 : 474-486 [公元27年] 李叶亭 , 孙野成 , 徐志武 , 曹家伦 , 李月康 , 李荣晨 , 陈海明（Haiming Chen） , Shing-Chi Cheung先生 , 杨柳 , 杨晓 :
Regex手术刀：本地化和修复的正则表达式拒绝服务（ReDoS）防御。 USENIX安全研讨会 2022 : 4183-4200 [i3] 刘嘉祥 , Yunhan Xing（云汉星） , 小木市 , 傅松 , 徐志武 , 钟明 :
抽象和精化：面向神经网络的可扩展和精确验证。 CoRR公司 腹肌/2207.00759 ( 2022 ) 2021 [公元11年] 徐志武 , 陈洪旭 , Alwen Tiu先生 , 杨柳 , 库纳尔·萨琳 :
用于安全信息流分析的许可依赖型系统。 J.计算。 安全。 29 ( 2 ) : 161-228 ( 2021 ) [j10] 曹伟鹏 , 谢忠武 , 李建强 , 徐志武 , 钟明 , 王希钊 :
回归问题的双向随机配置网络。 神经网络 140 : 237-246 ( 2021 ) [公元9年] 徐志武 , 程文 , 秦胜超 , 蒙大河 :
使用主动学习从神经网络中提取自动机。 同行J计算。 科学。 7 : 电子436 ( 2021 ) [j8] 陶一大 , 山塘 , 刘业邦 , 徐志武 , 秦胜超 :
用替代实现加速数据操作任务：一项探索性研究。 ACM事务处理。 柔和。 工程方法。 30 ( 4 ) : 49:1-49:28 ( 2021 ) [公元26年] 李叶亭 , 李帅民 , 徐志武 , 曹嘉伦 , 陈子轩 , 云虎 , 陈海明（Haiming Chen） , 成志祥 :
TRANSREGEX：通过生成和修复的多模式正则表达式合成。 ICSE公司 2021 : 1210-1222 [公元25年] 陶一大 , 陈志辉 , 刘业邦 , 吉峰轩 , 徐志武 , 秦胜超 :
解密数据科学图书馆中的“错误”错误消息。 ESEC/SIGSOFT FSE 2021 : 818-829 [公元24年] 丛洲 , 曹伟鹏 , 徐志武 :
具有语义属性的刑法罪名预测。 智能通信 2021 : 208-217 【c23】 李叶亭 , 陈子轩 , 曹家伦 , 徐志武 , 钱承鹏 , 陈海明（Haiming Chen） , 陈丽媛 , Shing-Chi Cheung先生 :
ReDoSHunter：用于正则表达式DoS检测的静态和动态组合方法。 USENIX安全研讨会 2021 : 3847-3864 2020 [j7] 蒙大河 , 秦胜超 , 徐志武 :
用于推理具有发布序列的C11程序的程序逻辑。 IEEE接入 8 : 173874-173903 ( 2020 ) [j6] 陈海明（Haiming Chen） , 徐志武 :
一个明确正则表达式的包含算法及其应用。 科学。 计算。 程序。 193 : 102436 ( 2020 ) [公元22年] 叶柳 , 曹伟鹏 , 钟明 , 王强（Qiang Wang） , 张继勇 , 徐志武 :
用随机权重集成神经网络解决分类问题。 巴西莓 2020 : 15:1-15:5 【c21】 贾丁 , 徐志武 :
计算机视觉深度学习模型的对抗性攻击：一项调查。 ICA3PP（3） 2020 : 396-408 [公元20年] 曹伟鹏 , 丛洲 , 吴玉豪 , 钟明 , 徐志武 , 张继勇 :
超越计算机视觉的零拍学习研究进展。 ICA3PP（2） 2020 : 538-551 [第19条] 李叶亭 , 曹家伦 , 陈海明 , 丁健阁 , 徐志武 , 钱承鹏 :
FlashSchema：利用强大的推理算法和大规模模式数据实现高质量的XML模式。 集成电路驱动单元 2020 : 1962-1965 [第18条] 程文 , 王海军（Haijun Wang） , 李月康 , 秦胜超 , 杨柳 , 徐志武 , 陈洪旭 , 谢晓飞 , 葛光浦 , 刘婷（Ting Liu） :
MemLock：内存使用引导的模糊化。 ICSE公司 2020 : 765-777 [第17条] 李叶婷 , 徐志武 , 曹家伦 , 陈海明（Haiming Chen） , 葛庭坚 , Shing-Chi Cheung先生 , 赵浩仁 :
FlashRegex：从示例中推断反ReDoS Regex。 ASE公司 2020 : 659-671 [第16条] 陶一大 , 蒋洁芳 , 刘业邦 , 徐志武 , 秦胜超 :
了解数据科学库API文档中的性能问题。 ASE公司 2020 : 895-906 [第15条] 徐志武 , 胡雄雅 , 陶一大 , 秦胜超 :
使用HMM和N-Gram分析Android应用程序的加密API用法。 TASE公司 2020 : 153-160 [i2] 李叶亭 , 李帅敏 , 徐志武 , 曹家伦 , 陈子轩 , 云虎 , 陈海明（Haiming Chen） , Shing-Chi Cheung先生 :
TransRegex：通过生成和修复的多模式正则表达式合成。 CoRR公司 abs/2012.15489 ( 2020 )
2010 – 2019
2019 [j5] 曹伟鹏 , 钟明 , 徐志武 , 张继勇 , 王强（Qiang Wang） :
具有动态遗忘因子的在线顺序极端学习机器。 IEEE接入 7 : 179746-179757 ( 2019 ) 【j4】 徐志武 , 平鲁 , 陈海明（Haiming Chen） :
走向有效语法和确定性标准正则表达式生成器。 计算。 J。 62 ( 9 ) : 1322-1341 ( 2019 ) [j3] 徐志武 , 程文 , 秦胜超 :
二进制文件的类型学习及其应用。 IEEE传输。 Reliab公司。 68 ( 三 ) : 893-912 ( 2019 ) [第14条] 傅松 , 张业迪 , 陈陶璐 , 于堂 , 徐志武 :
概率交替时间 µ -微积分。 AAAI公司 2019 : 6179-6186 [第13条] 陶一大 , 山塘 , 刘业邦 , 徐志武 , 秦胜超 :
API选择如何影响数据分析任务的运行时性能？ ASE公司 2019 : 665-668 [第12条] 徐志武 , 科容任 , 傅松 :
使用CFG和DFG对Android恶意软件家族进行分类和特征描述。 TASE公司 2019 : 49-56 2018 [注2] 徐志武 , 程文 , 秦胜超 :
用于检测资源错误的状态污染分析。 科学。 计算。 程序。 162 : 93-109 ( 2018 ) [第11条] 陈洪旭 , Alwen Tiu先生 , 徐志武 , 杨柳 :
用于安全信息流分析的许可相关型系统。 CSF公司 2018 : 218-232 [第10条] 王静怡 , 孙军（Jun Sun） , 贾一凡 , 秦胜超 , 徐志武 :
“验证”水处理系统。 调频 2018 : 73-92 【c9】 徐志武 , 科容任 , 秦胜超 , 弗洛林·克雷西恩（Florin Craciun） :
CDGDroid：基于CFG和DFG的深度学习的Android恶意软件检测。 ICFEM公司 2018 : 177-193 2017 【c8】 徐志武 , 程文 , 秦胜超 :
二进制文件的学习类型。 国际有限元法 2017 : 430-446 【c7】 徐志武 , 程文 , 秦胜超 , 钟明 :
基于行为和数据特征的有效恶意软件检测。 智能通信 2017 : 53-66 [i1] 陈洪旭 , Alwen Tiu先生 , 徐志武 , 杨柳 :
用于安全信息流分析的许可相关型系统。 CoRR公司 abs/1709.09623 ( 2017 ) 2016 【c6】 徐志武 , 董晓凡 , 秦胜超 :
用于检测资源Bug的状态修复分析。 TASE公司 2016 : 168-175 2015 【c5】 朱塞佩·卡斯塔尼亚 , 金恩恩（Kim Nguyen） , 徐志武 , 彼得罗·阿巴特 :
具有集合论类型的多态函数：第2部分：局部类型推断和类型重构。 POPL公司 2015 : 289-302 2014 【c4】 朱塞佩·卡斯塔尼亚 , 金恩恩（Kim Nguyen） , 徐志武 , Hyeonseung Im公司 , SergueïLenglet公司 , 卢卡·帕多瓦尼 :
具有集合理论类型的多态函数：第1部分：语法、语义和计算。 POPL公司 2014 : 5-18 2013 【b1】 徐志武 :
XML处理语言的参数多态性。 （多态性Param'trique Pour Le Traitement De Documents XXML）。 法国巴黎迪德罗大学， 2013 【c3】 梁杜 , 易东申 , 沈志勇 , 王建英 , 徐志武 :
集群集成的自我监督框架。 瓦伊姆 2013 : 253-264 2011 [j1] 徐志武 , 郑丽霄 , 陈海明（Haiming Chen） :
从上下文无关语法生成句子的工具包。 国际期刊软件。 信息学 5 ( 4 ) : 659-676 ( 2011 ) 【c2】 朱塞佩·卡斯塔尼亚 , 徐志武 :
参数多态性和子类型的集合理论基础。 ICFP公司 2011 : 94-106 2010 【c1】 徐志武 , 郑丽霄 , 陈海明（Haiming Chen） :
从上下文无关语法生成句子的工具包。 SEFM公司 2010 : 118-122
合著者索引
