default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQiang Wang 0020
Person information
- affiliation: PLA Academy of Military Science, Beijing, China
- affiliation (former): Southern University of Science and Technology, Shenzhen, China
- affiliation (former): EPFL, School of Communication and Computer Science, Lausanne, Switzerland
- not to be confused with: Qian Wang 0021
Other persons with the same name
- Qiang Wang (aka: Qi-Ang Wang) — disambiguation page
- Qiang Wang 0001
![[0000-0002-9654-0268]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-9654-0268")
— Harbin Institute of Technology, Department of Control Science and Engineering, China - Qiang Wang 0002 — Nanjing University of Technology, Department of Applied Chemistry, China (and 1 more)
- Qiang Wang 0003 — Dalian Maritime University, China
- Qiang Wang 0004 — Harbin Institute of Technology, School of Electronics Information Engineering, Harbin, China (and 2 more)
- Qiang Wang 0005 — Northeastern University, Software College, Shenyang, China
- Qiang Wang 0006 — National University of Defense Technology, National Laboratory for Parallel and Distributed Processing, Changsha, China
- Qiang Wang 0007 — Beijing University of Posts and Telecommunications, National Engineering Laboratory for Mobile Network Security, China
- Qiang Wang 0008 — Yulin Normal University, School of Electronics and Communication Engineering, China (and 1 more)
- Qiang Wang 0009 — Information Engineering University, Information Engineering Institute, Zhengzhou, China
- Qiang Wang 0010 — Temple University, Department of Computer and Information Sciences, Philadelphia, PA, USA
- Qiang Wang 0011 — Harbin Institute of Technology, Department of Computer Science and Technology, China
- Qiang Wang 0012 — Carleton University, School of Mathematics and Statistics, Ottawa, Canada
- Qiang Wang 0013 — Victoria University, Department of Electrical and Computer Engieering, BC, Canada
- Qiang Wang 0014 — Nanjing University of Posts and Telecommunications, College of Automation, China (and 1 more)
- Qiang Wang 0015 — Chinese Academy of Sciences, Shenyang Institute of Automation, State Key Laboratory of Robotics, China
- Qiang Wang 0016 — University of Twente, Faculty of Geo-Information Science and Earth Observation, Enschede, The Netherlands
- Qiang Wang 0017 — Tianjin Normal University, School of Geographic and Environment Science, China (and 1 more)
- Qiang Wang 0018 — Tianjin University, College of Intelligence and Computing, China
- Qiang Wang 0019 — Tianjin University, State Key Laboratory of Precision Measuring Technology and Instruments, China
- Qiang Wang 0021 — Wuhan University of Technology, School of Logistics Engineering, China
- Qiang Wang 0022 — Hong Kong Baptist University, Kowloon Tong, Hong Kong
- Qiang Wang 0023 — Samsung Research China, Beijing, China
- Qiang Wang 0025 — Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, Changchun, China
- Qiang Wang 0026 — Xi'an Jiaotong University, School of Management, Xi'an, China
- Qiang Wang 0027 — Wuhan University, Electronic Information School, Wuhan, China
- Qiang Wang 0028 — University of Edinburgh, School of Chemistry, Edinburgh, U.K. (and 1 more)
- Qiang Wang 0029 — Tongji University, School of Civil Engineering, Shanghai, China
- Qiang Wang 0030 — Beijing University of Technology, College of Economics and Management, Beijing, China
- Qiang Wang 0031 — China University of Mining and Technology, School of Electrical Engineering, Xuzhou, China
- Qiang Wang 0032 — Army Engineering University of PLA, Missile Engineering Department, Shijiazhuang Campus, Shijiazhuang, China
- Qiang Wang 0033 — Zhejiang University, College of Computer Science and Technology, Hangzhou, China
- Qiang Wang 0034 — Guangxi Normal University, College of Computer Science and Information Technology, Guilin, China
- Qiang Wang 0035 — Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, Wuhan, China
- Qiang Wang 0036 — Shanghai University, Shanghai Institute for Advanced Communication and Data Science, Shanghai, China
- Qiang Wang 0037 — Nanjing University, School of Geography and Ocean Science, Nanjing, China
- Qiang Wang 0038 — Changshu Hospital Affiliated to Nanjing University of Traditional Chinese Medicine, Department of Orthopedic, Changshu, China
- Qiang Wang 0039 — Air Force Engineering University, Equipment Management and UAV Engineering College, Xi'an, China
- Qiang Wang 0040 — Tsinghua University, Department of Industrial Engineering, Beijing, China
- Qiang Wang 0041 — Yunnan University, School of Software, Kunming, China
- Qiang Wang 0042 — Taiyuan University of Technology, Taiyuan, China
- Qiang Wang 0043 — East China University of Science and Technology, Key Laboratory of Smart Manufacturing in Energy Chemical Process, Shanghai, China
- Qiang Wang 0044 — Liaoning Petrochemical University, School of Information and Control Engineering, Fushun, China
- Qiang Wang 0046 — Nantong University, Nantong, China
- Qiang Wang 0047 — National University of Defense Technology, College of Information and Communication, Wuhan, China (and 1 more)
- Qiang Wang 0048 — Beijing University of Posts and Telecommunications, Pattern Recognition and Intelligent System Laboratory, Beijing, China
- Qiang Wang 0049 — Kyushu Institute of Technology, Fukuoka, Japan
- Qiang Wang 0050 — Northeastern University, Natural Language Processing Lab, Shenyang, China (and 1 more)
- Qiang Wang 0051 — Chinese Academy of Sciences, National Laboratory of Pattern Recognition, Beijing, China
- Qiang Wang 0052 — Beihang University, School of Economics and Management, Beihang, China
- Qiang Wang 0053 — Shenzhen University, College of Computer Science and Software Engineering, Shenzhen, China
- Qiang Wang 0054 — Alibaba Group, DAMO Academy, China
- Qiang Wang 0055 — Kunming University of Science and Technology, Faculty of Information Engineering and Automation, China
- Qiang Wang 0056 — Tianjin University, School of Electrical and Information Engineering, Tianjin Key Laboratory of Brain-Inspired Intelligence Technology, China
- Qiang Wang 0057 — Peaceful Mind, LLC, wearable biomedical devices Department, Gainesville, FL, USA (and 1 more)
- Qiang Wang 0058 — University of Science and Technology of China, International Institute of Finance, School of Management, Hefei, China
- Qiang Wang 0059 — University of Chinese Academy of Sciences, School of Cyber Security, Beijing, China (and 1 more)
- Qiang Wang 0060 — Xiamen University, China
- Qiang Wang 0061 — EasyAR Mega, Shanghai, China (and 1 more)
- Qiang Wang 0062 — Xi'an Jiaotong University, School of Computer Science and Technology, Network Information Center, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2017
[b1]Qiang Wang:
Algorithmic Verification of Component-based Systems. EPFL, Switzerland, 2017
Journal Articles
- 2022
- [j10]Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu:
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. J. Circuits Syst. Comput. 31(14): 2250249:1-2250249:22 (2022) - [j9]Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
A hybrid controller for safe and efficient longitudinal collision avoidance control. J. Syst. Archit. 125: 102432 (2022) - [j8]Longquan Chen, Ying He, Qiang Wang, Weike Pan, Zhong Ming:
Joint Optimization of Sensing, Decision-Making and Motion-Controlling for Autonomous Vehicles: A Deep Reinforcement Learning Approach. IEEE Trans. Veh. Technol. 71(5): 4642-4654 (2022) - 2021
- [j7]Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang:
Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. IEEE Access 9: 14836-14848 (2021) - [j6]Jingjing Zhang, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang:
A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. Secur. Commun. Networks 2021: 1630223:1-1630223:12 (2021) - [j5]Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang:
Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Trans. Reliab. 70(3): 1286-1294 (2021) - 2020
- [j4]Jingjing Zhang, Lin Yang, Weipeng Cao, Qiang Wang:
Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif. IEEE Access 8: 23674-23688 (2020) - 2019
- [j3]Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang:
Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor. IEEE Access 7: 179746-179757 (2019) - 2014
- [j2]Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Jian Xu, Quan Zhang, Chaojing Tang:
RFID seeking: Finding a lost tag rather than only detecting its missing. J. Netw. Comput. Appl. 42: 135-142 (2014) - [j1]Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Chao Wang, Chaojing Tang:
TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer. Secur. Commun. Networks 7(5): 934-944 (2014)
Conference and Workshop Papers
- 2024
- [c21]Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze:
Enabling Behaviour Tree Verification via a Translation to BIP. FACS 2024: 3-20 - 2023
- [c20]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-Based Validation for Autonomous Driving Systems. ISSTA 2023: 842-853 - 2022
- [c19]Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. ICRA 2022: 8978-8984 - [c18]Weipeng Cao, Yuhao Wu, Qiang Wang, Jiyong Zhang, Xingjian Zhang, Meikang Qiu:
A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking. KSEM (3) 2022: 414-425 - [c17]Hongbin He, Hongyu Kuang, Lin Yang, Feng Yang, Qiang Wang, Weipeng Cao:
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking. KSEM (3) 2022: 463-476 - [c16]Weiye Yu, Guang Kou, Qihe Liu, Haoyu Zhang, Qiang Wang:
PATVD:Vulnerability Detection Based on Pre-training Techniques and Adversarial Training. SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta 2022: 1774-1781 - 2021
- [c15]Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li:
Algorithm selection for software verification based on adversarial LSTM. BigDataSecurity 2021: 87-92 - [c14]Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao:
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. ISPA/BDCloud/SocialCom/SustainCom 2021: 185-192 - 2020
- [c13]Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu:
Ensemble Neural Networks with Random Weights for Classification Problems. ACAI 2020: 15:1-15:5 - [c12]Jingjing Zhang, Lin Yang, Xianming Gao, Qiang Wang:
Formal analysis of QUIC handshake protocol using ProVerif. CSCloud/EdgeCom 2020: 132-138 - [c11]Chenghao Wei, Jiyong Zhang, Timur Valiullin, Weipeng Cao, Qiang Wang, Hao Long:
Distributed and Parallel Ensemble Classification for Big Data Based on Kullback-Leibler Random Sample Partition. ICA3PP (1) 2020: 448-464 - [c10]Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. MEMOCODE 2020: 1-6 - [c9]Gaigai Tang, Lianxiao Meng, Huiqiang Wang, Shuangyin Ren, Qiang Wang, Lin Yang, Weipeng Cao:
A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection. TASE 2020: 1-8 - 2019
- [c8]Jingjing Zhang, Qiang Wang, Lin Yang, Tao Feng:
Formal Verification of 5G-EAP-TLS Authentication Protocol. DSC 2019: 503-509 - 2016
- [c7]Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis:
Parameterized Systems in BIP: Design and Model Checking. CONCUR 2016: 30:1-30:16 - [c6]Qiang Wang:
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. SETTA 2016: 246-263 - 2015
- [c5]Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang:
Formal Verification of Infinite-State BIP Models. ATVA 2015: 326-343 - [c4]Qiang Wang, Simon Bliudze:
SeBip: A Symbolic Executor for BIP. ICECCS 2015: 174-177 - [c3]Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao:
Automatic Fault Localization for BIP. SETTA 2015: 277-283 - [c2]Qiang Wang, Simon Bliudze:
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC 2015: 147-162 - 2011
- [c1]Qiang Wang, Xue Qiu, Quan Zhang, Chaojing Tang:
Key Privacy in McEliece Public Key Cryptosystem. TrustCom 2011: 824-828
Informal and Other Publications
- 2023
- [i5]Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang:
Simulation-based Validation for Autonomous Driving Systems. CoRR abs/2301.03941 (2023) - 2021
- [i4]Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis:
A hybrid controller for safe and efficient collision avoidance control. CoRR abs/2103.15484 (2021) - [i3]Gaigai Tang, Lianxiao Meng, Shuangyin Ren, Weipeng Cao, Qiang Wang, Lin Yang:
A comparative study of neural network techniques for automatic software vulnerability detection. CoRR abs/2104.14978 (2021) - [i2]Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis:
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. CoRR abs/2109.13446 (2021) - 2020
- [i1]Qiang Wang, Dachuan Li, Joseph Sifakis:
Safe and efficient collision avoidance control for autonomous vehicles. CoRR abs/2008.04080 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-30 21:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
