Mengshi Zhang

According to our database, Mengshi Zhang authored at least 40 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Bounds of the Solution Set to the Polynomial Complementarity Problem.

Yang Xu, Guyan Ni, Mengshi Zhang

J. Optim. Theory Appl., October, 2024

SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems.

Chenhao Xu, Jiaqi Ge, Yong Li, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Xiang, James Xi Zheng

IEEE Trans. Mob. Comput., May, 2024

Adaptive Position Constrained Assist-as-Needed Control for Rehabilitation Robots.

Yu Cao, Xinkai Chen, Mengshi Zhang, Jian Huang

IEEE Trans. Ind. Electron., April, 2024

Coupling of Magnetic Field Noise in Multilayer Magnetic Shields for Atomic Magnetometer.

Zixuan Wang, Mengshi Zhang, Ke Yang, Tingting Yu, Bihu Lv, Yao Chen, Ning Zhang, Jia Guo, Dezhao Li, Xiaolong Wang

IEEE Trans. Instrum. Meas., 2024

Suppression of Magnetic Noise and Field in Cubic Low-Noise Ferrite Magnetic Shields.

Bowen Sun, Danyue Ma, Xiujie Fang, Yangzhi Xue, Jixi Lu, Hua Chen, Mengshi Zhang, Huanqi Wei, Bangcheng Han, Yueyang Zhai

IEEE Trans. Instrum. Meas., 2024

BASS: A Blockchain-Based Asynchronous SignSGD Architecture for Efficient and Secure Federated Learning.

Chenhao Xu, Jiaqi Ge, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Li, Wanlei Zhou, Xi Zheng

IEEE Trans. Dependable Secur. Comput., 2024

2023

Cross-backstepping control with prescribed performance for input-coupled underactuated systems under arbitrary initial conditions.

Mengshi Zhang, Yu Cao, Jian Huang, Xinkai Chen

J. Frankl. Inst., November, 2023

Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery.

Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li

ACM Trans. Softw. Eng. Methodol., July, 2023

Evaluating and Enhancing Robustness of Deep Recommendation Systems Against Hardware Errors.

Dongning Ma, Xun Jiao, Fan Fred Lin, Mengshi Zhang, Alban Desmaison, Thomas Sellinger, Daniel Moore, Sriram Sankar

CoRR, 2023

TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems.

Yao Deng, Jiaohong Yao, Zhi Tu, Xi Zheng, Mengshi Zhang, Tianyi Zhang

CoRR, 2023

Data-Driven Modeling for Pneumatic Muscle Using Koopman-Based Kalman Filter.

Yu Cao, Mengshi Zhang, Bo Yang, Jian Huang

Proceedings of the IEEE International Conference on Development and Learning, 2023

Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Under Arbitrary Initial Conditions.

Mengshi Zhang, Yu Cao, Bo Yang, Jian Huang

Proceedings of the International Conference on Advanced Robotics and Mechatronics, 2023

Soft Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Subjected to Unknown Disturbances.

Mengshi Zhang, Yu Cao, Jian Huang

Proceedings of the IEEE International Conference on Cyborg and Bionic Systems, 2023

2022

Testing of autonomous driving systems: where are we and where should we go?

Guannan Lou, Yao Deng, Xi Zheng, Mengshi Zhang, Tianyi Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Scenario-based test reduction and prioritization for multi-module autonomous driving systems.

Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Metabolic Efficiency Improvement of Human Walking by Shoulder Stress Reduction through Load Transfer Backpack.

Yu Cao, Jian Huang, Xiaolong Li, Mengshi Zhang, Caihua Xiong, Samer Mohammed, Yaonan Zhu, Yasuhisa Hasegawa

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Towards Boosting Patch Execution On-the-Fly.

Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank.

Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid

IEEE Trans. Software Eng., 2021

An investigation into the state-of-the-practice autonomous driving testing.

Guannan Lou, Yao Deng, Xi Zheng, Tianyi Zhang, Mengshi Zhang

CoRR, 2021

Self-Boosted Automated Program Repair.

Samuel Benton, Mengshi Zhang, Xia Li, Lingming Zhang

CoRR, 2021

2020

Fog-based Secure Service Discovery for Internet of Multimedia Things: A Cross-blockchain Approach.

Haoran Liang, Jun Wu, Xi Zheng, Mengshi Zhang, Jianhua Li, Alireza Jolfaei

ACM Trans. Multim. Comput. Commun. Appl., 2020

High-Order Disturbance-Observer-Based Sliding Mode Control for Mobile Wheeled Inverted Pendulum Systems.

Jian Huang, Mengshi Zhang, Songhyok Ri, Caihua Xiong, Zhijun Li, Yu Kang

IEEE Trans. Ind. Electron., 2020

Security analysis of indistinguishable obfuscation for internet of medical things applications.

Zhengjun Jing, Chunsheng Gu, Yong Li, Mengshi Zhang, Guangquan Xu, Alireza Jolfaei, Peizhong Shi, Chenkai Tan, James Xi Zheng

Comput. Commun., 2020

Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement.

Mengshi Zhang, Guyan Ni, Guofeng Zhang

Comput. Optim. Appl., 2020

An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction.

Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani

Proceedings of the 25th International Conference on Pattern Recognition, 2020

2019

Calculating Entanglement Eigenvalues for Nonsymmetric Quantum Pure States Based on the Jacobian Semidefinite Programming Relaxation Method.

Mengshi Zhang, Xinzhen Zhang, Guyan Ni

J. Optim. Theory Appl., 2019

Integration of Nonlinear Disturbance Observer within Proxy-based Sliding Mode Control for Pneumatic Muscle Actuators.

Yu Cao, Jian Huang, Dongrui Wu, Mengshi Zhang, Caihua Xiong, Zhijun Li

CoRR, 2019

Learning Guided Enumerative Synthesis for Superoptimization.

Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Super Twisting Control of Passive Gait Training Exoskeleton Driven by Pneumatic Muscles.

Mengshi Zhang, Jian Huang, Yu Cao, Hai-Tao Zhang

Proceedings of the International Symposium on Micro-NanoMechatronics and Human Science, 2019

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.

Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

Learning to Optimize the Alloy Analyzer.

Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Symbolic execution for attribution and attack synthesis in neural networks.

Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Symbolic Execution for Deep Neural Networks.

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

CoRR, 2018

DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

CoRR, 2018

SketchFix: a tool for automated program repair approach using lazy candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems.

Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Towards practical program repair with on-demand candidate generation.

Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid

Proceedings of the 40th International Conference on Software Engineering, 2018

Super twisting control algorithm for Velocity Control of Mobile Wheeled Inverted Pendulum Systems.

Mengshi Zhang, Jian Huang, Fei Chen

Proceedings of the 2018 IEEE Workshop on Advanced Robotics and its Social Impacts, 2018

2017

Boosting spectrum-based fault localization using PageRank.

Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

Service2vec: A Vector Representation for Web Services.

Yuqun Zhang, Mengshi Zhang, Xi Zheng, Dewayne E. Perry

Proceedings of the 2017 IEEE International Conference on Web Services, 2017