1.Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward

Xie, Xuan, Song, Jia     More...

Xie, Xuan, Song, Jiayang, Zhou, Zhehua, Huang, Yuheng, Song, Da, Ma, Lei     Less

IEEE Transactions on Artificial Intelligence[2691-4581], Published 2026, Volume 7, Issue 3, Pages 1626-1641

收錄情况： SCOPUS

2.LeCov: Multi-level testing criteria for large language models

Xie, X, Song, JY, Hu     More...

Xie, X, Song, JY, Huang, YH, Song, D, Juefei-Xu, F, Ma, L     Less

JOURNAL OF SYSTEMS AND SOFTWARE[0164-1212], Published 2026, Volume 235,

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  4.1 

3.Mosaic: model-based safety analysis for AI-enabled cyber physical system

Xie, X, Song, JY, Zh     More...

Xie, X, Song, JY, Zhou, ZH, Zhang, FY, Ma, L     Less

EMPIRICAL SOFTWARE ENGINEERING[1382-3256], Published 2026, Volume 31, Issue 3,

收錄情况： WOS SCOPUS

WOS核心合集引用: 0  2024影響因子:  3.6 

4.GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model

Zhou, ZH, Xie, X, So     More...

Zhou, ZH, Xie, X, Song, JY, Shu, Z, Ma, L     Less

IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS[2162-237X], Published 2025, Volume 36, Issue 6, Pages 10678-10692

收錄情况： WOS SCOPUS

WOS核心合集引用: 1  2024影響因子:  8.9 

5.Solidifying AI-enabled Systems via Verification, Testing, and Monitoring

Xie, Xuan     More...

Xie, Xuan     Less

University of Alberta, Published 2025, Pages 1-162

6.LUNA: A Model-Based Universal Analysis Framework for Large Language Models

Song, D, Xie, X, Son     More...

Song, D, Xie, X, Song, JY, Zhu, DR, Huang, YH, Felix, JX, Ma, L     Less

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 2024, Volume 50, Issue 7, Pages 1921-1948

收錄情况： WOS SCOPUS

WOS核心合集引用: 9  2024影響因子:  5.6  发表年影響因子:  5.6 

7.Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation

Zhou, ZH, Song, JY,     More...

Zhou, ZH, Song, JY, Xie, X, Shu, Z, Ma, L, Liu, DK, Yin, JX, See, S     Less

2024 ACM/IEEE 46TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP 2024[2832-7640], Published 2024, Issue 2024, Pages 263-274

收錄情况： WOS SCOPUS

WOS核心合集引用: 21 

8.SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems

Song, JY, Xie, X, Ma     More...

Song, JY, Xie, X, Ma, L     Less

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING[0098-5589], Published 2023, Volume 49, Issue 8, Pages 4058-4080

收錄情况： WOS SCOPUS

WOS核心合集引用: 6  2024影響因子:  5.6  发表年影響因子:  6.5 

9.DeepGemini: Verifying Dependency Fairness for Deep Neural Networks

Xie, X, Zhang, FY, H     More...

Xie, X, Zhang, FY, Hu, XW, Ma, L     Less

THIRTY-SEVENTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOL 37 NO 12[2159-5399], Published 2023, Volume 37, Pages 15251-15259

收錄情况： WOS SCOPUS

WOS核心合集引用: 7 

10.Analysis of recurrent neural networks via property-directed verification of surrogate models

Khmelnitsky, I, Neid     More...

Khmelnitsky, I, Neider, D, Roy, R, Xie, X, Barbot, B, Bollig, B, Finkel, A, Haddad, S, Leucker, M, Ye, LN     Less

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER[1433-2779], Published 2023, Volume 25, Issue 3, Pages 341-354

收錄情况： WOS SCOPUS

WOS核心合集引用: 3  2024影響因子:  1.4  发表年影響因子:  1.1 

More...