Xuan Xie

Orcid: 0000-0003-3981-8515

According to our database1, Xuan Xie authored at least 54 papers between 2011 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CSASNet - A Crop Leaf Disease Identification Method Based on Improved ShuffleNetV2.
Autom. Control. Comput. Sci., August, 2024

LUNA: A Model-Based Universal Analysis Framework for Large Language Models.
IEEE Trans. Software Eng., July, 2024

Attention Erasing and Instance Sampling for Weakly Supervised Object Detection.
IEEE Trans. Geosci. Remote. Sens., 2024

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

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

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

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

Integrated diagnosis of glioma based on magnetic resonance images with incomplete ground truth labels.
Comput. Biol. Medicine, 2024

Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.
Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023
Differential evolution-based optimized hierarchical extreme learning machines for fault section diagnosis of large-scale power systems.
Expert Syst. Appl., December, 2023

$\mathtt {SIEGE}$SIEGE: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems.
IEEE Trans. Software Eng., August, 2023

Analysis of recurrent neural networks via property-directed verification of surrogate models.
Int. J. Softw. Tools Technol. Transf., June, 2023

Exploring Spatiotemporal Variations in Land Surface Temperature Based on Local Climate Zones in Shanghai from 2008 to 2020.
Remote. Sens., June, 2023

Multi-objective routing algorithms for low-earth orbit satellite network.
Int. J. Satell. Commun. Netw., 2023

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

Random Fourier Features Based Kernel Recursive Least Logarithmic Hyperbolic Cosine Algorithm.
Proceedings of the IEEE International Conference on Real-time Computing and Robotics, 2023

Recyclable garbage detection algorithm under occlusion conditions.
Proceedings of the 4th International Conference on Machine Learning and Computer Application, 2023

DeepGemini: Verifying Dependency Fairness for Deep Neural Network.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Multiple μ-Stable Synchronization Control for Coupled Memristive Neural Networks With Unbounded Time Delays.
IEEE Trans. Syst. Man Cybern. Syst., 2022

Self-Guided Proposal Generation for Weakly Supervised Object Detection.
IEEE Trans. Geosci. Remote. Sens., 2022

Robust Tensor Recovery in Impulsive Noise Based on Correntropy and Hybrid Tensor Sparsity.
IEEE Trans. Circuits Syst. II Express Briefs, 2022

Online Reset for Signal Temporal Logic Monitoring.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration.
CoRR, 2022

Neuro-Symbolic Verification of Deep Neural Networks.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021
A Robust Student's t-Based Kernel Adaptive Filter.
IEEE Trans. Circuits Syst. II Express Briefs, 2021

ECDR$^{2}$2: Error Corrector and Detector Relocation Router for Network-on-Chip.
IEEE Trans. Computers, 2021

Bandwidth Detection of Graph Signals with a Small Sample Size.
Sensors, 2021

Combination of Sentinel-2 and PALSAR-2 for Local Climate Zone Classification: A Case Study of Nanchang, China.
Remote. Sens., 2021

Pinning multisynchronization of delayed fractional-order memristor-based neural networks with nonlinear coupling and almost-periodic perturbations.
Neural Networks, 2021

Assessment of a Random Forest Classifier in Urban Local Climate Zone Classification Using Sentinel-2 and PALSAR-2.
Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

Property-Directed Verification and Robustness Certification of Recurrent Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
PPLS: a privacy-preserving location-sharing scheme in mobile online social networks.
Sci. China Inf. Sci., 2020

Sampling Policy Design for Tracking Time-varying Graph Signals with Adaptive Budget Allocation.
Proceedings of the Asia-Pacific Signal and Information Processing Association Annual Summit and Conference, 2020

2019
Efficient Design-for-Test Approach for Networks-on-Chip.
IEEE Trans. Computers, 2019

A Robust Hybrid Filtering Method for Accurate Battery Remaining Useful Life Prediction.
IEEE Access, 2019

Multi-Synchronization of Stochastic Coupled Multi-Stable Neural Networks With Time-Varying Delay by Impulsive Control.
IEEE Access, 2019

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.
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.
Proceedings of the 41st International Conference on Software Engineering, 2019

Active Sampling for Approximately Bandlimited Graph Signals.
Proceedings of the IEEE International Conference on Acoustics, 2019

On Critical Sampling of Time-Vertex Graph Signals.
Proceedings of the 2019 IEEE Global Conference on Signal and Information Processing, 2019

Bayesian Design of Sampling Set for Bandlimited Graph Signals.
Proceedings of the 2019 IEEE Global Conference on Signal and Information Processing, 2019

2018
Multiple Frequency Bands Analysis of Large Scale Intrinsic Brain Networks and Its Application in Schizotypal Personality Disorder.
Frontiers Comput. Neurosci., 2018

PPLS: A Privacy-Preserving Location-Sharing Scheme in Vehicular Social Networks.
CoRR, 2018

Near-field millimeter-wave imaging using a fast matrix-free sparse Bayesian learning approach.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2018

A fast parallel primal-dual based compressed sensing method for 2-D near-field SAR image reconstruction.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2018

Body Gestures Recognition Based on CNN-ELM Using Wi-Fi Long Preamble.
Proceedings of the Communications, Signal Processing, and Systems, 2018

2017
Design and implementation of smoke early warning system based on video analysis technology.
Proceedings of the 2017 International Conference on Machine Learning and Cybernetics, 2017

Design of sampling set for bandlimited graph signal estimation.
Proceedings of the 2017 IEEE Global Conference on Signal and Information Processing, 2017

2016
Reuse of WiFi Information for Indoor Monitoring of the Elderly.
Proceedings of the 17th IEEE International Conference on Information Reuse and Integration, 2016

2015
Analog Circuits Soft Fault Diagnosis Using Rényi's Entropy.
J. Electron. Test., 2015

2014
Efficient Linear Homomorphic Encryption from LWE Over Rings.
Wirel. Pers. Commun., 2014

Soft Fault Diagnosis of Analog Circuits via Frequency Response Function Measurements.
J. Electron. Test., 2014

Rényi's Entropy Based Method for Analog Circuits Soft Fault Detection.
Proceedings of the 17th IEEE International Conference on Computational Science and Engineering, 2014

2011
Rail pressure control of common rail diesel engine based on RBF neural network adaptive PID controller.
Proceedings of the International Conference on Electronic and Mechanical Engineering and Information Technology, 2011


  Loading...