Synthesizing power management strategies for wireless sensor networks with UPPAAL-STRATEGO. - Shengxin Dai; Mei Hong; Bing Guo (Int. J. Distributed Sens. Networks, 2017)

A Comparative Study of Reliability-Ignorant and Reliability-Aware Energy Management Schemes Using UPPAAL-SMC. - Shengxin Dai; Mei Hong; Bing Guo (Sci. Program., 2017)

Message from Dependability in Sensor, Cloud and Big Data System and Applications 2022 Program Chairs. - Nasrulloh R. B. S. Loka; Xueqin Liang; Shengxin Dai (HPCC/DSS/SmartCity/DependSys, 2022)

FedCo: Self-Supervised Learning in Federated Learning with Momentum Contrast. - Shuai Wei; Guitao Cao; Cheng Dai; Shengxin Dai; Bing Guo (HPCC/DSS/SmartCity/DependSys, 2022)

A Federated Learning Aggregation that Integrates Clustering and Momentum Correction Based on Historical High-Quality Gradients. - Jian Xu; Bing Guo; Fei Chen; Yan Shen 001; Shengxin Dai; Cheng Dai (ISPA/BDCloud/SocialCom/SustainCom, 2023)

KRL_Match: knowledge graph objects matching for knowledge representation learning. - Xinhua Suo; Bing Guo; Yan Shen 001; Shengxin Dai; Wei Wang 283; Yaosen Chen; Zhen Zhang 036 (Knowl. Inf. Syst., 2023)

A DNN Fuzz Testing Method Based on Gradient-Weighted Class Activation Map. - Zhouning Chen; Qiaoyun Liu; Shengxin Dai; Qiuhui Yang (APSEC, 2024)

Enhancing Sales Forecasting Accuracy in the Presence of Missing Data. - Jun Tang; Jingpeng Sun; Bing Guo; Yan Shen; Shengxin Dai; Peng Wang (iThings/GreenCom/CPSCom/SmartData/Cybermatics, 2024)

A nonlocal feature self-similarity based tensor completion method for video recovery. - Shoupeng Lu; Peng Wang; Wenhui Zhu; Cheng Dai; Ying Zhang; Chuanjie Liu; Shengxin Dai (Neurocomputing, 2024)

Energy-Efficient Inference With Software-Hardware Co-Design for Sustainable Artificial Intelligence of Things. - Shengxin Dai; Zheng Luo; Wendian Luo; Siyi Wang; Cheng Dai; Bing Guo; Xiaokang Zhou (IEEE Internet Things J., 2024)

A Mutual-Influence-Aware Heuristic Method for Quantum Circuit Mapping. - Kui Ye; Shengxin Dai; Bing Guo; Yan Shen 001; Chuanjie Liu; Kejun Bi; Fei Chen; Yuchuan Hu; Mingjie Zhao 002 (IEEE Trans. Computers, 2024)

A defense mechanism for federated learning in AIoT through critical gradient dimension extraction. - Jian Xu; Bing Guo; Fei Chen; Yan Shen 001; Shengxin Dai; Cheng Dai; Yuchuan Hu (Comput. Commun., 2025)

Temporal action localization with State-Sensitive Mamba and centroid sequences enhancement. - Peng Wang; Shoupeng Lu; Cheng Dai; Shengxin Dai; Bing Guo (Neurocomputing, 2025)

Cross-city transfer learning for traffic forecasting via incremental distribution rectification. - Banglie Yang; Runze Li; Yijing Wang; Sha Xiang; Shuo Zhu; Cheng Dai; Shengxin Dai; Bing Guo (Knowl. Based Syst., 2025)

Attention-based vector quantized variational autoencoder for anomaly detection by using orthogonal subspace constraints. - Qien Yu; Shengxin Dai; Ran Dong; Soichiro Ikuno (Pattern Recognit., 2025)

Federated Self-Supervised Learning Based on Prototypes Clustering Contrastive Learning for Internet of Vehicles Applications. - Cheng Dai; Shuai Wei; Shengxin Dai; Sahil Garg; Georges Kaddoum; M. Shamim Hossain (IEEE Internet Things J., 2025)