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 2025,

收錄情况： SCOPUS

2.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 

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

Xie, Xuan     More...

Xie, Xuan     Less

University of Alberta, Published 2025, Pages 1-162

4.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核心合集引用: 5  2024影響因子:  5.6  发表年影響因子:  5.6 

5.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核心合集引用: 14 

6.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核心合集引用: 4  2024影響因子:  5.6  发表年影響因子:  6.5 

7.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核心合集引用: 6 

8.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 

9.Online Reset for Signal Temporal Logic Monitoring

Zhang, ZY, Arcaini,     More...

Zhang, ZY, Arcaini, P, Xie, X     Less

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS[0278-0070], Published 2022, Volume 41, Issue 11, Pages 4421-4432

收錄情况： WOS SCOPUS

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

10.Neuro-Symbolic Verification of Deep Neural Networks

Xie, X, Kersting, K,     More...

Xie, X, Kersting, K, Neider, D     Less

PROCEEDINGS OF THE THIRTY-FIRST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2022[1045-0823], Published 2022, Pages 3622-3628

收錄情况： WOS SCOPUS

WOS核心合集引用: 5 

More...