Modeling Link Quality for High-Speed Railway Networks Based on Hidden Markov Chain. - Jiayang Song; Huachun Zhou; Wei Quan 001; Tao Zheng; Ping Dong (VTC Spring, 2016)

Modeling link quality for high-speed railway wireless networks based on hidden Markov chain. - Jiayang Song; Huachun Zhou; Wei Quan 001; Tao Zheng; Ping Dong (EURASIP J. Wirel. Commun. Netw., 2016)

Link State Prediction-Based Reliable Transmission for High-Speed Railway Networks. - Hongke Zhang; Wei Quan 001; Jiayang Song; Zhongbai Jiang; Shui Yu 001 (IEEE Trans. Veh. Technol., 2016)

A Performance Analysis Model for TCP over Multiple Heterogeneous Paths in 5G Networks. - Jiayang Song; Ping Dong; Huachun Zhou; Tao Zheng; Xiaojiang Du; Mohsen Guizani (GLOBECOM, 2017)

A Scalable and Smart Hierarchical Wireless Communication Architecture Based on Network/User Separation. - Hongke Zhang; Ping Dong; Shui Yu 001; Jiayang Song (IEEE Wirel. Commun., 2017)

A Performance Analysis Model of TCP over Multiple Heterogeneous Paths for 5G Mobile Services. - Jiayang Song; Ping Dong; Huachun Zhou; Tao Zheng; Xiaojiang Du; Mohsen Guizani (CoRR, 2018)

Bayer Image Demosaicking Using Eight-Directional Weights Based on the Gradient of Color Difference. - Yizheng Liu; Chengyou Wang; Hongming Zhao; Jiayang Song; Shiyue Chen (Symmetry, 2018)

When Cyber-Physical Systems Meet AI: A Benchmark, an Evaluation, and a Way Forward. - Jiayang Song; Deyun Lyu; Zhenya Zhang; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003 (ICSE (SEIP), 2022)

AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions. - Deyun Lyu; Jiayang Song; Zhenya Zhang; Zhijie Wang 014; Tianyi Zhang 001; Lei Ma 003; Jianjun Zhao 001 (CoRR, 2023)

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems. - Xuan Xie 001; Jiayang Song; Zhehua Zhou; Fuyuan Zhang; Lei Ma 003 (CoRR, 2023)

Look Before You Leap: An Exploratory Study of Uncertainty Measurement for Large Language Models. - Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Huaming Chen; Lei Ma 003 (CoRR, 2023)

Self-Refined Large Language Model as Automated Reward Function Designer for Deep Reinforcement Learning in Robotics. - Jiayang Song; Zhehua Zhou; Jiawei Liu; Chunrong Fang; Zhan Shu; Lei Ma 003 (CoRR, 2023)

$ mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems. - Jiayang Song; Xuan Xie 001; Lei Ma 003 (IEEE Trans. Software Eng., 2023)

ISR-LLM: Iterative Self-Refined Large Language Model for Long-Horizon Sequential Task Planning. - Zhehua Zhou; Jiayang Song; Kunpeng Yao; Zhan Shu; Lei Ma 003 (ICRA, 2024)

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation. - Zhehua Zhou; Jiayang Song; Xuan Xie 001; Zhan Shu; Lei Ma 003; Dikai Liu; Jianxiong Yin; Simon See (ICSE-SEIP, 2024)

Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward. - Xuan Xie 001; Jiayang Song; Zhehua Zhou; Yuheng Huang 004; Da Song; Lei Ma 003 (CoRR, 2024)

Multilingual Blending: LLM Safety Alignment Evaluation with Language Mixture. - Jiayang Song; Yuheng Huang 004; Zhehua Zhou; Lei Ma 003 (CoRR, 2024)

Active Testing of Large Language Model via Multi-Stage Sampling. - Yuheng Huang 004; Jiayang Song; Qiang Hu; Felix Juefei-Xu; Lei Ma 003 (CoRR, 2024)

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems. - Renzhi Wang; Zhehua Zhou; Jiayang Song; Xuan Xie 001; Xiaofei Xie; Lei Ma 003 (CoRR, 2024)

LeCov: Multi-level Testing Criteria for Large Language Models. - Xuan Xie 001; Jiayang Song; Yuheng Huang 004; Da Song; Fuyuan Zhang; Felix Juefei-Xu; Lei Ma 003 (CoRR, 2024)

Towards Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation: An Empirical Study. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (CoRR, 2024)

LADEV: A Language-Driven Testing and Evaluation Platform for Vision-Language-Action Models in Robotic Manipulation. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (CoRR, 2024)

Towards Understanding Retrieval Accuracy and Prompt Quality in RAG Systems. - Shengming Zhao; Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Chengcheng Wan 001; Lei Ma 003 (CoRR, 2024)

LUNA: A Model-Based Universal Analysis Framework for Large Language Models. - Da Song; Xuan Xie 001; Jiayang Song; Derui Zhu; Yuheng Huang 004; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Software Eng., 2024)

Multilingual Blending: Large Language Model Safety Alignment Evaluation with Language Mixture. - Jiayang Song; Yuheng Huang 004; Zhehua Zhou; Lei Ma 003 (NAACL (Findings), 2025)

VLATest: Testing and Evaluating Vision-Language-Action Models for Robotic Manipulation. - Zhijie Wang 014; Zhehua Zhou; Jiayang Song; Yuheng Huang 004; Zhan Shu; Lei Ma 003 (Proc. ACM Softw. Eng., 2025)

Look Before You Leap: An Exploratory Study of Uncertainty Analysis for Large Language Models. - Yuheng Huang 004; Jiayang Song; Zhijie Wang 014; Shengming Zhao; Huaming Chen; Felix Juefei-Xu; Lei Ma 003 (IEEE Trans. Software Eng., 2025)

GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model. - Zhehua Zhou; Xuan Xie 001; Jiayang Song; Zhan Shu; Lei Ma 003 (IEEE Trans. Neural Networks Learn. Syst., 2025)

TRUSTVIS: A Multi-Dimensional Trustworthiness Evaluation Framework for Large Language Models. - Ruoyu Sun; Da Song; Jiayang Song; Yuheng Huang 004; Lei Ma 003 (CoRR, 2025)