魏火
人员信息
其他同名人员
优化列表
2020年–今天
2024 【j30】 魏火 , 陈晓萌 , 科米·丁 , Subhrakanti戴伊 , 灵石 :
聚合博弈中分布式纳什均衡搜索的基于压缩的隐私保护。 IEEE控制。 系统。 莱特。 8 : 886-891 ( 2024 ) [公元29年] 魏火 , 王珂(Ke Wang) , 唐骏 , 年王 , 董亮 :
步态识别:步态识别的因果表征学习。 计算。 视觉。 图像理解。 243 : 103995 ( 2024 ) [公元28年] 王霞静 , Rui Ma公司 , 魏火 , Zheng Zhang先生 , 何金源 , 张超南 , 东海田 :
语法:使用粒子群优化进行潜在感知模糊。 J.系统。 柔和。 208 : 111880 ( 2024 ) [公元27年] 姚张(音) , 魏火 , 唐骏 :
基于潜在表示学习和动态图约束的多标签特征选择。 模式识别。 151 : 110411 ( 2024 ) [公元58年] 刘一鸣 , 岑章 , 冯丽 , 李叶亭 , 周建华 , 王健(Jian Wang) , 詹兰兰(Lanlan Zhan) , 杨柳 , 魏火 :
基带固件中语义增强的静态漏洞检测。 集成电路 2024 : 173:1-173:12 [第九章] 魏火 , 陈晓萌 , 黄玲莹 , 卡尔·亨里克·约翰逊 , 灵石 :
分布式资源分配的差分私有双梯度跟踪。 CoRR公司 abs/2403.18275 ( 2024 ) [i8] 魏火 , 陈晓萌 , 科米·丁 , Subhrakanti戴伊 , 灵石 :
聚合博弈中分布式纳什均衡搜索的基于压缩的隐私保护。 CoRR公司 abs/2405.03106 ( 2024 ) [i7] 陈晓萌 , 魏火 , 科米·丁 , Subhrakanti戴伊 , 灵石 :
具有线性收敛性的通信效率差分私有分布式纳什均衡搜索。 CoRR公司 abs/2405.04757 ( 2024 ) 2023 [公元26年] 邹燕燕 , Wei Zou(魏邹) , 赵嘉诚 , 南宇中 , 于章 , 纪实 , 魏火 :
PosFuzz:使用有效的位置分布增强灰箱模糊。 网络安全。 6 ( 1 ) : 11 ( 2023 ) [公元25年] 郝峰 , 年王 , 赵发(Fa Zhao) , 魏火 :
用于高效图像检索的深度关注采样散列。 神经计算 559 : 126764 ( 2023 ) [公元57年] Rui Ma公司 , Xvhong Zhou先生 , 王霞静 , Zheng Zhang先生 , 姜金曼 , 魏火 :
pAFL:具有置信上限的自适应能量分配。 ICCNS公司 2023 : 62-68 [公元56年] 精艺师 , 杨晓 , 李月康 , 李叶亭 , 余东松 , 俞晨东 , 苏慧(Hui Su) , 陈玉凤 , 魏火 :
ACETest:用于测试深度学习操作符的自动约束提取。 ISSTA公司 2023 : 690-702 [公元55年] 何苏 , 冯丽 , 徐丽丽(Lili Xu) , 胡文波 , 孙玉洁 , 青孙 , 赵惠娜(Huina Chao) , 魏火 :
辉煌:现代Web应用程序中存储XSS的静态检测。 ISSTA公司 2023 : 1043-1054 [公元54年] 陈静婷 , 冯丽 , 陈庆芳 , 李萍 , 徐丽丽(Lili Xu) , 魏火 :
EBugDec:检测协议实现中由RFC进化引起的不一致错误。 磁盘阵列 2023 : 412-425 [公元53年] 王晓伟 , 紫木园 , 杨晓 , 王丽燕 , 姚一灿 , 陈海明(Haiming Chen) , 魏火 :
基于反编译的深度二进制源函数匹配。 科学与安全 2023 : 244-260 [第52条] Jiawei尹 , 李梦浩 , 李月康 , Yong Yu(永余) , 伯鲁·林 , 邹燕燕 , 杨柳 , 魏火 , 薛晶凌 :
RSFuzzer:使用混合模糊处理发现UEFI固件中的深层SMI处理程序漏洞。 服务提供商 2023 : 2155-2169 [第51条] 王欣怡 , 岑章 , 李叶亭 , 徐志武 , 黄帅林 , 刘毅(音) , 姚一灿 , 杨晓 , 邹燕燕 , 杨柳 , 魏火 :
通过原则性漏洞建模和漏洞生成实现有效的ReDoS检测。 服务提供商 2023 : 2427-2443 [i6] 李云峰 , 王波(Bo Wang) , 叶莉 , 魏火 , 刘卓彦 :
基于运动的后处理:在水下目标跟踪中使用卡尔曼滤波器排除相似目标。 CoRR公司 abs/2301.01482 ( 2023 ) [i5] 魏火 , Kam Fai Elvis Tsang先生 , Yamin Yan(阎亚敏) , 卡尔·亨里克·约翰逊 , 灵石 :
随机事件触发机制下的分布式纳什均衡寻求。 CoRR公司 abs/2304.10338 ( 2023 ) [i4] 精艺师 , 杨晓 , 李月康 , 李叶亭 , 余东松 , 余晨东 , 苏慧(Hui Su) , 陈玉凤 , 魏火 :
ACETest:用于测试深度学习操作符的自动约束提取。 CoRR公司 腹肌/2305.17914 ( 2023 ) [i3] 陈晓萌 , 魏火 , 吴宇驰(Yuchi Wu) , Subhrakanti戴伊 , 灵石 :
采用压缩和事件触发通信的高效分布式纳什均衡搜索。 CoRR公司 abs/2311.13994 ( 2023 ) 2022 [公元24年] 纪实 , Wei Zou(魏邹) , 张超(Chao Zhang) , 凌霄坛 , 邹燕燕 , 岳鹏 , 魏火 :
CAMFuzz:可解释的模糊与局部解释。 网络安全。 5 ( 1 ) : 17 ( 2022 ) [公元23年] 于章 , 南宇中 , 魏友 , 邹燕燕 , Kunpeng Jian公司 , 徐佳欢 , 孙健 , 刘保旭 , 魏火 :
NDFuzz:用于虚拟化网络设备的非侵入式覆盖引导模糊框架。 网络安全。 5 ( 1 ) : 21 ( 2022 ) [公元22年] 陈冠军 , 魏火 :
基于能量整形的欠驱动刚性卫星角速度稳定。 J.弗兰克尔。 仪器。 359 ( 4 ) : 1558-1581 ( 2022 ) [公元50年] 黄玲莹 , 陈晓萌 , 魏火 , 王家正 , 范张(音译) , 柏白 , 灵石 :
基于问题约简改进混合整数规划问题的原始启发式:一种基于学习的方法。 ICARCV公司 2022 : 181-186 [公元49年] 青孙 , 徐丽丽(Lili Xu) , 杨晓 , 冯丽 , 何苏 , 刘一鸣 , 黄红云 , 魏火 :
VERJava:通过两阶段分析识别Java OSS的易受攻击版本。 国际中小企业联合会 2022 : 329-339 [公元48年] 何苏 , 徐丽丽(Lili Xu) , 赵惠娜(Huina Chao) , 冯丽 , 紫木园 , 周建华 , 魏火 :
一种以消毒剂为中心的分析,用于检测PHP程序中的跨站点脚本。 ISSRE公司 2022 : 355-365 [公元47年] Jiawei尹 , 李梦浩 , 吴伟 , 孙丹丹 , 周建华 , 魏火 , 薛晶凌 :
使用以协议为中心的静态分析查找UEFI固件中的SMM特权扩展漏洞。 服务提供商 2022 : 1623-1637 [c46] 陈静婷 , 冯丽 , 徐明杰 , 周建华 , 魏火 :
RIBDector:一种用于协议实现的RFC引导的不一致性错误检测方法。 桑纳 2022 : 641-651 [i2] 黄玲莹 , 陈晓萌 , 魏火 , 王家正 , 范张(音译) , 柏白 , 灵石 :
基于问题约简改进混合整数规划问题的原始启发式:一种基于学习的方法。 CoRR公司 abs/2209.13217 ( 2022 ) 2021 [公元21年] 古班 , 徐丽丽(Lili Xu) , 杨晓 , 新华里 , 紫木园 , 魏火 :
B2SMatcher:二进制文件中开源软件的经过精细训练的版本标识。 网络安全。 4 ( 1 ) : 21 ( 2021 ) [公元20年] 于章 , 魏火 , Kunpeng Jian公司 , 纪实 , 刘龙泉 , 邹燕燕 , 张超(Chao Zhang) , 刘保旭 :
ESRFuzzer:一个用于物理SOHO路由器设备的增强模糊化框架,用于发现多类型漏洞。 网络安全。 4 ( 1 ) : 24 ( 2021 ) [j19] 曹宁 , 魏火 , 泰和林 , 吴刚山 :
基于交通视频的卷积神经网络和图像处理算法在车辆尾灯检测中的应用。 Int.J.Sens.Networks公司 35 ( 三 ) : 181-192 ( 2021 ) [公元45年] 何晓宇 , 谢晓飞 , 李月康 , 孙建文 , 冯丽 , Wei Zou(魏邹) , 杨柳 , 雷雨 , 周建华 , 文昌石 , 魏火 :
SoFi:JavaScript引擎的反射增强模糊。 CCS系统 2021 : 2229-2242 [公元44年] 杨晓 , 徐正子 , 张伟伟(Weiwei Zhang) , 俞晨东 , 刘龙泉 , Wei Zou(魏邹) , 紫木园 , 杨柳 , 爱华飘 , 魏火 :
VIVA:通过部分签名识别二进制级漏洞。 桑纳 2021 : 213-224 [i1] 黄玲英 , 陈晓萌 , 魏火 , 王家正 , 范张(音译) , 柏白 , 灵石 :
混合整数线性规划问题中的分支与界:技术与趋势综述。 CoRR公司 abs/2111.06257 ( 2021 ) 2020 [公元18年] 徐丽丽(Lili Xu) , 徐明杰 , 冯丽 , 魏火 :
ELAID:通过轻量级和准确的静态分析检测integer-Overflow-to-Buffer-Overflow漏洞。 网络安全。 三 ( 1 ) : 1-19 ( 2020 ) [公元17年] 李梦浩 , 王培(音译) , 王伟(音译) , 王帅(Shuai Wang) , 吴定浩 , 刘健 , 瑞雪 , 魏火 , Wei Zou(魏邹) :
Android市场中的大型第三方库检测。 IEEE传输。 软件工程。 46 ( 9 ) : 981-1003 ( 2020 ) [公元43年] 钱妮 , 《梅霞集》 , 曹宁 , 杜寿旭 , 魏火 :
基于物联网的车载手机遥控多视显示器设计。 ICAIS(1) 2020 : 719-728 [公元42年] 刘炳昌 , 孟国柱 , Wei Zou(魏邹) , 气功 , 冯丽 , 林敏(Min Lin) , 孙丹丹 , 魏火 , 张超(Chao Zhang) :
关于项目内脆弱性分布和经验教训的大规模实证研究。 集成电路 2020 : 1547-1559 [公元41年] 何晓宇 , 埃里克·鲍曼 , 冯丽 , 雷雨 , 李林宇(Linyu Li) , 刘炳昌 , 爱华飘 , 凯文·哈姆伦 , 魏火 , Wei Zou(魏邹) :
利用边界之间的信任:通过驱动程序辅助测试发现打印机中的内存损坏。 LCTES公司 2020 : 74-84 [公元40年] 杨晓 , 陈碧欢 , 俞晨东 , 徐正子 , 紫木园 , 冯丽 , 刘炳红 , 杨柳 , 魏火 , Wei Zou(魏邹) , 文昌石 :
MVP:使用补丁增强漏洞签名检测漏洞。 USENIX安全研讨会 2020 : 1165-1182
2010 – 2019
2019 [公元39年] 于章 , 魏火 , Kunpeng Jian公司 , 纪实 , 陆浩良 , 刘龙泉 , 陈旺 , 孙丹丹 , 张超(Chao Zhang) , 刘保旭 :
SRFuzzer:物理SOHO路由器设备的自动模糊框架,用于发现多类型漏洞。 ACSAC公司 2019 : 544-556 [公元38年] 陈冠军 , 魏火 :
基于受控拉格朗日方法的垂直起降飞机稳定。 疾病预防控制中心 2019 : 5874-5879 [公元37年] 彭嘉琪 , 冯丽 , 刘炳昌 , 徐丽丽(Lili Xu) , 刘炳红 , 陈凯(Kai Chen) , 魏火 :
1dVul:通过二进制修补程序发现1天漏洞。 直接序列号 2019 : 605-616 [公元36年] 董丽(Dong Li) , 魏火 :
基于扰动观测器的平流层飞艇路径跟踪控制。 ICCA公司 2019 : 160-167 [公元35年] 穆岳峰 , 紫木园 , 冯丽 , 古班 , 王世扬(Shiyang Wang) , 钱塘 , 何苏 , 俞晨东 , 徐佳欢 , 爱华飘 , 薛晶凌 , 魏火 :
B2SFinder:检测COTS软件中的开源软件重用。 ASE公司 2019 : 1038-1049 [公元34年] 高建浩 , 冯丽 , 魏火 , 青孙 , 王伟(音译) , 新华里 , Wei Zou(魏邹) :
构建支持静态应用程序安全测试工具可解释评估的基准。 TASE公司 2019 : 65-72 [公元33年] 穆岳峰 , 毛卫轩 , 紫木园 , 杨晓 , 古班 , 王伟(音译) , 王世扬(Shiyang Wang) , 钱塘 , 徐佳欢 , 何苏 , 刘炳宏 , 魏火 :
大规模二进制软件的开源许可证违规。 桑纳 2019 : 564-568 2018 [公元16年] Lujie Zhong先生 , 彭昌紫杉 , 魏火 , 冯丽 , 冯小兵 , 张兆清 :
RARE:大型程序中定义使用错误的有效静态故障检测框架。 IEEE接入 6 : 10432-10444 ( 2018 ) [公元15年] 曲文玉 , 魏火 , 王玲玉 :
Web应用程序中基于机会主义多样性的注入攻击检测。 EAI背书交易。 安保安全 5 ( 16 ) : e5(电子5) ( 2018 ) [公元14年] 梁荪 , 魏火 , 宗夏角 :
基于扰动观测器的航天器交会和接近操作相对姿态鲁棒控制。 IEEE传输。 Aerosp.航空公司。 电子。 系统。 54 ( 4 ) : 1605-1617 ( 2018 ) [公元32年] 徐明杰 , 李胜南 , 徐丽丽(Lili Xu) , 冯丽 , 魏火 , Jing Ma公司 , 新华里 , 黄庆嘉 :
一种轻量级、精确的静态整数溢出到缓冲区溢出漏洞检测方法。 Inscrypt(加密) 2018 : 404-423 [公元31年] 王振洲 , 魏火 , 俞萍萍 , 林奇 , 曹宁 :
基于车联网的汽车尾灯检测与语义识别研究。 CyberC公司 2018 [公元30年] 刘炳昌 , 魏火 , 张超(Chao Zhang) , 李文超 , 冯丽 , 爱华飘 , Wei Zou(魏邹) :
αDiff:使用DNN进行交叉版本二进制代码相似性检测。 ASE公司 2018 : 667-678 2017 [j13] 姚邹 , 魏火 :
无奇异性的微型直升机非线性鲁棒控制器。 IEEE传输。 Aerosp.航空公司。 电子。 系统。 53 ( 三 ) : 1402-1411 ( 2017 ) [公元12年] 梁荪 , 魏火 , 宗夏角 :
交会和临近操作中合作航天器的鲁棒非线性自适应相对姿态控制。 IEEE传输。 控制。 系统。 Technol公司。 25 ( 5 ) : 1840-1847 ( 2017 ) [公元11年] 梁荪 , 魏火 , 宗夏角 :
具有输入饱和和全状态约束的航天器交会和接近操作的自适应后退控制。 IEEE传输。 Ind.Electron公司。 64 ( 1 ) : 480-492 ( 2017 ) [公元10年] 冯丽 , 李志远 , 魏火 , 冯小兵 :
基于最小调试前沿集的软件故障定位。 IEEE传输。 软件工程。 43 ( 8 ) : 760-776 ( 2017 ) [公元29年] 夏克伟 , 魏火 :
合作航天器交会对接自适应容错控制。 行政协调会 2017 : 3747-3752 [公元28年] 李梦浩 , 王伟(音译) , 王培(音译) , 王帅(Shuai Wang) , 吴定浩 , 刘健 , 瑞雪 , 魏火 :
LibD:android市场中可扩展且精确的第三方库检测。 集成电路 2017 : 335-346 2015 [j9] 梁荪 , 魏火 :
航天器近距离操作的6自由度集成自适应反推控制。 IEEE传输。 Aerosp.航空公司。 电子。 系统。 51 ( 三 ) : 2433-2443 ( 2015 ) [公元27年] 姚邹 , 魏火 :
具有扰动的模型直升机的自适应跟踪控制。 行政协调会 2015 : 3824-3829 2014 [j8] 朱冰(Bing Zhu) , 魏火 :
模型缩放自动直升机的三维路径跟踪控制。 IEEE传输。 控制。 系统。 Technol公司。 22 ( 5 ) : 1927-1934 ( 2014 ) 2013 [公元26年] 梁荪 , 魏火 :
航天器协同交会对接的鲁棒自适应控制。 疾病预防控制中心 2013 : 5516-5521 [公元25年] 冯丽 , 魏火 , 陈聪明 , Lujie Zhong先生 , 冯小兵 , 李志远 :
基于最小调试边界集的有效故障定位。 CGO公司 2013 : 5:1-5:10 2012 [公元24年] 陈聪明 , 魏火 , 冯小兵 :
使其实用有效:快速准确的may-happen平行分析。 PACT公司 2012 : 469-470 【c23】 张晓林 , 崔广悦 , 刘立新 , 魏火 :
扩展的连续不确定XML数据模型研究。 威斯康星州 2012 : 3-8 [公元22年] 陈聪明 , 魏火 , 李龙 , 冯小兵 , Kai Xing公司 :
我们能更快吗? 重新审视高效的五月份并行分析。 PDCAT公司 2012 : 59-64 2011 【c21】 朱冰(Bing Zhu) , 魏火 :
微型自主直升机的自适应反推控制。 CDC/ECC 2011 : 5413-5418 [公元20年] 陈龙 , 魏火 , 海涛蜜 , 张肇庆 , 冯小兵 , 李志远 :
为多核计算机并行机器翻译解码器。 国际协调委员会 2011 : 2220-2225 [第19条] 波波星 , 张铁柱 , 魏火 , 张宏欣 :
机械液压约束活塞发动机平板阀系统工作过程建模与分析。 皇家音乐学院 2011 : 343-346 2010 [第18条] 余洪涛 , 薛晶凌 , 魏火 , 冯小兵 , 张肇庆 :
逐级:使流和上下文敏感指针分析可扩展到数百万行代码。 CGO公司 2010 : 218-229 [第17条] 朱冰(Bing Zhu) , 魏火 :
四旋翼直升机的轨迹线性化控制。 ICCA公司 2010 : 34-39 [第16条] 孔毅武 , 魏火 :
基于Backstepping的不确定移动机器人直接自适应模糊编队控制。 ICCA公司 2010 : 2092-2097
2000 – 2009
2009 [j7] 李茂清 , 魏火 :
基于受控拉格朗日方法的欠驱动度为1的机械系统控制器设计。 国际J.控制 82 ( 9 ) : 1747-1761 ( 2009 ) [第15条] 马宝丽 , 魏火 :
欠驱动水面舰船的平滑时变一致渐近稳定。 疾病预防控制中心 2009 : 3137-3141 2008 [j6] 魏火 :
非完整链式系统的预测变结构控制。 国际期刊计算。 数学。 85 ( 6 ) : 949-960 ( 2008 ) 2007 [第14条] 唐纳德·蒙罗 , 王晓鹏 , 魏火 , 阿德里安·埃文斯 :
用于小波/匹配追踪图像压缩的原子合并编码。 ICASSP(1) 2007 : 1053-1056 2006 [j5] 查迪阿西 , 魏火 , 阿卜杜拉·沙米 :
具有流量疏导能力的光网络的多链路故障生存能力。 计算。 Commun公司。 29 ( 18 ) : 3900-3912 ( 2006 ) [第13条] 张浩翔 , 王晓鹏 , 魏火 , 唐纳德·蒙罗 :
一种基于H.264和匹配追踪的混合视频编码器。 ICASSP(2) 2006 : 889-892 [第12条] 魏火 , 查迪阿西 , 阿卜杜拉·沙米 :
具有流量疏导能力的光网络中多链路故障的可生存性。 国际商会 2006 : 2811-2816 [第11条] 唐纳德·蒙罗 , 魏火 , 王小鹏 :
小波/匹配追踪图像编码的子带自适应字典。 ICIP公司 2006 : 2133-2136 2005 【j4】 查迪阿西 , 魏火 , 阿卜杜拉·沙米 , 纳西尔·加尼 :
改进共享网状光网络中的信令恢复。 计算。 Commun公司。 29 ( 1 ) : 59-68 ( 2005 ) [j3] 查迪阿西 , 魏火 , 阿卜杜拉·沙米 , 纳西尔·加尼 :
光网状网容量再规划分析。 IEEE通信。 莱特。 9 ( 7 ) : 658-660 ( 2005 ) [第10条] 查迪阿西 , 魏火 :
关于光路在光学网状网络中重新规划的好处。 国际商会 2005 : 1746-1750 【c9】 查迪阿西 , 魏火 , 阿卜杜拉·沙米 :
光网状网中集中式与分布式再调度的比较。 ICN(1) 2005 : 34-43 【c8】 查迪阿西 , 魏火 , 阿卜杜拉·沙米 :
资源共享性对光网状网双故障恢复性的影响。 网络 2005 : 792-803 2004 【c7】 魏火 , 查迪阿西 , 阿卜杜拉·沙米 :
一种新的光纤网格网络快速恢复框架。 ICPP研讨会 2004 : 363-370 2001 [注2] 孙振东 , 葛树志 , 魏火 , 李东恒 :
非完整链式系统的非正则反馈线性化镇定。 系统。 控制。 莱特。 44 ( 4 ) : 279-289 ( 2001 ) 2000 [j1] 董文杰 , 魏火 , 萧杰措 , 徐伟良 :
不确定动态非完整系统的跟踪控制及其在轮式移动机器人中的应用。 IEEE传输。 机器人自动化。 16 ( 6 ) : 870-874 ( 2000 ) 【c6】 王朝力(Chaoli Wang) , 魏火 , 大龙潭 , 王跃超 :
具有输入约束的多链式控制系统的ε-镇定及其在移动机器人中的应用。 IROS公司 2000 : 1766-1771
1990 – 1999
1999 【c5】 董文杰 , 魏火 :
动力学未知的轮式移动机器人的跟踪控制。 ICRA公司 1999 : 2645-2650 1996 【c4】 马宝丽 , 魏火 :
自由漂浮空间机器人系统的自适应运动控制。 IROS公司 1996 : 1565-1572 1995 【c3】 马宝丽 , 魏火 :
基于姿态控制的空间机器人系统自适应控制。 ICRA公司 1995 : 1265-1270 【c2】 魏火 :
完全确定机器人基本参数的新公式。 ICRA公司 1995 : 3021-3026
1980 – 1989
1989 【c1】 魏火 , 绵城 , 高伟兵 :
惯性参数重组方法在机器人正向动力学算法中的应用。 SMC公司 1989 : 338-343