Key Privacy in McEliece Public Key Cryptosystem. - Qiang Wang 020; Xue Qiu; Quan Zhang; Chaojing Tang (TrustCom, 2011)

RFID seeking: Finding a lost tag rather than only detecting its missing. - Wei Xie; Lei Xie 004; Chen Zhang; Qiang Wang 020; Jian Xu; Quan Zhang; Chaojing Tang (J. Netw. Comput. Appl., 2014)

TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer. - Wei Xie; Lei Xie 004; Chen Zhang; Qiang Wang 020; Chao Wang; Chaojing Tang (Secur. Commun. Networks, 2014)

Formal Verification of Infinite-State BIP Models. - Simon Bliudze; Alessandro Cimatti; Mohamad Jaber 001; Sergio Mover; Marco Roveri; Wajeb Saab; Qiang Wang 020 (ATVA, 2015)

SeBip: A Symbolic Executor for BIP. - Qiang Wang 020; Simon Bliudze (ICECCS, 2015)

Automatic Fault Localization for BIP. - Qiang Wang 020; Yan Lei; Simon Bliudze; Xiaoguang Mao (SETTA, 2015)

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. - Qiang Wang 020; Simon Bliudze (TGC, 2015)

Parameterized Systems in BIP: Design and Model Checking. - Igor V. Konnov 001; Tomer Kotek; Qiang Wang 020; Helmut Veith; Simon Bliudze; Joseph Sifakis (CONCUR, 2016)

Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. - Qiang Wang 020 (SETTA, 2016)

Algorithmic Verification of Component-based Systems. - Qiang Wang 020 (2017)

Formal Verification of 5G-EAP-TLS Authentication Protocol. - Jingjing Zhang 005; Qiang Wang 020; Lin Yang; Tao Feng (DSC, 2019)

Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor. - Weipeng Cao; Zhong Ming 001; Zhiwu Xu 001; Jiyong Zhang; Qiang Wang 020 (IEEE Access, 2019)

Ensemble Neural Networks with Random Weights for Classification Problems. - Ye Liu; Weipeng Cao; Zhong Ming 001; Qiang Wang 020; Jiyong Zhang; Zhiwu Xu 001 (ACAI, 2020)

Formal analysis of QUIC handshake protocol using ProVerif. - Jingjing Zhang 005; Lin Yang; Xianming Gao; Qiang Wang 020 (CSCloud/EdgeCom, 2020)

Distributed and Parallel Ensemble Classification for Big Data Based on Kullback-Leibler Random Sample Partition. - Chenghao Wei; Jiyong Zhang; Timur Valiullin; Weipeng Cao; Qiang Wang 020; Hao Long (ICA3PP (1), 2020)

Safe and efficient collision avoidance control for autonomous vehicles. - Qiang Wang 020; Dachuan Li; Joseph Sifakis (MEMOCODE, 2020)

A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection. - Gaigai Tang; Lianxiao Meng; Huiqiang Wang; Shuangyin Ren; Qiang Wang 020; Lin Yang; Weipeng Cao (TASE, 2020)

Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif. - Jingjing Zhang 005; Lin Yang; Weipeng Cao; Qiang Wang 020 (IEEE Access, 2020)

Algorithm selection for software verification based on adversarial LSTM. - Qiang Wang 020; Jiawei Jiang; Yongxin Zhao; Weipeng Cao; Chunjiang Wang; Shengdong Li (BigDataSecurity, 2021)

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols. - Zhihao Liu; Qiang Wang 020; Yongjian Li; Yongxin Zhao (ISPA/BDCloud/SocialCom/SustainCom, 2021)

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. - Jingjing Zhang 005; Lin Yang; Xianming Gao; Gaigai Tang; Jiyong Zhang; Qiang Wang 020 (IEEE Access, 2021)

A hybrid controller for safe and efficient collision avoidance control. - Qiang Wang 020; Xinlei Zheng; Jiyong Zhang; Joseph Sifakis (CoRR, 2021)

A comparative study of neural network techniques for automatic software vulnerability detection. - Gaigai Tang; Lianxiao Meng; Shuangyin Ren; Weipeng Cao; Qiang Wang 020; Lin Yang (CoRR, 2021)

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking. - Jingjing Zhang 005; Xianming Gao; Lin Yang; Tao Feng; Dongyang Li; Qiang Wang 020 (Secur. Commun. Networks, 2021)

Formal Analysis of TSN Scheduler for Real-Time Communications. - Jin Lv; Yongxin Zhao; Xi Wu 005; Yongjian Li; Qiang Wang 020 (IEEE Trans. Reliab., 2021)

Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles. - Shengduo Chen; Yaowei Sun; Dachuan Li; Qiang Wang 020; Qi Hao; Joseph Sifakis (ICRA, 2022)

A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking. - Weipeng Cao; Yuhao Wu; Qiang Wang 020; Jiyong Zhang; Xingjian Zhang; Meikang Qiu (KSEM (3), 2022)

Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking. - Hongbin He; Hongyu Kuang; Lin Yang; Feng Yang; Qiang Wang 020; Weipeng Cao (KSEM (3), 2022)

PATVD:Vulnerability Detection Based on Pre-training Techniques and Adversarial Training. - Weiye Yu; Guang Kou; Qihe Liu; Haoyu Zhang; Qiang Wang 020 (SmartWorld/UIC/ScalCom/DigitalTwin/PriComp/Meta, 2022)

Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles. - Qiang Wang 020; Guang Kou; Longquan Chen; Ying He 006; Weipeng Cao; Geguang Pu (J. Circuits Syst. Comput., 2022)

A hybrid controller for safe and efficient longitudinal collision avoidance control. - Qiang Wang 020; Xinlei Zheng; Jiyong Zhang; Joseph Sifakis (J. Syst. Archit., 2022)

Joint Optimization of Sensing, Decision-Making and Motion-Controlling for Autonomous Vehicles: A Deep Reinforcement Learning Approach. - Longquan Chen; Ying He 006; Qiang Wang 020; Weike Pan; Zhong Ming 001 (IEEE Trans. Veh. Technol., 2022)

Simulation-Based Validation for Autonomous Driving Systems. - Changwen Li; Joseph Sifakis; Qiang Wang 020; Rongjie Yan; Jian Zhang 001 (ISSTA, 2023)

Enabling Behaviour Tree Verification via a Translation to BIP. - Qiang Wang 020; Huadong Dai; Yongxin Zhao; Min Zhang 002; Simon Bliudze (FACS, 2024)