刘万伟
人员信息
其他同名人员
优化列表
2020年–今天
2024 [公元20年] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 :
基于Koopman算子理论的训练神经网络的学分分配。 前沿计算。 科学。 18 ( 1 ) : 181324 ( 2024 ) [公元19年] 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , Ji Wang(音译) , 刘万伟 :
基于凸优化的可达-无效验证。 IEEE传输。 自动。 控制。 69 ( 1 ) : 598-605 ( 2024 ) [公元18年] 张玉峰 , 潘嘉璐 , 刘万伟 , 陈振邦 , 李垦利 , Ji Wang(音译) , 刘志明 , 魏红梅 :
基于Kullback-Leibler发散的分布式外检测与基于流的生成模型。 IEEE传输。 知识。 数据工程。 36 ( 4 ) : 1683-1697 ( 2024 ) 【i15】 甄亮 , 陶然·吴 , 冉照 , 白雪 , Ji Wang(音译) , 杨文静 , 邓少军 , 刘万伟 :
UR4NNV:神经网络验证,欠近似可达性工作! CoRR公司 abs/2401.12550 ( 2024 ) 2023 [公元17年] 唐晓晨 , 张妙妙 , 刘万伟 , 杜伯文 , 刘志明 :
建立一个人机物理自动机模型和控制策略的综合框架。 J.系统。 阿基特。 144 : 102989 ( 2023 ) [公元16年] 甄亮 , 陶然·吴 , 刘万伟 , 白雪 , 杨文静 , Ji Wang(音译) , 彭正斌 :
通过全局和单调递减的鲁棒性训练策略实现鲁棒神经网络。 前沿信息技术。 电子。 工程师。 24 ( 10 ) : 1375-1389 ( 2023 ) [公元31年] 叶涛 , 刘万伟 , 傅松 , 甄亮 , Ji Wang(音译) , 朱洪旭 :
合成二值化神经网络的自动机理论方法。 ATVA(1) 2023 : 380至400 [公元30年] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 :
图像数据集特征密度的几何表征。 国际货币兑换协会 2023 : 1823-1828 [c29] 张玉峰 , 潘嘉璐 , 李肯利 , 刘万伟 , 陈振邦 , 刘新旺 , Ji Wang(音译) :
多元高斯分布之间Kullback-Leibler散度的性质。 NeurIPS公司 2023 [公元28年] 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 TASE公司 2023 : 248-267 [第14条] 甄亮 , 陶然·吴 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , Ji Wang(音译) :
基于行为模拟的深度神经网络修复。 CoRR公司 abs/2305.03365 ( 2023 ) [i13] 甄亮 , 德金仁 , 白雪 , Ji Wang(音译) , 杨文静 , 刘万伟 :
从拓扑角度验证神经网络的安全性。 CoRR公司 abs/2306.15403 ( 2023 ) [i12] 叶涛 , 刘万伟 , 傅松 , 甄亮 , Ji Wang(音译) , 朱洪旭 :
合成二值化神经网络的自动机理论方法。 CoRR公司 abs/2307.15907 ( 2023 ) 2022 [公元15年] 魏昭 , 芮莉(Rui Li) , 刘万伟 , 魏东 , 刘志明 :
GR(1)获胜条件下的概率合成。 前沿计算。 科学。 16 ( 三 ) : 162203 ( 2022 ) [公元14年] 冯仁彦 , 埃尔曼·阿卡尔 , 王一松 , 刘万伟 , 斯特凡·施洛巴赫 , 丁伟平 :
计算CTL中的充分必要条件:一种遗忘方法。 信息科学。 616 : 474-504 ( 2022 ) [公元27年] 范玉欣(Yuxin Fan) , 傅松 , 陈陶璐 , 张良峰 , 刘万伟 :
PoS4MPC:用于安全多方计算的自动安全策略合成。 CAV(1) 2022 : 385-406 [公元26年] 张妙妙 , 刘万伟 , 唐晓晨 , 杜伯文 , 刘志明 :
人-计算机-物理自动机及其综合。 ICTAC公司 2022 : 36至41 [i11] 白雪 , 詹乃军(Naijun Zhan) , 马丁·弗伦泽 , Ji Wang(音译) , 刘万伟 :
基于凸优化的可达性验证。 CoRR公司 abs/2208.08105 ( 2022 ) [i10] 甄亮 , 德金仁 , 刘万伟 , Ji Wang(音译) , 杨文静 , 白雪 :
基于集边界分析的神经网络安全性验证。 CoRR公司 abs/2210.04175 ( 2022 ) [第九章] 甄亮 , 赵长元 , 刘万伟 , 白雪 , 杨文静 , 彭正斌 :
基于Koopman算子理论的训练神经网络学分分配。 CoRR公司 腹肌/2212.00998 ( 2022 ) 2021 [公元25年] 胡可科 , 刘万伟 , 李屯(Tun Li) :
基于权值调整标准的噪声数据集多类AdaBoost校正算法。 美国安全工程师协会 2021 : 84-88 [公元24年] 李屯(Tun Li) , 刘万伟 , 陈丽倩 , 毛晓光 :
加强离散数学应用能力训练。 外商投资企业 2021 : 1-5 [i8] 张玉峰 , 刘万伟 , 陈振邦 , 李垦利 , Ji Wang(音译) :
关于Gaussians之间Kullback-Leibler分歧的性质。 CoRR公司 abs/2102.05485 ( 2021 ) 2020 [j13] 郝石 , 魏东 , 芮莉(Rui Li) , 刘万伟 :
多机器人系统发生变化时的控制器再合成。 电脑类 53 ( 12 ) : 69-79 ( 2020 ) [公元12年] 李屯(Tun Li) , 刘万伟 , 郭新瑞 , Ji Wang(音译) :
没有oracle正确性假设的软件测试。 前沿计算。 科学。 14 ( 三 ) : 143203 ( 2020 ) [公元11年] 郝石 , 芮莉(Rui Li) , 刘万伟 , 魏东 , 葛洲 :
多机器人系统的迭代控制器综合。 IEEE传输。 Reliab公司。 69 ( 三 ) : 851年至862年 ( 2020 ) [公元10年] 梁泽贤 , 魏东 , 刘万伟 , Ji Wang(音译) :
多线程程序验证中的调度约束提取。 IEEE传输。 软件工程。 46 ( 5 ) : 549-565 ( 2020 ) 【c23】 芮莉(Rui Li) , 郝石 , 刘万伟 , 魏东 :
从多机器人系统的全局任务合成协作控制器。 亚太经合组织 2020 : 109-118 [公元22年] 冯仁彦 , 埃尔曼·阿卡尔 , 斯特凡·施洛巴赫 , 王一松 , 刘万伟 :
关于有界CTL的充要条件:遗忘方法。 韩国 2020 : 361-370 【c21】 赵旭东 , 芮莉(Rui Li) , 刘万伟 , 郝石 , 绍兴舒 , 魏东 :
基于ROS的多机器人协作控制器综合。 瑞典克朗 2020 : 37-42 [公元20年] 刘万伟 , 梁泽贤 , 李屯(Tun Li) :
编译FL 物件 有限单词。 设置 2020 : 108-123 [第19条] 朔阳 , 毛新军 , 刘万伟 :
机器人任务伴随动作模型的扩展POMDP规划方法。 SMC公司 2020 : 1412-1419 [i7] 张玉峰 , 刘万伟 , 陈振邦 , Ji Wang(音译) , 刘志明 , 李垦利 , 魏红梅 , 陈佐宁 :
深度生成模型中具有距离保证的分布外检测。 CoRR公司 abs/2002.03328 ( 2020 ) [i6] 冯仁彦 , 埃尔曼·阿卡尔 , 斯特凡·施洛巴赫 , 王一松 , 刘万伟 :
关于有界CTL的充要条件。 CoRR公司 abs/2003.06492 ( 2020 )
2010 – 2019
2019 [公元9年] 黄玉红 , 毛新军 , 刘万伟 , 朔阳 , 王朔 :
机器人控制模型中影响因素自调整的基于聚类的方法。 IEEE接入 7 : 127987-127998 ( 2019 ) [第18条] 徐俊南 , 刘万伟 , 大卫·N·詹森 , 张丽君 :
概率微积分的公理化。 ICFEM公司 2019 : 420-437 [第17条] 梁泽贤 , 魏东 , 刘万伟 , Ji Wang(音译) :
多线程程序验证的并行细化。 ICSE公司 2019 : 643-653 2018 [第16条] 梁泽贤 , 魏东 , 刘万伟 , Ji Wang(音译) :
弱内存模型中基于调度约束的抽象精化。 ASE公司 2018 : 645-655 [第15条] 梁泽贤 , 魏东 , 刘万伟 , 李云愁 , Ji Wang(音译) :
YOGAR-CBMC:具有基于调度约束的抽象精炼(竞争贡献)的CBMC。 TACAS(2) 2018 : 422-426 2017 [j8] 雷玉思 , 傅松 , 刘万伟 , 张敏(音) :
关于 ω -下推自动机。 科学。 中国信息科学。 60 ( 11 ) : 112102:1-112102:15 ( 2017 ) [j7] 刘斌斌(Binbin Liu) , 刘万伟 , 毛晓光 , 魏东 :
无人驾驶汽车决策系统的规则正确性验证 (《无人机决策系统规则正确性验证》)。 计算机科学 44 ( 4 ) : 72-74 ( 2017 ) [第14条] 葛洲 , 魏东 , 刘万伟 , 郝石 , 池湖 , 梁泽贤 :
在运行时验证中基于模式优化监控代码。 QRS伴侣 2017 : 348-354 [第13条] 刘万伟 , 傅松 , 葛洲 :
无限词周期性的推理。 设置 2017 : 200至215 [i5] 梁泽贤 , 魏东 , 刘万伟 , Ji Wang(音译) :
多线程程序验证中基于调度约束的抽象精化。 CoRR公司 abs/1708.08323 ( 2017 ) 2016 [第12条] 李勇 , 刘万伟 , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 张丽君 :
一种针对线性时间特性的参数马尔可夫链的有效综合算法。 设置 2016 : 280-296 [i4] 刘万伟 :
关于Omega正则语言的无限并集/交集的简短注释。 CoRR公司 abs/1603.05426 ( 2016 ) [i3] 李勇 , 刘万伟 , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 张丽君 :
一种针对线性时间特性的参数马尔可夫链的有效综合算法。 CoRR公司 abs/1605.04400 ( 2016 ) 2015 [第11条] 刘万伟 , 雷松 , Ji Wang(音译) , 张丽君 :
模态微积分的简单概率推广。 IJCAI公司 2015 : 882-888 [i2] 刘万伟 , 雷松 , Ji Wang(音译) , 张丽君 :
模态微积分的简单概率推广。 CoRR公司 abs/1504.07737 ( 2015 ) 2014 [j6] 刘万伟 , 王瑞(Rui Wang) , 先进付 , Ji Wang(音译) , 魏东 , 毛晓光 :
反例——为符号模型检查保留简化。 J.应用。 数学。 2014 : 702165:1-702165:13 ( 2014 ) [第10条] 严慎 , 李建文 , 郑旺(音) , 丁素 , 彬芳 , 葛光浦 , 刘万伟 , 陈明松 :
通过收敛公式级数进行运行时验证。 亚太经合组织(1) 2014 : 255-262 【c9】 刘万伟 , 毛晓光 , 葛光浦 , 王瑞(Rui Wang) :
结合句法和语义编码进行LTL有界模型检查。 TASE公司 2014 : 82-89 2013 [j5] 王瑞(Rui Wang) , 刘万伟 , 李屯(Tun Li) , 毛晓光 , Ji Wang(音译) :
ETL与有限自动机和循环自动机连接的有界模型检验。 J.应用。 数学。 2013 : 462532:1-462532:12 ( 2013 ) 【c8】 李屯(Tun Li) , 杨果(Yang Guo) , 刘万伟 , 名胜堂 :
高级综合中调度的翻译验证。 ACM大湖区超大规模集成电路研讨会 2013 : 101-106 【c7】 刘万伟 , 王瑞(Rui Wang) , 先进付 , Ji Wang(音译) , 魏东 , 毛晓光 :
反例——为符号模型检查保留简化。 ICTAC公司 2013 : 249-266 【c6】 李屯(Tun Li) , 杨果(Yang Guo) , 刘万伟 , 赤原马 :
高级合成的高效翻译验证。 ISQED公司 2013 : 516-523 【c5】 李屯(Tun Li) , 刘万伟 , 毛晓光 , 周惠平 :
编程入门:科学还是艺术? ITiCSE公司 2013 : 324 [i1] 刘万伟 , 王瑞(Rui Wang) , 先进付 , Ji Wang(音译) , 魏东 , 毛晓光 :
反例——为符号模型检查保留简化。 CoRR公司 abs/1301.3299 ( 2013 ) 2011 【j4】 李仁建 , Ji Wang(音译) , 陈丽倩 , 刘万伟 , 邓平伟(Dengping Wei) :
CPS软件符号堆边界的定量分析。 计算。 科学。 信息系统。 8 ( 4 ) : 1251-1276 ( 2011 ) 【c4】 先进付 , 刘万伟 , 李静(音译) :
用SAT近似量化SMT求解。 SSIRI(同伴) 2011 : 114-119 2010 【c3】 徐建军 , 清平滩 , 刘万伟 :
通过过程间数据流分析估计寄存器文件的软错误漏洞。 TASE公司 2010 : 201-208
2000 – 2009
2009 [j3] 刘万伟 , Ji Wang(音译) , 火王陈 , 马晓东 , 王兆飞 :
符号模型检查APSL。 前沿计算。 科学。 中国 三 ( 1 ) : 130-141 ( 2009 ) [注2] 刘万伟 , Ji Wang(音译) :
对皮特曼Büchi决定论的更严密分析。 信息处理。 莱特。 109 ( 16 ) : 941-945 ( 2009 ) [j1] Ji Wang(音译) , 马晓东 , 魏东 , 许厚峰 , 刘万伟 :
基于流和上下文敏感指针分析的需求驱动内存泄漏检测。 J.计算。 科学。 技术。 24 ( 2 ) : 347-356 ( 2009 ) 2008 【c2】 刘万伟 , Ji Wang(音译) , 火王陈 , 马晓东 :
符号模型检查APSL。 TASE公司 2008 : 39至46 2007 【c1】 刘万伟 , Ji Wang(音译) , 魏东 , 火王陈 :
通过实例化实现扩展时序逻辑片段的公理化。 ICTAC公司 2007 : 322-336