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

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

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

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

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

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

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

10.Property-Directed Verification and Robustness Certification of Recurrent Neural Networks

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

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2021[0302-9743], Published 2021, Volume 12971, Pages 364-380

收錄情况： WOS SCOPUS

WOS核心合集引用: 10 

11.Exposing Library API Misuses via Mutation Analysis

Wen, M, Liu, YP, Wu,     More...

Wen, M, Liu, YP, Wu, RX, Xie, X, Cheung, SC, Su, ZD     Less

2019 IEEE/ACM 41ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2019)[0270-5257], Published 2019, Volume 2019-May, Pages 866-877

收錄情况： WOS SCOPUS

WOS核心合集引用: 30 

12.Exploring and Exploiting the Correlations between Bug-Inducing and Bug-Fixing Commits

Wen, M, Wu, RX, Liu,     More...

Wen, M, Wu, RX, Liu, YP, Tian, YQ, Xie, X, Cheung, SC, Su, ZD     Less

ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, Published 2019, Pages 326-337

收錄情况： WOS SCOPUS

WOS核心合集引用: 42 

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

Xie, Xuan     More...

Xie, Xuan     Less

University of Alberta, Published 2025, Pages 1-162