Xuan Xie
Scholar

Xuan Xie

Google Scholar ID: xD6pdCAAAAAJ
Macau University of Science and Technology
Trustworthy LLMCyber Physical SystemNeural Network Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
352
 
H-index
12
 
i10-index
13
 
Publications
20
 
Co-authors
0
 
Publications
13 items
FairTest: Search-Based Fairness Testing for Multi-Agent Reinforcement Learning Systems
2026
Cited
0
Understanding Software Defect Prediction: A Large-scale Empirical Study Across Uncertainty Quantification and Performance Evaluation
2026
Cited
0
MASTOR: A Multi-Agent Approach to Semantic Test Oracle Generation for RESTful APIs
2026
Cited
0
GMENet: Generative Mixture of Experts Network for Multi-Center Glioma Diagnosis with Incomplete Imaging Sequences
2026
Cited
0
Prompt Group-Aware Training for Robust Text-Guided Nuclei Segmentation
2026
Cited
0
AISA: Awakening Intrinsic Safety Awareness in Large Language Models against Jailbreak Attacks
2026
Cited
0
DaGRPO: Rectifying Gradient Conflict in Reasoning via Distinctiveness-Aware Group Relative Policy Optimization
2025
Cited
0
SingleQuant: Efficient Quantization of Large Language Models in a Single Pass
2025
Cited
0
Resume
Academic Achievements
  • - [pre-print] Fine-grained Testing for Autonomous Driving Software: a Study on Autoware with LLM-driven Unit Testing
  • - [pre-print] LeCov: Multi-level Testing Criteria for Large Language Models
  • - [pre-print] MORTAR: A Model-based Runtime Action Repair Framework for AI-enabled Cyber-Physical Systems
  • - [EMSE'25] Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems
  • - [TAI'25] Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward
  • - [TNNLS'24] GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model
  • - [TSE'24] LUNA: A Model-Based Universal Analysis Framework for Large Language Models
  • - [ICSE'24] Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
  • - [TSE'23] SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems
  • - [AAAI'23] DeepGemini: Verifying Dependency Fairness for Deep Neural Network
  • - [STTT'23] Analysis of Recurrent Neural Networks via Property-directed Verification of Surrogate Models
  • - [TCAD'22] Online Reset for Signal Temporal Logic Monitoring
Research Experience
  • No specific research experience or job positions provided
Education
  • - Ph.D.: University of Alberta, Canada. Supervisor: Prof. Lei Ma
  • - M.Sc.: Max Planck Institute for Software Systems, Germany
  • - Bachelor: Sun Yat-sen University, China
Background
  • - Research Interests: Trustworthiness Analysis for Large Language Model, Safety Analysis for AI-enabled Cyber-Physical Systems, Neural Network Verification
  • - Position: Assistant Professor
  • - Affiliation: School of Computer Science and Engineering, Faculty of Innovation Engineering, Macau University of Science and Technology
Miscellany
  • No personal interests or other information provided