Xuan Xie

According to our database, Xuan Xie authored at least 16 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Zhehua Zhou, Xuan Xie, Jiayang Song, Zhan Shu, Lei Ma

IEEE Trans. Neural Networks Learn. Syst., June, 2025

Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing.

Wenhan Wang, Xuan Xie, Yuheng Huang, Renzhi Wang, An Ran Chen, Lei Ma

CoRR, January, 2025

2024

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

Da Song, Xuan Xie, Jiayang Song, Derui Zhu, Yuheng Huang, Felix Juefei-Xu, Lei Ma

IEEE Trans. Software Eng., July, 2024

LeCov: Multi-level Testing Criteria for Large Language Models.

Xuan Xie, Jiayang Song, Yuheng Huang, Da Song, Fuyuan Zhang, Felix Juefei-Xu, Lei Ma

CoRR, 2024

MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems.

Renzhi Wang, Zhehua Zhou, Jiayang Song, Xuan Xie, Xiaofei Xie, Lei Ma

CoRR, 2024

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

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

CoRR, 2024

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

Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma, Dikai Liu, Jianxiong Yin, Simon See

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023

$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.

Jiayang Song, Xuan Xie, Lei Ma

IEEE Trans. Software Eng., August, 2023

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

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Int. J. Softw. Tools Technol. Transf., June, 2023

Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems.

Xuan Xie, Jiayang Song, Zhehua Zhou, Fuyuan Zhang, Lei Ma

CoRR, 2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network.

Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Online Reset for Signal Temporal Logic Monitoring.

Zhenya Zhang, Paolo Arcaini, Xuan Xie

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Neuro-Symbolic Verification of Deep Neural Networks.

Xuan Xie, Kristian Kersting, Daniel Neider

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

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

Igor Khmelnitsky, Daniel Neider, Rajarshi Roy, Xuan Xie, Benoît Barbot, Benedikt Bollig, Alain Finkel, Serge Haddad, Martin Leucker, Lina Ye

Proceedings of the Automated Technology for Verification and Analysis, 2021

2019

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.

Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Exposing library API misuses via mutation analysis.

Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su

Proceedings of the 41st International Conference on Software Engineering, 2019