王强（Qiang Wang） 0020
人员信息
附属： 中国北京解放军军事科学院 隶属关系（以前）： 中国深圳南方科技大学 隶属关系（以前）： 瑞士洛桑通信与计算机学院EPFL 不要与以下内容混淆： 钱旺0021
其他同名人员
王强（Qiang Wang） — 消歧页 王强（Qiang Wang） 0001 ![[0000-0002-9654-0268]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9654-0268")
-哈尔滨工业大学控制科学与工程系 王强（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个）
其他同名人员
优化列表
2020年–今天
2023 
[公元20年] 李昌文 , 约瑟夫·西法基斯 , 王强（Qiang Wang） , 颜荣杰 , 张健（Jian Zhang） :
基于仿真的自动驾驶系统验证。 ISSTA公司 2023 : 842-853 [i5] 李昌文 , 约瑟夫·西法基斯 , 王强（Qiang Wang） , 颜荣杰 , 张健（Jian Zhang） :
基于仿真的自动驾驶系统验证。 CoRR公司 abs/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 [第17条] 何鸿斌 , 邝宏宇 , 林阳（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传输。 Reliab公司。 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】 西蒙·布利乌兹 , 亚历山德罗·西马蒂 , 穆罕默德·贾比尔 , 塞尔吉奥·莫弗 , 马可·罗维里 , 瓦杰布·萨博 , 王强（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
合著者索引
