default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMengshi Zhang
This is just a disambiguation page, and is not intended to be the bibliography of an actual person. Any publication listed on this page has not been assigned to an actual author yet. If you know the true author of one of the publications listed below, you are welcome to contact us.
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j14]Yang Xu, Guyan Ni
, Mengshi Zhang:
Bounds of the Solution Set to the Polynomial Complementarity Problem. J. Optim. Theory Appl. 203(1): 146-164 (2024)- [j13]Chenhao Xu, Jiaqi Ge, Yao Deng, Longxiang Gao, Mengshi Zhang, Yong Li, Wanlei Zhou, Xi Zheng:
BASS: A Blockchain-Based Asynchronous SignSGD Architecture for Efficient and Secure Federated Learning. IEEE Trans. Dependable Secur. Comput. 21(6): 5388-5402 (2024) - [j12]Yu Cao, Xinkai Chen, Mengshi Zhang, Jian Huang:
Adaptive Position Constrained Assist-as-Needed Control for Rehabilitation Robots. IEEE Trans. Ind. Electron. 71(4): 4059-4068 (2024) - [j11]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: 1-10 (2024) - [j10]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: 1-8 (2024) - [j9]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): 4453-4466 (2024) - 2023
- [j8]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): 11892-11915 (2023) - [j7]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): 98:1-98:31 (2023) - [c19]Mengshi Zhang, Yu Cao, Jian Huang:
Soft Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Subjected to Unknown Disturbances. CBS 2023: 356-361 - [c18]Mengshi Zhang, Yu Cao, Bo Yang, Jian Huang:
Prescribed Performance Control of Mobile Wheeled Inverted Pendulum Systems Under Arbitrary Initial Conditions. ICARM 2023: 545-550 - [c17]Yu Cao, Mengshi Zhang, Bo Yang, Jian Huang:
Data-Driven Modeling for Pneumatic Muscle Using Koopman-Based Kalman Filter. ICDL 2023: 518-523 - [i9]Yao Deng, Jiaohong Yao, Zhi Tu, Xi Zheng, Mengshi Zhang, Tianyi Zhang:
TARGET: Traffic Rule-based Test Generation for Autonomous Driving Systems. CoRR abs/2305.06018 (2023) - [i8]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 abs/2307.10244 (2023) - 2022
- [c16]Samuel Benton, Yuntong Xie, Lan Lu, Mengshi Zhang, Xia Li, Lingming Zhang:
Towards Boosting Patch Execution On-the-Fly. ICSE 2022: 2165-2176 - [c15]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: 3934-3939 - [c14]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: 31-43 - [c13]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: 82-93 - [i7]Yao Deng, James Xi Zheng, Mengshi Zhang, Guannan Lou, Tianyi Zhang:
Scenario-Based Test Reduction and Prioritization for Multi-Module Autonomous Driving Systems. CoRR abs/2209.01546 (2022) - 2021
- [j6]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): 1089-1113 (2021) - [i6]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 abs/2103.07050 (2021) - [i5]Samuel Benton, Mengshi Zhang, Xia Li, Lingming Zhang:
Self-Boosted Automated Program Repair. CoRR abs/2104.04611 (2021) - [i4]Guannan Lou, Yao Deng, Xi Zheng, Tianyi Zhang, Mengshi Zhang:
An investigation into the state-of-the-practice autonomous driving testing. CoRR abs/2106.12233 (2021) - 2020
- [j5]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): 779-798 (2020) - [j4]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: 202-211 (2020) - [j3]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): 2030-2041 (2020) - [j2]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): 96:1-96:23 (2020) - [c12]Mengshi Zhang, Daniel Perelman, Vu Le, Sumit Gulwani:
An Integrated Approach of Deep Learning and Symbolic Analysis for Digital PDF Table Extraction. ICPR 2020: 4062-4069
2010 – 2019
- 2019
- [j1]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): 787-802 (2019) - [c11]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: 282-283 - [c10]Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Learning to Optimize the Alloy Analyzer. ICST 2019: 228-239 - [c9]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: 313-322 - [c8]Mengshi Zhang, Jian Huang, Yu Cao, Hai-Tao Zhang:
Super Twisting Control of Passive Gait Training Exoskeleton Driven by Pneumatic Muscles. MHS 2019: 1-7 - [c7]Shikhar Singh, Mengshi Zhang, Sarfraz Khurshid:
Learning Guided Enumerative Synthesis for Superoptimization. SPIN 2019: 172-192 - [i3]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 abs/1904.03570 (2019) - 2018
- [c6]Mengshi Zhang, Jian Huang, Fei Chen:
Super twisting control algorithm for Velocity Control of Mobile Wheeled Inverted Pendulum Systems. ARSO 2018: 3-8 - [c5]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
Towards practical program repair with on-demand candidate generation. ICSE 2018: 12-23 - [c4]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: 132-142 - [c3]Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid:
SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE 2018: 888-891 - [i2]Mengshi Zhang, Yuqun Zhang, Lingming Zhang, Cong Liu, Sarfraz Khurshid:
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing. CoRR abs/1802.02295 (2018) - [i1]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - 2017
- [c2]Yuqun Zhang, Mengshi Zhang, Xi Zheng, Dewayne E. Perry:
Service2vec: A Vector Representation for Web Services. ICWS 2017: 890-893 - [c1]Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid:
Boosting spectrum-based fault localization using PageRank. ISSTA 2017: 261-272
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
