Mengshi Zhang

48 papers A* 3A 5B 1Journal 28Unranked 11
YearRankTypeTitle / Venue / Authors
2025 J jnl
High-Shielding Coefficient and Low-Noise of Cobalt-Based Metallic Glass Magnetic Shielding Cylinder.
IEEE Trans. Instrum. Meas.
Peipei Shen, Shuyan Zhang, Danyue Ma, Bozheng Xing, Hua Chen, Mengshi Zhang, Huanqi Wei, Bo Li, Xinyu Miao, Meng Xie, Shuang Li, Yanan Gao, Yangzhi Xue, Pengfei Wang, Jixi Lu, Bangcheng Han
2025 J jnl
Load-Transfer Suspended Backpack With Bioinspired Vibration Isolation for Shoulder Pressure Reduction Across Diverse Terrains.
IEEE Trans. Robotics
Yu Cao, Mengshi Zhang, Jian Huang, Samer Mohammed
2025 J jnl
Neuro-Fuzzy Musculoskeletal Model-Driven Assist-as-Needed Control via Impedance Regulation for Rehabilitation Robots.
IEEE Trans. Fuzzy Syst.
Yu Cao, Shuhao Ma, Mengshi Zhang, Jindong Liu, Jian Huang, Zhiqiang Zhang
2025 — conf
Noisy Label Refinement Based on Discrete Diffusion Process in 3D Ossicle Segmentation.
MICCAI (13)
Linqian Fan, Mengshi Zhang, Yonghao Wang, Wenkai Lu, Hongxia Yin
2025 J jnl
TARGET: Traffic Rule-Based Test Generation for Autonomous Driving via Validated LLM-Guided Knowledge Extraction.
IEEE Trans. Software Eng.
Yao Deng, Zhi Tu, Jiaohong Yao, Mengshi Zhang, Tianyi Zhang, James Xi Zheng
2025 J jnl
UltraEar: a multicentric, large-scale database combining ultra-high-resolution computed tomography and clinical data for ear diseases.
CoRR
Ruowei Tang, Pengfei Zhao, Xiaoguang Li, Ning Xu, Yue Cheng, Mengshi Zhang, Zhixiang Wang, Zhengyu Zhang, Hongxia Yin, Heyu Ding, Shusheng Gong, Yuhe Liu, Zhenchang Wang
2024 J jnl
Adaptive Position Constrained Assist-as-Needed Control for Rehabilitation Robots.
IEEE Trans. Ind. Electron.
Yu Cao, Xinkai Chen, Mengshi Zhang, Jian Huang
2024 J jnl
BASS: A Blockchain-Based Asynchronous SignSGD Architecture for Efficient and Secure Federated Learning.
IEEE Trans. Dependable Secur. Comput.
Chenhao Xu, Jiaqi Ge, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Li, Wanlei Zhou, Xi Zheng
2024 J jnl
Bounds of the Solution Set to the Polynomial Complementarity Problem.
J. Optim. Theory Appl.
Yang Xu, Guyan Ni, Mengshi Zhang
2024 J jnl
Coupling of Magnetic Field Noise in Multilayer Magnetic Shields for Atomic Magnetometer.
IEEE Trans. Instrum. Meas.
Zixuan Wang, Mengshi Zhang, Ke Yang, Tingting Yu, Bihu Lv, Yao Chen, Ning Zhang, Jia Guo, Dezhao Li, Xiaolong Wang
2024 J jnl
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems.
IEEE Trans. Mob. Comput.
Chenhao Xu, Jiaqi Ge, Yong Li, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Xiang, James Xi Zheng
2024 J jnl
Suppression of Magnetic Noise and Field in Cubic Low-Noise Ferrite Magnetic Shields.
IEEE Trans. Instrum. Meas.
Bowen Sun, Danyue Ma, Xiujie Fang, Yangzhi Xue, Jixi Lu, Hua Chen, Mengshi Zhang, Huanqi Wei, Bangcheng Han, Yueyang Zhai
2023 J jnl
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery.
ACM Trans. Softw. Eng. Methodol.
Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li
2023 J jnl
Cross-backstepping control with prescribed performance for input-coupled underactuated systems under arbitrary initial conditions.
J. Frankl. Inst.
Mengshi Zhang, Yu Cao, Jian Huang, Xinkai Chen
2023 — conf
Data-Driven Modeling for Pneumatic Muscle Using Koopman-Based Kalman Filter.
ICDL
Yu Cao, Mengshi Zhang, Bo Yang, Jian Huang
2023 J jnl
Evaluating and Enhancing Robustness of Deep Recommendation Systems Against Hardware Errors.
CoRR
Dongning Ma, Xun Jiao, Fan Fred Lin, Mengshi Zhang, Alban Desmaison, Thomas Sellinger, Daniel Moore, Sriram Sankar
2023 — conf
Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Under Arbitrary Initial Conditions.
ICARM
Mengshi Zhang, Yu Cao, Bo Yang, Jian Huang
2023 — conf
Soft Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Subjected to Unknown Disturbances.
CBS
Mengshi Zhang, Yu Cao, Jian Huang
2023 J jnl
TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems.
CoRR
Yao Deng, Jiaohong Yao, Zhi Tu, Xi Zheng, Mengshi Zhang, Tianyi Zhang
2022 A conf
Metabolic Efficiency Improvement of Human Walking by Shoulder Stress Reduction through Load Transfer Backpack.
IROS
Yu Cao, Jian Huang, Xiaolong Li, Mengshi Zhang, Caihua Xiong, Samer Mohammed, Yaonan Zhu, Yasuhisa Hasegawa
2022 J jnl
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems.
CoRR
Yao Deng, James Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang
2022 — conf
Scenario-based test reduction and prioritization for multi-module autonomous driving systems.
ESEC/SIGSOFT FSE
Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang
2022 — conf
Testing of autonomous driving systems: where are we and where should we go?
ESEC/SIGSOFT FSE
Guannan Lou, Yao Deng, Xi Zheng, Mengshi Zhang, Tianyi Zhang
2022 A* conf
Towards Boosting Patch Execution On-the-Fly.
ICSE
Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang
2021 J jnl
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank.
IEEE Trans. Software Eng.
Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid
2021 J jnl
An investigation into the state-of-the-practice autonomous driving testing.
CoRR
Guannan Lou, Yao Deng, Xi Zheng, Tianyi Zhang, Mengshi Zhang
2021 J jnl
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems.
CoRR
Chenhao Xu, Yong Li, Yao Deng, Jiaqi Ge, Longxiang Gao, Mengshi Zhang, Yong Xiang, Xi Zheng
2021 J jnl
Self-Boosted Automated Program Repair.
CoRR
Samuel Benton, Mengshi Zhang, Xia Li, Lingming Zhang
2020 B conf
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction.
ICPR
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
2020 J jnl
Fog-based Secure Service Discovery for Internet of Multimedia Things: A Cross-blockchain Approach.
ACM Trans. Multim. Comput. Commun. Appl.
Haoran Liang, Jun Wu, Xi Zheng, Mengshi Zhang, Jianhua Li, Alireza Jolfaei
2020 J jnl
High-Order Disturbance-Observer-Based Sliding Mode Control for Mobile Wheeled Inverted Pendulum Systems.
IEEE Trans. Ind. Electron.
Jian Huang, Mengshi Zhang, Songhyok Ri, Caihua Xiong, Zhijun Li, Yu Kang
2020 J jnl
Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement.
Comput. Optim. Appl.
Mengshi Zhang, Guyan Ni, Guofeng Zhang
2020 J jnl
Security analysis of indistinguishable obfuscation for internet of medical things applications.
Comput. Commun.
Zhengjun Jing, Chunsheng Gu, Yong Li, Mengshi Zhang, Guangquan Xu, Alireza Jolfaei, Peizhong Shi, Chenkai Tan, James Xi Zheng
2019 J jnl
Calculating Entanglement Eigenvalues for Nonsymmetric Quantum Pure States Based on the Jacobian Semidefinite Programming Relaxation Method.
J. Optim. Theory Appl.
Mengshi Zhang, Xinzhen Zhang, Guyan Ni
2019 J jnl
Integration of Nonlinear Disturbance Observer within Proxy-based Sliding Mode Control for Pneumatic Muscle Actuators.
CoRR
Yu Cao, Jian Huang, Dongrui Wu, Mengshi Zhang, Caihua Xiong, Zhijun Li
2019 — conf
Learning Guided Enumerative Synthesis for Superoptimization.
SPIN
Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
2019 A conf
Learning to Optimize the Alloy Analyzer.
ICST
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019 — conf
Super Twisting Control of Passive Gait Training Exoskeleton Driven by Pneumatic Muscles.
MHS
Mengshi Zhang, Jian Huang, Yu Cao, Hai-Tao Zhang
2019 A conf
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.
ISSRE
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2019 — conf
Symbolic execution for attribution and attack synthesis in neural networks.
ICSE (Companion Volume)
Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2018 J jnl
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing.
CoRR
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
2018 A* conf
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems.
ASE
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
2018 — conf
SketchFix: a tool for automated program repair approach using lazy candidate generation.
ESEC/SIGSOFT FSE
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2018 — conf
Super twisting control algorithm for Velocity Control of Mobile Wheeled Inverted Pendulum Systems.
ARSO
Mengshi Zhang, Jian Huang, Fei Chen
2018 J jnl
Symbolic Execution for Deep Neural Networks.
CoRR
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
2018 A* conf
Towards practical program repair with on-demand candidate generation.
ICSE
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2017 A conf
Boosting spectrum-based fault localization using PageRank.
ISSTA
Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid
2017 A conf
Service2vec: A Vector Representation for Web Services.
ICWS
Yuqun Zhang, Mengshi Zhang, Xi Zheng, Dewayne E. Perry