Automatic Generation of Test Cases of Multi-Agent Systems Based on Model Checking. - Weijian Tang; Keming Wang (ISKE, 2021)

Toward Smart Condition Monitoring of Rotatory Machines: An Optimized Probabilistic Signal Reconstruction Methodology for Fault Prediction With Multisource Uncertainties. - Xiaomo Jiang; Weijian Tang; Haixin Zhao; Xueyu Cheng (IEEE Access, 2022)