Qiang Wang

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 9

Top Topics

Formal Verification

Autonomous Driving

Top Venues

Secur. Commun. Networks

Publications

Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
Simulation-Based Validation for Autonomous Driving Systems. ISSTA (2023)
Changwen Li, Joseph Sifakis, Qiang Wang, Rongjie Yan, Jian Zhang
Simulation-based Validation for Autonomous Driving Systems. CoRR (2023)
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)
Igor V. Konnov, Tomer Kotek, Qiang Wang, Helmut Veith, Simon Bliudze, Joseph Sifakis
Parameterized Systems in BIP: Design and Model Checking. CONCUR (2016)
Qiang Wang
Exploiting Symmetry for Efficient Verification of Infinite-State Component-Based Systems. SETTA (2016)
Qiang Wang, Yan Lei, Simon Bliudze, Xiaoguang Mao
Automatic Fault Localization for BIP. SETTA (2015)
Qiang Wang, Simon Bliudze
SeBip: A Symbolic Executor for BIP. ICECCS (2015)
Qiang Wang, Simon Bliudze
Verification of Component-Based Systems via Predicate Abstraction and Simultaneous Set Reduction. TGC (2015)
Simon Bliudze, Alessandro Cimatti, Mohamad Jaber, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang
Formal Verification of Infinite-State BIP Models. ATVA (2015)
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) (2014)
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 (2014)
Qiang Wang, Xue Qiu, Quan Zhang, Chaojing Tang
Key Privacy in McEliece Public Key Cryptosystem. TrustCom (2011)