XZ
Xi Zheng
cs.LGcs.SEcs.CRcs.AIcs.DCeess.SPcs.ROcs.CVBreast Neoplasmscs.HC
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan, Vijay Ganesh +9
1 version
Preprints & journals
64 papers in the corpus · 2017–2026From Particles to Perils: SVGD-Based Hazardous Scenario Generation for Autonomous Driving Systems Testing2604.18918v1 · Linfeng Liang, Xiao Cheng, Tsong Yueh Chen et al.2026 · 0 citationsProceedings of the ACM on Software Engineering, Vol. 3, FSE, Article FSE146, July 2026. Article FSE146 (July 2026),
Research progress on the use of polyphenols in the treatment of Crohn's disease.41357889 · Zhong, Xianmei, Dai, Qian, Li, Jing et al.2025 · 1 citationFrontiers in pharmacology. 2025;16:1704901
AutoMT: A Multi-Agent LLM Framework for Automated Metamorphic Testing of Autonomous Driving Systems2510.19438v1 · Linfeng Liang, Chenkai Tan, Yao Deng et al.2025 · 0 citationsarXiv
Neural Field-Based 3D Surface Reconstruction of Microstructures from Multi-Detector Signals in Scanning Electron Microscopy2508.04728v2 · Shuo Chen, Yijin Li, Xi Zheng et al.2025 · 0 citationsarXiv
Towards Robust Autonomous Landing Systems: Iterative Solutions and Key Lessons Learned2505.12176v2 · Sebastian Schroder, Yao Deng, Alice James et al.2025 · 1 citationarXiv
Unlocking User-oriented Pages: Intention-driven Black-box Scanner for Real-world Web Applications2504.20801v2 · Weizhe Wang, Yao Zhang, Kaitai Liang et al.2025 · 0 citationsarXiv
NeuroStrata: Harnessing Neurosymbolic Paradigms for Improved Design, Testability, and Verifiability of Autonomous CPS2502.12267v2 · Xi Zheng, Ziyang Li, Ivan Ruchkin et al.2025 · 7 citationsFSE Companion '25: Companion Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, Trondheim, Norway, June 2025
SAFE: Harnessing LLM for Scenario-Driven ADS Testing from Multimodal Crash Data2502.02025v2 · Siwei Luo, Yang Zhang, Yao Deng et al.2025 · 0 citationsarXiv
MARL-OT: Multi-Agent Reinforcement Learning Guided Online Fuzzing to Detect Safety Violation in Autonomous Driving Systems2501.14451v1 · Linfeng Liang, Xi Zheng2025 · 1 citationarXiv
Grey-Box Fuzzing in Constrained Ultra-Large Systems: Lessons for SE Community2501.10269v3 · Jiazhao Yu, Yanlun Tu, Zhanlei Zhang et al.2025 · 1 citationarXiv
Ray-Aided Quadruple Affiliation Network for Calculating Tumor-Stroma Ratios in Breast Cancers.40266855 · Yang, Kunping, Chen, Linying, Zheng, Xi et al.2025 · 1 citationIEEE transactions on image processing : a publication of the IEEE Signal Processing Society. 2025;34:2811-2825
Co-culture Model Using Two Types of Adherent Cell Lines.39584674 · Song, Zhuo, Zhao, Lisha, Hu, Jingwen et al.2024 · 1 citationJournal of visualized experiments : JoVE. 2024(213)
Vehicular Mini-LED backlight display inspection based on residual global context mechanism.39467917 · Zhao, Guobao, Zheng, Xi, Huang, Xiao et al.2024 · 2 citationsFrontiers of optoelectronics. 2024;17(1):35
Vague-Segment Technique: Automatic Computation of Tumor Stroma Ratio for Breast Cancer on Whole Slides.38079367 · Xinsen, Lian, Yang, Kunping, Bingzhi, Chen et al.2024 · 5 citationsIEEE journal of biomedical and health informatics. 2024;28(2):905-916
Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach2311.07377v3 · Xi Zheng, Aloysius K. Mok, Ruzica Piskac et al.2023 · 7 citationsarXiv
LGL-BCI: A Motor-Imagery-Based Brain-Computer Interface with Geometric Learning2310.08051v5 · Jianchao Lu, Yuzhe Tian, Yang Zhang et al.2023 · 7 citationsarXiv
GARL: Genetic Algorithm-Augmented Reinforcement Learning to Detect Violations in Marker-Based Autonomous Landing Systems2310.07378v3 · Linfeng Liang, Yao Deng, Kye Morton et al.2023 · 2 citationsarXiv
DSHGT: Dual-Supervisors Heterogeneous Graph Transformer -- A pioneer study of using heterogeneous graph learning for detecting software vulnerabilities2306.01376v3 · Tiehua Zhang, Rui Xu, Jianping Zhang et al.2023 · 10 citationsarXiv
Trustworthy Sensor Fusion against Inaudible Command Attacks in Advanced Driver-Assistance System2306.05358v1 · Jiwei Guan, Lei Pan, Chen Wang et al.2023 · 0 citationsarXiv
CUEING: a lightweight model to Capture hUman attEntion In driviNG2305.15710v2 · Linfeng Liang, Yao Deng, Yang Zhang et al.2023 · 1 citationarXiv
TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles via Validated LLM-Guided Knowledge Extraction2305.06018v4 · Yao Deng, Jiaohong Yao, Zhi Tu et al.2023 · 19 citationsIEEE Transactions on Software Engineering, Jul. 2025, pp. 1950-1968, vol. 51
iDML: Incentivized Decentralized Machine Learning2304.05354v1 · Haoxiang Yu, Hsiao-Yuan Chen, Sangsu Lee et al.2023 · 1 citationarXiv
A Physics-based and Data-driven Approach for Localized Statistical Channel Modeling2303.02308v1 · Shutao Zhang, Xinzhi Ning, Xi Zheng et al.2023 · 20 citationsarXiv
A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain.36048979 · Xu, Guangquan, Qi, Chen, Dong, Wenyu et al.2023 · 88 citationsIEEE journal of biomedical and health informatics. 2023;27(2):698-709
The synergistic activity of SBC3 in combination with Ebselen against Escherichia coli infection.36588729 · Chen, Hao, Lu, Qianqian, An, Haoyue et al.2023 · 6 citationsFrontiers in pharmacology. 2022;13:1080281
PearNet: A Pearson Correlation-based Graph Attention Network for Sleep Stage Recognition2209.13645v2 · Jianchao Lu, Yuzhe Tian, Shuang Wang et al.2022 · 8 citationsarXiv
The medication for pneumocystis pneumonia with glucose-6-phosphate dehydrogenase deficiency patients.36160421 · Zhang, Ziyu, Li, Qinhui, Shen, Xiaoyan et al.2022 · 7 citationsFrontiers in pharmacology. 2022;13:957376
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems2209.01546v1 · Yao Deng, Xi Zheng, Mengshi Zhang et al.2022 · 32 citationsarXiv
Non-Contact Negative Mood State Detection Using Reliability-Focused Multi-Modal Fusion Model.35696474 · Rong, Qian, Ding, Shuai, Yue, Zijie et al.2022 · 5 citationsIEEE journal of biomedical and health informatics. 2022;26(9):4691-4701
Individualized medication based on pharmacogenomics and treatment progress in children with IgAV nephritis.35935867 · Yang, Xuerong, Li, Qi, He, Yuanyuan et al.2022 · 8 citationsFrontiers in pharmacology. 2022;13:956397
An Adaptive Federated Relevance Framework for Spatial Temporal Graph Learning2206.03420v3 · Tiehua Zhang, Yuze Liu, Zhishu Shen et al.2022 · 23 citationsarXiv
Compressed Channel Estimation for IRS-Assisted Millimeter Wave OFDM Systems: A Low-Rank Tensor Decomposition-Based Approach2203.16164v1 · Xi Zheng, Peilan Wang, Jun Fang et al.2022 · 35 citationsarXiv
Temporal Convolution Domain Adaptation Learning for Crops Growth Prediction2202.12120v1 · Shengzhe Wang, Ling Wang, Zhihao Lin et al.2022 · 1 citationarXiv
GPS: A Policy-driven Sampling Approach for Graph Representation Learning2112.14482v2 · Tiehua Zhang, Yuze Liu, Xin Chen et al.2021 · 1 citationarXiv
Deep Open Set Identification for RF Devices2112.02536v1 · Qing Wang, Qing Liu, Zihao Zhang et al.2021 · 1 citationarXiv
STFL: A Temporal-Spatial Federated Learning Framework for Graph Neural Networks2111.06750v2 · Guannan Lou, Yuze Liu, Tiehua Zhang et al.2021 · 11 citationsarXiv
OFEI: A Semi-black-box Android Adversarial Sample Attack Framework Against DLaaS2105.11593v1 · Guangquan Xu, GuoHua Xin, Litao Jiao et al.2021 · 30 citationsarXiv
Robust Sensor Fusion Algorithms Against Voice Command Attacks in Autonomous Vehicles2104.09872v3 · Jiwei Guan, Xi Zheng, Chen Wang et al.2021 · 6 citationsIEEE Trustcom 2021
Deep Learning-Based Autonomous Driving Systems: A Survey of Attacks and Defenses2104.01789v2 · Yao Deng, Tiehua Zhang, Guannan Lou et al.2021 · 191 citationsarXiv
Opportunistic Federated Learning: An Exploration of Egocentric Collaboration for Pervasive Computing Applications2103.13266v1 · Sangsu Lee, Xi Zheng, Jie Hua et al.2021 · 38 citationsarXiv
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems2103.07050v2 · Chenhao Xu, Jiaqi Ge, Yong Li et al.2021 · 21 citationsarXiv
Generalized Centered 2-D Principal Component Analysis.31425137 · Zhou, Gongyu, Xu, Guangquan, Hao, Jianye et al.2021 · 31 citationsIEEE transactions on cybernetics. 2021;51(3):1666-1677
DynaComm: Accelerating Distributed CNN Training between Edges and Clouds through Dynamic Communication Scheduling2101.07968v2 · Shangming Cai, Dongsheng Wang, Haixia Wang et al.2021 · 12 citationsarXiv
SG-PBFT: a Secure and Highly Efficient Blockchain PBFT Consensus Algorithm for Internet of Vehicles2101.01306v1 · Guangquan Xu, Yihua Liu, Jun Xing et al.2021 · 9 citationsarXiv
An Energy-Efficient and Secure Data Inference Framework for Internet of Health Things: A Pilot Study.33466416 · Kang, James Jin, Dibaei, Mahdi, Luo, Gang et al.2021 · 17 citationsSensors (Basel, Switzerland). 2021;21(1)
Leveraging AI and Intelligent Reflecting Surface for Energy-Efficient Communication in 6G IoT2012.14716v1 · Qianqian Pan, Jun Wu, Xi Zheng et al.2020 · 7 citationsarXiv
A Declarative Metamorphic Testing Framework for Autonomous Driving2012.10672v4 · Yao Deng, Xi Zheng, Tianyi Zhang et al.2020 · 62 citationsarXiv
Collaborative Three-Tier Architecture Non-contact Respiratory Rate Monitoring using Target Tracking and False Peaks Eliminating Algorithms2011.08482v4 · Haimiao Mo, Shuai Ding, Shanlin Yang et al.2020 · 11 citationsarXiv
Mitigating Sybil Attacks on Differential Privacy based Federated Learning2010.10572v1 · Yupeng Jiang, Yong Li, Yipeng Zhou et al.2020 · 8 citationsarXiv
A Privacy-Preserving Data Inference Framework for Internet of Health Things Networks2010.09427v1 · James Jin Kang, Mahdi Dibaei, Gang Luo et al.2020 · 15 citationsarXiv
Career total: 271 works. 64 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.