default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMeng Wang 0021
Person information
- affiliation: Hebei University, Cyberspace Security and Computer College, China
- affiliation (former): Xidian University, Institute of Computing Theory and Technology / ISN Laboratory, Xi'an, China
Other persons with the same name
- Meng Wang — disambiguation page
- Meng Wang 0001
![[0000-0002-3094-7735]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-3094-7735")
— Hefei University of Technology, China (and 4 more) - Meng Wang 0002 — University of Bristol, UK (and 3 more)
- Meng Wang 0003 — Rensselaer Polytechnic Institute, Troy, NY, USA (and 1 more)
- Meng Wang 0004 — Fujian Normal University, Key Lab of Network Security and Cryptography, Fuzhou, China
- Meng Wang 0005 — The Hong Kong Polytechnic University, Department of Computing, Hong Kong
- Meng Wang 0006 — South China University of Technology, Guangzhou, China
- Meng Wang 0007 — Stanford University, Department of Genetics, CA, USA (and 1 more)
- Meng Wang 0008 — Nankai University, Institute of Robotics and Automatic Information System, Tianjin, China
- Meng Wang 0009 — Tongji University, Shanghai, China (and 2 more)
- Meng Wang 0010 — Henan Normal University, School of Electronic and Electrical Engineering, Xinxiang, China (and 1 more)
- Meng Wang 0011 — China University of Geosciences, School of Geophysics and Information Technology, Beijing, China
- Meng Wang 0012 — Shaanxi Huanghe Group Co., Ltd., Xi'an, China
- Meng Wang 0013 — City University of Hong Kong, Department of Mechanical and Biomedical Engineering, Hong Kong (and 2 more)
- Meng Wang 0014 — Beijing University of Technology, Faculty of Information Technology, China
- Meng Wang 0015 — Xidian University, School of Computer Science and Technology, Xi'an, China
- Meng Wang 0016 — Zhejiang University, Hangzhou, China
- Meng Wang 0017 — City University of Hong Kong, Department of Computer Science (and 1 more)
- Meng Wang 0018 — Beijing University of Posts and Telecommunications, State Key Laboratory of Networking and Switching Technology, China
- Meng Wang 0019 — Tsinghua University, Department of Electrical Engineering, Beijing, China
- Meng Wang 0020 — TU Dresden, Institute of Traffic Telematics, Germany (and 1 more)
- Meng Wang 0022 — Qufu Normal University, School of Geography and Tourism, Rizhao, China
- Meng Wang 0023 — Harbin University of Science and Technology, Department of Automation, China
- Meng Wang 0024 — Kunming University of Science and Technology, Faculty of Information Engineering and Automation / Yunnan Key Laboratory of Artificial Intelligence, China
- Meng Wang 0025 — Central University of Finance and Economics, School of Information, Beijing, China
- Meng Wang 0026 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications / School of Science, China
- Meng Wang 0027 — Jiangsu University of Science and Technology, School of Computer Science, Zhenjiang, China
- Meng Wang 0028 — Dalian Maritime University, College of Information Science and Technology, China
- Meng Wang 0029 — Northeastern University, Software College, Shenyang, China
- Meng Wang 0030 — Chang'an University, School of Information Engineering, Xi'an, China
- Meng Wang 0031 — Sun Yat-Sen University, School of Information Management, Guangzhou, China
- Meng Wang 0032 — East China Jiaotong University, School of Information Engineering, Nanchang, China
- Meng Wang 0033 — University of British Columbia, Vancouver, BC, Canada
- Meng Wang 0034 — Sun Yat-sen University, School of Intelligent Systems Engineering, Shenzhen, China
- Meng Wang 0035 — Army Engineering University of PLA, College of Communications Engineering, Nanjing, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c9]Jiale Hao, Meng Wang, Hong Zhang:
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching. Internetware 2024- 2023
- [j5]Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan:
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117: 103034 (2023) - [c8]Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang:
WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. QRS 2023: 150-161 - 2022
- [j4]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian:
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71(1): 321-338 (2022) - [c7]Wenyin Li, Meng Wang, Bin Yu, Yuhang Shi, Mingxin Fu, You Shao:
Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts. APSEC 2022: 1-10 - [c6]Shuai Zhang, Meng Wang, Yi Liu, Yuhan Zhang, Bin Yu:
Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency. QRS 2022: 616-627 - [c5]Ying Gao, Meng Wang, Bin Yu:
Dynamic Specification Mining Based on Transformer. TASE 2022: 220-237 - 2020
- [j3]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809: 430-465 (2020)
2010 – 2019
- 2019
- [j2]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37(4): 1191-1215 (2019) - [j1]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan:
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68(3): 1101-1116 (2019) - 2018
- [i1]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating C programs to MSVL programs. CoRR abs/1809.00959 (2018) - 2017
- [c4]Meng Wang, Cong Tian, Zhenhua Duan:
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) 2017: 226-228 - [c3]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui:
Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167 - 2015
- [c2]Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang:
Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 - 2014
- [c1]Meng Wang, Zhenhua Duan, Cong Tian:
Simulation and verification of the virtual memory management system with MSVL. CSCWD 2014: 360-365
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-19 23:08 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:
