王强(Qiang Wang) 0020
人员信息
附属: 中国北京解放军军事科学院 隶属关系(前): 中国深圳南方科技大学 隶属关系(前): 瑞士洛桑通信与计算机学院EPFL 不要与以下内容混淆: 钱旺0021
其他同名人员
王强(Qiang Wang) — 消歧页 王强(Qiang Wang) 0001 -哈尔滨工业大学控制科学与工程系 王强(Qiang Wang) 0002 — 南京工业大学应用化学系 (还有1个) 王强(Qiang Wang) 0003 -中国大连海事大学 王强(Qiang Wang) 0004 — 哈尔滨工业大学电子信息工程学院,哈尔滨,中国 (还有2个以上) 王强(Qiang Wang) 0005 -东北大学软件学院,中国沈阳 王强(Qiang Wang) 0006 -国防科技大学并行与分布式处理国家实验室,长沙 王强(Qiang Wang) 0007 -北京邮电大学移动网络安全国家工程实验室 王强(Qiang Wang) 0008 — 玉林师范大学电子与通信工程学院 (还有1个) 王强(Qiang Wang) 0009 -中国郑州信息工程学院信息工程大学
王强(Qiang Wang) 0010 -美国宾夕法尼亚州费城坦普尔大学计算机和信息科学系 王强(Qiang Wang) 0011 -哈尔滨工业大学计算机科学与技术系 王强(Qiang Wang) 0012 -加拿大渥太华卡尔顿大学数学与统计学院 王强(Qiang Wang) 0013 -加拿大不列颠哥伦比亚省维多利亚大学电气与计算机工程系 王强(Qiang Wang) 0014 — 南京邮电大学自动化学院 (还有1个) 王强(Qiang Wang) 0015 -中国科学院沈阳自动化研究所机器人国家重点实验室 王强(Qiang Wang) 0016 -特温特大学地理信息科学与地球观测学院,荷兰恩舍德 王强(Qiang Wang) 0017 — 天津师范大学地理与环境科学学院 (还有1个) 王强(Qiang Wang) 0018 -天津大学智能与计算学院 王强(Qiang Wang) 0019 -天津大学精密测量技术与仪器国家重点实验室 王强(Qiang Wang) 0021 -武汉理工大学物流工程学院 王强(Qiang Wang) 0022 -香港浸会大学,香港九龙塘 王强(Qiang Wang) 0023 -中国北京三星研究院 王强(Qiang Wang) 0025 -中国科学院长春光机所 王强(Qiang Wang) 0026 -西安交通大学管理学院,中国西安 王强(Qiang Wang) 0027 -武汉大学电子信息学院,中国武汉 王强(Qiang Wang) 0028 — 英国爱丁堡大学化学学院。 (还有1个) 王强(Qiang Wang) 0029 -同济大学土木工程学院,中国上海 王强(Qiang Wang) 0030 -北京理工大学经济与管理学院,中国北京 王强(Qiang Wang) 0031 -中国矿业大学电气工程学院,中国徐州 王强(Qiang Wang) 0032 -中国人民解放军陆军工程大学导弹工程系石家庄校区 王强(Qiang Wang) 0033 -浙江大学计算机科学与技术学院,杭州,中国 王强(Qiang Wang) 0034 -广西师范大学计算机科学与信息技术学院,桂林,中国 王强(Qiang Wang) 0035 -华中科技大学武汉光电国家实验室,中国武汉 王强(Qiang Wang) 0036 -上海大学,上海高级通信与数据科学研究所,中国上海 王强(Qiang Wang) 0037 -南京大学地理与海洋科学学院,中国南京 王强(Qiang Wang) 0038 -南京中医药大学附属常熟医院骨科,中国常熟 王强(Qiang Wang) 0039 -中国西安空军工程大学设备管理与无人机工程学院 王强(Qiang Wang) 0040 -清华大学工业工程系,中国北京 王强(Qiang Wang) 0041 -云南大学软件学院,中国昆明 王强(Qiang Wang) 0042 -太原理工大学,中国太原 王强(Qiang Wang) 0043 -华东理工大学能源化工过程智能制造重点实验室,中国上海 王强(Qiang Wang) 0044 -辽宁石油化工大学信息与控制工程学院,中国抚顺 王强(Qiang Wang) 0046 -南通大学,中国南通 王强(Qiang Wang) 0047 — 中国武汉国防科技大学信息与通信学院 (还有1个) 王强(Qiang Wang) 0048 -北京邮电大学模式识别与智能系统实验室,中国北京 王强(Qiang Wang) 0049 -日本福冈九州理工学院 王强(Qiang Wang) 0050 — 东北大学自然语言处理实验室,中国沈阳 (还有1个) 王强(Qiang Wang) 0051 -中国科学院模式识别国家实验室,北京 王强(Qiang Wang) 0052 -中国北京航空航天大学经济与管理学院 王强(Qiang Wang) 0053 -深圳大学计算机科学与软件工程学院,中国深圳 王强(Qiang Wang) 0054 -阿里巴巴集团,DAMO学院,中国 王强(Qiang Wang) 0055 -昆明科技大学信息工程与自动化学院 王强(Qiang Wang) 0056 -天津大学电气与信息工程学院天津脑力智能技术重点实验室 王强(Qiang Wang) 0057 — Peacle Mind,LLC,美国佛罗里达州盖恩斯维尔市可穿戴生物医学设备部 (还有1个) 王强(Qiang Wang) 0058 -中国科技大学管理学院国际金融学院 王强(Qiang Wang) 0059 — 中国科学院大学网络安全学院,中国北京 (还有1个) 王强(Qiang Wang) 0060 -中国厦门大学
其他同名人员
优化列表
2020年–今天
2023 [公元20年] 李昌文 , 约瑟夫·西法基斯 , 王强(Qiang Wang) , 颜荣杰 , 张健(Jian Zhang) :
基于仿真的自动驾驶系统验证。 ISSTA公司 2023 : 842-853 [i5] 李昌文 , 约瑟夫·西法基斯 , 王强(Qiang Wang) , 严荣杰 , 张健(Jian Zhang) :
基于仿真的自动驾驶系统验证。 CoRR公司 腹肌/2301.03941 ( 2023 ) 2022 [公元10年] 王强(Qiang Wang) , 广口 , 陈龙泉 , 盈河 , 曹伟鹏 , 葛光浦 :
基于学习的自动驾驶车辆换道控制的运行时保证。 J.电路系统。 计算。 31 ( 14 ) : 2250249:1-2250249:22 ( 2022 ) [公元9年] 王强(Qiang Wang) , 郑欣蕾(Xinlei Zheng) , 张继勇 , 约瑟夫·西法基斯 :
一种用于安全有效的纵向避碰控制的混合控制器。 J.系统。 阿基特。 125 : 102432 ( 2022 ) [j8] 陈龙泉 , 盈河 , 王强(Qiang Wang) , 韦克潘 , 钟明 :
自主车辆传感、决策和运动控制的联合优化:一种深度强化学习方法。 IEEE传输。 车辆。 Technol公司。 71 ( 5 ) : 4642-4654 ( 2022 ) [第19条] 陈胜多 , 孙耀伟 , 李大川 , 王强(Qiang Wang) , 齐浩 , 约瑟夫·西法基斯 :
自主驾驶车辆学习控制的运行时安全保证。 ICRA公司 2022 : 8978-8984 [第18条] 曹伟鹏 , 吴玉豪 , 王强(Qiang Wang) , 张继勇 , 张兴健 , 邱美康 :
一种新的基于RVFL的软件模型检查算法选择方法。 KSEM(3) 2022 : 414-425 [c17] 何鸿斌 , 邝宏宇 , 林阳(Lin Yang) , 冯扬(音) , 王强(Qiang Wang) , 曹伟鹏 :
使用统计模型检查的冗余体系结构的自动化可靠性分析。 KSEM(3) 2022 : 463-476 [第16条] 余伟业(Weiye Yu) , 广口 , 刘启和 , 张浩宇 , 王强(Qiang Wang) :
PATVD:基于训练前技术和对抗训练的漏洞检测。 SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta 2022 : 1774-1781 2021 [j7] 张晶晶 , 林阳(Lin Yang) , 高贤明 , 盖盖汤 , 张继勇 , 王强(Qiang Wang) :
使用符号模型检查对QUIC握手协议进行形式化分析。 IEEE接入 9 : 14836-14848 ( 2021 ) [j6] 张晶晶 , 高贤明 , 林阳(Lin Yang) , 陶峰 , 李东阳 , 王强(Qiang Wang) :
使用符号模型检查对QUIC握手协议进行形式化分析的系统方法。 安全。 Commun公司。 网络 2021 : 1630223:1-1630223:12 ( 2021 ) [j5] 金绿 , 赵永新 , 西武 , 李永健 , 王强(Qiang Wang) :
实时通信TSN调度器的形式化分析。 IEEE传输。 宗教信仰。 70 ( 三 ) : 1286-1294 ( 2021 ) [第15条] 王强(Qiang Wang) , 蒋嘉伟(Jiawei Jiang) , 赵永新 , 曹伟鹏 , 王春江 , 李盛东 :
基于对抗LSTM的软件验证算法选择。 大数据安全 2021 : 87-92 [第14条] 刘志浩 , 王强(Qiang Wang) , 李永健 , 赵永新 :
CMSS:网络协议的安全和安保需求的协作建模。 ISPA/BDCloud/SocialCom/SustainCom公司 2021 : 185-192 [i4] 王强(Qiang Wang) , 郑欣蕾(Xinlei Zheng) , 张继勇 , 约瑟夫·西法基斯 :
一种用于安全高效防撞控制的混合控制器。 CoRR公司 abs/2103.15484 ( 2021 ) [i3] 盖盖汤 , 《联霄梦》 , 双银任 , 曹伟鹏 , 王强(Qiang Wang) , 林阳(Lin Yang) :
用于软件漏洞自动检测的神经网络技术的比较研究。 CoRR公司 abs/2104.14978 ( 2021 ) [i2] 陈胜多 , 孙耀伟 , 李大川 , 王强(Qiang Wang) , 齐昊 , 约瑟夫·西法基斯 :
自主驾驶车辆学习控制的运行时安全保证。 CoRR公司 abs/2109.13446 ( 2021 ) 2020 [j4] 张晶晶 , 林阳(Lin Yang) , 曹伟鹏 , 王强(Qiang Wang) :
使用Proverif对5G EAP-TLS认证协议进行形式化分析。 IEEE接入 8 : 23674-23688 ( 2020 ) [第13条] 叶柳 , 曹伟鹏 , 钟明 , 王强(Qiang Wang) , 张继勇 , 徐志武 :
用随机权重集成神经网络解决分类问题。 巴西莓 2020 : 15:1-15:5 [第12条] 张晶晶 , 林阳(Lin Yang) , 高贤明 , 王强(Qiang Wang) :
使用ProVerify对QUIC握手协议进行形式化分析。 CSCloud/EdgeCom 2020 : 132-138 [第11条] 魏成浩 , 张继勇 , 帖木儿·瓦利尤林 , 曹伟鹏 , 王强(Qiang Wang) , 郝龙 :
基于Kullback-Leibler随机样本划分的大数据分布式并行集成分类。 ICA3PP(1) 2020 : 448-464 [第10条] 王强(Qiang Wang) , 李大川 , 约瑟夫·西法基斯 :
自动驾驶车辆的安全高效防撞控制。 记忆码 2020 : 1-6 【c9】 盖盖汤 , 《联霄梦》 , 王慧强 , 双银任 , 王强(Qiang Wang) , 林阳(Lin Yang) , 曹伟鹏 :
用于软件漏洞自动检测的神经网络技术的比较研究。 TASE公司 2020 : 1-8 [i1] 王强(Qiang Wang) , 李大川 , 约瑟夫·西法基斯 :
自动驾驶车辆的安全高效防撞控制。 CoRR公司 abs/2008.04080 ( 2020 )
2010 – 2019
2019 [j3] 曹伟鹏 , 钟明 , 徐志武 , 张继勇 , 王强(Qiang Wang) :
具有动态遗忘因子的在线顺序极限学习机。 IEEE接入 7 : 179746-179757 ( 2019 ) 【c8】 张晶晶 , 王强(Qiang Wang) , 林阳(Lin Yang) , 陶峰 :
5G-EAP-TLS认证协议的形式化验证。 DSC公司 2019 : 503-509 2017 【b1】 王强(Qiang Wang) :
基于组件系统的算法验证。 EPFL,瑞士, 2017 2016 【c7】 伊戈尔·康诺夫 , 托默·科特克 , 王强(Qiang Wang) , 赫尔穆特·维思 , 西蒙·布利乌兹 , 约瑟夫·西法基斯 :
BIP中的参数化系统:设计和模型检查。 CONCUR公司 2016 : 30:1-30:16 【c6】 王强(Qiang Wang) :
利用对称性对无限状态组件系统进行有效验证。 设置 2016 : 246-263 2015 【c5】 西蒙·布利乌兹 , 亚历山德罗·西马蒂 , 穆罕默德·贾比尔 , 塞尔吉奥·莫弗 , 马可·罗维里 , Wajeb萨博 , 王强(Qiang Wang) :
无限状态BIP模型的形式验证。 ATVA公司 2015 : 326-343 【c4】 王强(Qiang Wang) , 西蒙·布利乌兹 :
SeBip:BIP的符号执行器。 ICECCS公司 2015 : 174-177 【c3】 王强(Qiang Wang) , 严磊 , 西蒙·布利乌兹 , 毛晓光 :
BIP的自动故障定位。 设置 2015 : 277-283 [c2] 王强(Qiang Wang) , 西蒙·布利乌兹 :
通过谓词抽象和同时集约简验证基于组件的系统。 TGC公司 2015 : 147-162 2014 [注2] 魏燮 , 谢磊(音) , 陈章 , 王强(Qiang Wang) , 徐健(Jian Xu) , Quan Zhang(全张) , 朝京汤 :
RFID查找:查找丢失的标签,而不仅仅是检测其丢失。 J·奈特。 计算。 申请。 42 : 135-142 ( 2014 ) [j1] 魏燮 , 谢磊(音) , 陈章 , 王强(Qiang Wang) , 王超(Chao Wang) , 朝京汤 :
TOA:用于访问控制和所有权转移的标签所有者辅助RFID身份验证协议。 安全。 Commun公司。 网络 7 ( 5 ) : 934-944 ( 2014 ) 2011 【c1】 王强(Qiang Wang) , 薛秋 , Quan Zhang(全张) , 超净汤 :
McEliece公钥密码系统中的密钥隐私。 TrustCom公司 2011 : 824-828