Mengshi Zhang

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 41

Top Topics

Inverted Pendulum

Candidate Generation

Fault Localization

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Instrum. Meas.

IEEE Trans. Ind. Electron.

Publications

Zixuan Wang, Mengshi Zhang, Ke Yang, Tingting Yu, Bihu Lv, Yao Chen, Ning Zhang, Jia Guo, Dezhao Li, Xiaolong Wang
Coupling of Magnetic Field Noise in Multilayer Magnetic Shields for Atomic Magnetometer. IEEE Trans. Instrum. Meas. 73 (2024)
Yu Cao, Xinkai Chen, Mengshi Zhang, Jian Huang
Adaptive Position Constrained Assist-as-Needed Control for Rehabilitation Robots. IEEE Trans. Ind. Electron. 71 (4) (2024)
Chenhao Xu, Jiaqi Ge, Yong Li, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Xiang, James Xi Zheng
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems. IEEE Trans. Mob. Comput. 23 (5) (2024)
Bowen Sun, Danyue Ma, Xiujie Fang, Yangzhi Xue, Jixi Lu, Hua Chen, Mengshi Zhang, Huanqi Wei, Bangcheng Han, Yueyang Zhai
Suppression of Magnetic Noise and Field in Cubic Low-Noise Ferrite Magnetic Shields. IEEE Trans. Instrum. Meas. 73 (2024)
Mengshi Zhang, Yu Cao, Jian Huang
Soft Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Subjected to Unknown Disturbances. CBS (2023)
Yu Cao, Mengshi Zhang, Bo Yang, Jian Huang
Data-Driven Modeling for Pneumatic Muscle Using Koopman-Based Kalman Filter. ICDL (2023)
Mengshi Zhang, Yu Cao, Jian Huang, Xinkai Chen
Cross-backstepping control with prescribed performance for input-coupled underactuated systems under arbitrary initial conditions. J. Frankl. Inst. 360 (16) (2023)
Yao Deng, Jiaohong Yao, Zhi Tu, Xi Zheng, Mengshi Zhang, Tianyi Zhang
TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems. CoRR (2023)
Mengshi Zhang, Yu Cao, Bo Yang, Jian Huang
Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Under Arbitrary Initial Conditions. ICARM (2023)
Dongning Ma, Xun Jiao, Fan Fred Lin, Mengshi Zhang, Alban Desmaison, Thomas Sellinger, Daniel Moore, Sriram Sankar
Evaluating and Enhancing Robustness of Deep Recommendation Systems Against Hardware Errors. CoRR (2023)
Chenguang Zhu, Mengshi Zhang, Xiuheng Wu, Xiufeng Xu, Yi Li
Client-Specific Upgrade Compatibility Checking via Knowledge-Guided Discovery. ACM Trans. Softw. Eng. Methodol. 32 (4) (2023)
Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang
Towards Boosting Patch Execution On-the-Fly. ICSE (2022)
Yu Cao, Jian Huang, Xiaolong Li, Mengshi Zhang, Caihua Xiong, Samer Mohammed, Yaonan Zhu, Yasuhisa Hasegawa
Metabolic Efficiency Improvement of Human Walking by Shoulder Stress Reduction through Load Transfer Backpack. IROS (2022)
Yao Deng, Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang
Scenario-based test reduction and prioritization for multi-module autonomous driving systems. ESEC/SIGSOFT FSE (2022)
Guannan Lou, Yao Deng, Xi Zheng, Mengshi Zhang, Tianyi Zhang
Testing of autonomous driving systems: where are we and where should we go? ESEC/SIGSOFT FSE (2022)
Yao Deng, James Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems. CoRR (2022)
Chenhao Xu, Yong Li, Yao Deng, Jiaqi Ge, Longxiang Gao, Mengshi Zhang, Yong Xiang, Xi Zheng
SCEI: A Smart-Contract Driven Edge Intelligence Framework for IoT Systems. CoRR (2021)
Guannan Lou, Yao Deng, Xi Zheng, Tianyi Zhang, Mengshi Zhang
An investigation into the state-of-the-practice autonomous driving testing. CoRR (2021)
Mengshi Zhang, Yaoxian Li, Xia Li, Lingchao Chen, Yuqun Zhang, Lingming Zhang, Sarfraz Khurshid
An Empirical Study of Boosting Spectrum-Based Fault Localization via PageRank. IEEE Trans. Software Eng. 47 (6) (2021)
Samuel Benton, Mengshi Zhang, Xia Li, Lingming Zhang
Self-Boosted Automated Program Repair. CoRR (2021)
Haoran Liang, Jun Wu, Xi Zheng, Mengshi Zhang, Jianhua Li, Alireza Jolfaei
Fog-based Secure Service Discovery for Internet of Multimedia Things: A Cross-blockchain Approach. ACM Trans. Multim. Comput. Commun. Appl. 16 (Special) (2020)
Jian Huang, Mengshi Zhang, Songhyok Ri, Caihua Xiong, Zhijun Li, Yu Kang
High-Order Disturbance-Observer-Based Sliding Mode Control for Mobile Wheeled Inverted Pendulum Systems. IEEE Trans. Ind. Electron. 67 (3) (2020)
Haoran Liang, Jun Wu, Xi Zheng, Mengshi Zhang, Jianhua Li, Alireza Jolfaei
Fog-based Secure Service Discovery for Internet of Multimedia Things: A Cross-blockchain Approach. ACM Trans. Multim. Comput. Commun. Appl. 16 (3s) (2020)
Mengshi Zhang, Guyan Ni, Guofeng Zhang
Iterative methods for computing U-eigenvalues of non-symmetric complex tensors with application in quantum entanglement. Comput. Optim. Appl. 75 (3) (2020)
Zhengjun Jing, Chunsheng Gu, Yong Li, Mengshi Zhang, Guangquan Xu, Alireza Jolfaei, Peizhong Shi, Chenkai Tan, James Xi Zheng
Security analysis of indistinguishable obfuscation for internet of medical things applications. Comput. Commun. 161 (2020)
Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR (2020)
Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE (2019)
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Learning to Optimize the Alloy Analyzer. ICST (2019)
Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid
Learning Guided Enumerative Synthesis for Superoptimization. SPIN (2019)
Yu Cao, Jian Huang, Dongrui Wu, Mengshi Zhang, Caihua Xiong, Zhijun Li
Integration of Nonlinear Disturbance Observer within Proxy-based Sliding Mode Control for Pneumatic Muscle Actuators. CoRR (2019)
Mengshi Zhang, Xinzhen Zhang, Guyan Ni
Calculating Entanglement Eigenvalues for Nonsymmetric Quantum Pure States Based on the Jacobian Semidefinite Programming Relaxation Method. J. Optim. Theory Appl. 180 (3) (2019)
Mengshi Zhang, Jian Huang, Yu Cao, Hai-Tao Zhang
Super Twisting Control of Passive Gait Training Exoskeleton Driven by Pneumatic Muscles. MHS (2019)
Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) (2019)
Mengshi Zhang, Jian Huang, Fei Chen
Super twisting control algorithm for Velocity Control of Mobile Wheeled Inverted Pendulum Systems. ARSO (2018)
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE (2018)
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR (2018)
Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
Towards practical program repair with on-demand candidate generation. ICSE (2018)
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
Symbolic Execution for Deep Neural Networks. CoRR (2018)
Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid
DeepRoad: GAN-based metamorphic testing and input validation framework for autonomous driving systems. ASE (2018)
Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid
Boosting spectrum-based fault localization using PageRank. ISSTA (2017)
Yuqun Zhang, Mengshi Zhang, Xi Zheng, Dewayne E. Perry
Service2vec: A Vector Representation for Web Services. ICWS (2017)