Qiang Wang
Orcid: 0000-0001-5649-8694Affiliations:
- PLA Academy of Military Science, Beijing, China
- Southern University of Science and Technology, Shenzhen, China (former)
- EPFL, School of Communication and Computer Science, Lausanne, Switzerland (former)
According to our database1,
Qiang Wang
authored at least 33 papers
between 2011 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
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.
IEEE Trans. Veh. Technol., 2022
J. Syst. Archit., 2022
Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles.
J. Circuits Syst. Comput., 2022
PATVD:Vulnerability Detection Based on Pre-training Techniques and Adversarial Training.
Proceedings of the IEEE Smartworld, 2022
Automated Reliability Analysis of Redundancy Architectures Using Statistical Model Checking.
Proceedings of the Knowledge Science, Engineering and Management, 2022
Proceedings of the Knowledge Science, Engineering and Management, 2022
Runtime Safety Assurance for Learning-enabled Control of Autonomous Driving Vehicles.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022
2021
IEEE Trans. Reliab., 2021
A Systematic Approach to Formal Analysis of QUIC Handshake Protocol Using Symbolic Model Checking.
Secur. Commun. Networks, 2021
A comparative study of neural network techniques for automatic software vulnerability detection.
CoRR, 2021
IEEE Access, 2021
CMSS: Collaborative Modeling of Safety and Security Requirements for Network Protocols.
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
Proceedings of the 7th IEEE International Conference on Big Data Security on Cloud, 2021
2020
IEEE Access, 2020
A Comparative Study of Neural Network Techniques for Automatic Software Vulnerability Detection.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020
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.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2020
Proceedings of the 7th IEEE International Conference on Cyber Security and Cloud Computing, 2020
Proceedings of the ACAI 2020: 3rd International Conference on Algorithms, 2020
2019
IEEE Access, 2019
Proceedings of the Fourth IEEE International Conference on Data Science in Cyberspace, 2019
2017
2016
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems.
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction.
Proceedings of the Trustworthy Global Computing - 10th International Symposium, 2015
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
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.
Secur. Commun. Networks, 2014
J. Netw. Comput. Appl., 2014
2011
Proceedings of the IEEE 10th International Conference on Trust, 2011