We stand with Ukraine  

Meng Wang

Orcid: 0000-0003-3582-9559

Affiliations:
  • Hebei University, Cyberspace Security and Computer College, China
  • Xidian University, Institute of Computing Theory and Technology / ISN Laboratory, Xi'an, China (former)


According to our database1, Meng Wang authored at least 15 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching.
[BibTeX]
[DOI]
Jiale Hao
,
Meng Wang
,
Hong Zhang
Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2023
Adaptively parallel runtime verification based on distributed network for temporal properties.
[BibTeX]
[DOI]
Bin Yu
,
Xu Lu
,
Cong Tian
,
Meng Wang
,
Chu Chen
,
Ming Lei
,
Zhenhua Duan
Parallel Comput., September, 2023

WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts.
[BibTeX]
[DOI]
Meng Wang
,
Ziheng Wang
,
Bin Yu
,
Kai Zhang
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022
Verifying Properties of MapReduce-Based Big Data Processing.
[BibTeX]
[DOI]
Nan Zhang
,
Meng Wang
,
Zhenhua Duan
,
Cong Tian
IEEE Trans. Reliab., 2022

Dynamic Specification Mining Based on Transformer.
[BibTeX]
[DOI]
Ying Gao
,
Meng Wang
,
Bin Yu
Proceedings of the Theoretical Aspects of Software Engineering, 2022

Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency.
[BibTeX]
[DOI]
Shuai Zhang
,
Meng Wang
,
Yi Liu
,
Yuhan Zhang
,
Bin Yu
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts.
[BibTeX]
[DOI]
Wenyin Li
,
Meng Wang
,
Bin Yu
,
Yuhang Shi
,
Mingxin Fu
,
You Shao
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2020
Translating Xd-C programs to MSVL programs.
[BibTeX]
[DOI]
Meng Wang
,
Cong Tian
,
Nan Zhang
,
Zhenhua Duan
,
Chenguang Yao
Theor. Comput. Sci., 2020

2019
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.
[BibTeX]
[DOI]
Meng Wang
,
Cong Tian
,
Nan Zhang
,
Zhenhua Duan
IEEE Trans. Reliab., 2019

Verifying a scheduling protocol of safety-critical systems.
[BibTeX]
[DOI]
Meng Wang
,
Cong Tian
,
Nan Zhang
,
Zhenhua Duan
,
Hongwei Du
J. Comb. Optim., 2019

2018
Translating C programs to MSVL programs.
[BibTeX]
[DOI]
Meng Wang
,
Cong Tian
,
Nan Zhang
,
Zhenhua Duan
,
Chenguang Yao
CoRR, 2018

2017
Implementing MapReduce with MSVL.
[BibTeX]
[DOI]
Nan Zhang
,
Meng Wang
,
Zhenhua Duan
,
Cong Tian
,
Jin Cui
Proceedings of the Structured Object-Oriented Formal Language and Method, 2017

Full regular temporal property verification as dynamic program execution.
[BibTeX]
[DOI]
Meng Wang
,
Cong Tian
,
Zhenhua Duan
Proceedings of the 39th International Conference on Software Engineering, 2017

2015
Verification of a real time scheduling protocol of safety-critical systems.
[BibTeX]
[DOI]
Meng Wang
,
Zhenhua Duan
,
Cong Tian
,
Nan Zhang
Proceedings of the 19th IEEE International Conference on Computer Supported Cooperative Work in Design, 2015

2014
Simulation and verification of the virtual memory management system with MSVL.
[BibTeX]
[DOI]
Meng Wang
,
Zhenhua Duan
,
Cong Tian
Proceedings of the IEEE 18th International Conference on Computer Supported Cooperative Work in Design, 2014


  Loading...