Qiang Wang

According to our database, Qiang Wang authored at least 34 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Enabling Behaviour Tree Verification via a Translation to BIP.

Qiang Wang, Huadong Dai, Yongxin Zhao, Min Zhang, Simon Bliudze

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Simulation-Based Validation for Autonomous Driving Systems.

Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

Joint Optimization of Sensing, Decision-Making and Motion-Controlling for Autonomous Vehicles: A Deep Reinforcement Learning Approach.

Longquan Chen, Ying He, Qiang Wang, Weike Pan, Zhong Ming

IEEE Trans. Veh. Technol., 2022

A hybrid controller for safe and efficient longitudinal collision avoidance control.

Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis

J. Syst. Archit., 2022

Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.

Qiang Wang, Guang Kou, Longquan Chen, Ying He, Weipeng Cao, Geguang Pu

J. Circuits Syst. Comput., 2022

PATVD:Vulnerability Detection Based on Pre-training Techniques and Adversarial Training.

Weiye Yu, Guang Kou, Qihe Liu, Haoyu Zhang, Qiang Wang

Proceedings of the IEEE Smartworld, 2022

Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.

Hongbin He, Hongyu Kuang, Lin Yang, Feng Yang, Qiang Wang, Weipeng Cao

Proceedings of the Knowledge Science, Engineering and Management, 2022

A Novel RVFL-Based Algorithm Selection Approach for Software Model Checking.

Weipeng Cao, Yuhao Wu, Qiang Wang, Jiyong Zhang, Xingjian Zhang, Meikang Qiu

Proceedings of the Knowledge Science, Engineering and Management, 2022

Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.

Shengduo Chen, Yaowei Sun, Dachuan Li, Qiang Wang, Qi Hao, Joseph Sifakis

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

2021

Formal Analysis of TSN Scheduler for Real-Time Communications.

Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang

IEEE Trans. Reliab., 2021

A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.

Jingjing Zhang, Xianming Gao, Lin Yang, Tao Feng, Dongyang Li, Qiang Wang

Secur. Commun. Networks, 2021

A comparative study of neural network techniques for automatic software vulnerability detection.

Gaigai Tang, Lianxiao Meng, Shuangyin Ren, Weipeng Cao, Qiang Wang, Lin Yang

CoRR, 2021

A hybrid controller for safe and efficient collision avoidance control.

Qiang Wang, Xinlei Zheng, Jiyong Zhang, Joseph Sifakis

CoRR, 2021

Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.

Jingjing Zhang, Lin Yang, Xianming Gao, Gaigai Tang, Jiyong Zhang, Qiang Wang

IEEE Access, 2021

CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.

Zhihao Liu, Qiang Wang, Yongjian Li, Yongxin Zhao

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

Algorithm selection for software verification based on adversarial LSTM.

Qiang Wang, Jiawei Jiang, Yongxin Zhao, Weipeng Cao, Chunjiang Wang, Shengdong Li

Proceedings of the 7th IEEE International Conference on Big Data Security on Cloud, 2021

2020

Formal Analysis of 5G EAP-TLS Authentication Protocol Using Proverif.

Jingjing Zhang, Lin Yang, Weipeng Cao, Qiang Wang

IEEE Access, 2020

A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection.

Gaigai Tang, Lianxiao Meng, Huiqiang Wang, Shuangyin Ren, Qiang Wang, Lin Yang, Weipeng Cao

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

Safe and efficient collision avoidance control for autonomous vehicles.

Qiang Wang, Dachuan Li, Joseph Sifakis

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 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, Hao Long

Proceedings of the Algorithms and Architectures for Parallel Processing, 2020

Formal analysis of QUIC handshake protocol using ProVerif.

Jingjing Zhang, Lin Yang, Xianming Gao, Qiang Wang

Proceedings of the 7th IEEE International Conference on Cyber Security and Cloud Computing, 2020

Ensemble Neural Networks with Random Weights for Classification Problems.

Ye Liu, Weipeng Cao, Zhong Ming, Qiang Wang, Jiyong Zhang, Zhiwu Xu

Proceedings of the ACAI 2020: 3rd International Conference on Algorithms, 2020

2019

Online Sequential Extreme Learning Machine With Dynamic Forgetting Factor.

Weipeng Cao, Zhong Ming, Zhiwu Xu, Jiyong Zhang, Qiang Wang

IEEE Access, 2019

Formal Verification of 5G-EAP-TLS Authentication Protocol.

Jingjing Zhang, Qiang Wang, Lin Yang, Tao Feng

Proceedings of the Fourth IEEE International Conference on Data Science in Cyberspace, 2019

2017

Algorithmic Verification of Component-based Systems.

Qiang Wang

PhD thesis, 2017

2016

Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems.

Qiang Wang

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Parameterized Systems in BIP: Design and Model Checking.

Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.

Qiang Wang, Simon Bliudze

Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015

Automatic Fault Localization for BIP.

Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015

SeBip: A Symbolic Executor for BIP.

Qiang Wang, Simon Bliudze

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Formal Verification of Infinite-State BIP Models.

Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang

Proceedings of the Automated Technology for Verification and Analysis, 2015

2014

TOA: a tag-owner-assisting RFID authentication protocol toward access control and ownership transfer.

Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Chao Wang, Chaojing Tang

Secur. Commun. Networks, 2014

RFID seeking: Finding a lost tag rather than only detecting its missing.

Wei Xie, Lei Xie, Chen Zhang, Qiang Wang, Jian Xu, Quan Zhang, Chaojing Tang

J. Netw. Comput. Appl., 2014

2011

Key Privacy in McEliece Public Key Cryptosystem.

Qiang Wang, Xue Qiu, Quan Zhang, Chaojing Tang

Proceedings of the IEEE 10th International Conference on Trust, 2011