Scholar
Xuan Xie
Google Scholar ID: xD6pdCAAAAAJ
Macau University of Science and Technology
Citations & Impact
Citations
352
H-index
12
i10-index
13
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
Resume (English only)
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
Co-authors