Qiang Wang

38 papers A* 1A 1B 4C 2Misc 3Journal 15Unranked 11
YearRankTypeTitle / Venue / Authors
2025 C conf
Learning Behavior Trees for Automated Guided Vehicles via Genetic and Reinforcement Methods.
SEKE
Wenzheng Yang, Yongxin Zhao, Qiang Wang, Yongjian Li, Yudan Tian
2024 — conf
Enabling Behaviour Tree Verification via a Translation to BIP.
FACS
Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze
2023 A conf
Simulation-Based Validation for Autonomous Driving Systems.
ISSTA
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2023 J jnl
Simulation-based Validation for Autonomous Driving Systems.
CoRR
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
2022 — conf
A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking.
KSEM (3)
Weipeng Cao, Yuhao Wu, Qiang Wang, Jiyong Zhang, Xingjian Zhang, Meikang Qiu
2022 J jnl
A hybrid controller for safe and efficient longitudinal collision avoidance control.
J. Syst. Archit.
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
2022 — conf
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.
KSEM (3)
Hongbin He, Hongyu Kuang, Lin Yang, Feng Yang, Qiang Wang, Weipeng Cao
2022 J jnl
Joint Optimization of Sensing, Decision-Making and Motion-Controlling for Autonomous Vehicles: A Deep Reinforcement Learning Approach.
IEEE Trans. Veh. Technol.
Longquan Chen, Ying He, Qiang Wang, Weike Pan, Zhong Ming
2022 — conf
PATVD:Vulnerability Detection Based on Pre-training Techniques and Adversarial Training.
SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta
Weiye Yu, Guang Kou, Qihe Liu, Haoyu Zhang, Qiang Wang
2022 J jnl
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.
J. Circuits Syst. Comput.
Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu
2022 A* conf
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.
ICRA
Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis
2021 J jnl
A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.
Secur. Commun. Networks
Jingjing Zhang, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang
2021 J jnl
A comparative study of neural network techniques for automatic software vulnerability detection.
CoRR
Gaigai Tang, Lianxiao Meng, Shuangyin Ren, Weipeng Cao, Qiang Wang, Lin Yang
2021 J jnl
A hybrid controller for safe and efficient collision avoidance control.
CoRR
Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis
2021 — conf
Algorithm selection for software verification based on adversarial LSTM.
BigDataSecurity
Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li
2021 — conf
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
ISPA/BDCloud/SocialCom/SustainCom
Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao
2021 J jnl
Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.
IEEE Access
Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang
2021 J jnl
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab.
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
2021 J jnl
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.
CoRR
Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis
2020 Misc conf
A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection.
TASE
Gaigai Tang, Lianxiao Meng, Huiqiang Wang, Shuangyin Ren, Qiang Wang, Lin Yang, Weipeng Cao
2020 — conf
Distributed and Parallel Ensemble Classification for Big Data Based on Kullback-Leibler Random Sample Partition.
ICA3PP (1)
Chenghao Wei, Jiyong Zhang, Timur Valiullin, Weipeng Cao, Qiang Wang, Hao Long
2020 — conf
Ensemble Neural Networks with Random Weights for Classification Problems.
ACAI
Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu
2020 J jnl
Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif.
IEEE Access
Jingjing Zhang, Lin Yang, Weipeng Cao, Qiang Wang
2020 — conf
Formal analysis of QUIC handshake protocol using ProVerif.
CSCloud/EdgeCom
Jingjing Zhang, Lin Yang, Xianming Gao, Qiang Wang
2020 C conf
Safe and efficient collision avoidance control for autonomous vehicles.
MEMOCODE
Qiang Wang, Dachuan Li, Joseph Sifakis
2020 J jnl
Safe and efficient collision avoidance control for autonomous vehicles.
CoRR
Qiang Wang, Dachuan Li, Joseph Sifakis
2019 — conf
Formal Verification of 5G-EAP-TLS Authentication Protocol.
DSC
Jingjing Zhang, Qiang Wang, Lin Yang, Tao Feng
2019 J jnl
Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor.
IEEE Access
Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang
2017 — —
Algorithmic Verification of Component-based Systems.
Qiang Wang
2016 Misc conf
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems.
SETTA
Qiang Wang
2016 B conf
Parameterized Systems in BIP: Design and Model Checking.
CONCUR
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
2015 Misc conf
Automatic Fault Localization for BIP.
SETTA
Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao
2015 B conf
Formal Verification of Infinite-State BIP Models.
ATVA
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
2015 B conf
SeBip: A Symbolic Executor for BIP.
ICECCS
Qiang Wang, Simon Bliudze
2015 — conf
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.
TGC
Qiang Wang, Simon Bliudze
2014 J jnl
RFID seeking: Finding a lost tag rather than only detecting its missing.
J. Netw. Comput. Appl.
Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Jian Xu, Quan Zhang, Chaojing Tang
2014 J jnl
TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer.
Secur. Commun. Networks
Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Chao Wang, Chaojing Tang
2011 B conf
Key Privacy in McEliece Public Key Cryptosystem.
TrustCom
Qiang Wang, Xue Qiu, Quan Zhang, Chaojing Tang