Meng Wang

15 papers C 5Misc 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 — conf
Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching.
Internetware
Jiale Hao, Meng Wang, Hong Zhang
2023 J jnl
Adaptively parallel runtime verification based on distributed network for temporal properties.
Parallel Comput.
Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
2023 C conf
WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts.
QRS
Meng Wang, Ziheng Wang, Bin Yu, Kai Zhang
2022 Misc conf
Dynamic Specification Mining Based on Transformer.
TASE
Ying Gao, Meng Wang, Bin Yu
2022 C conf
Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts.
APSEC
Wenyin Li, Meng Wang, Bin Yu, Yuhang Shi, Mingxin Fu, You Shao
2022 C conf
Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency.
QRS
Shuai Zhang, Meng Wang, Yi Liu, Yuhan Zhang, Bin Yu
2022 J jnl
Verifying Properties of MapReduce-Based Big Data Processing.
IEEE Trans. Reliab.
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
2020 J jnl
Translating Xd-C programs to MSVL programs.
Theor. Comput. Sci.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2019 J jnl
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution.
IEEE Trans. Reliab.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
2019 J jnl
Verifying a scheduling protocol of safety-critical systems.
J. Comb. Optim.
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2018 J jnl
Translating C programs to MSVL programs.
CoRR
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2017 — conf
Full regular temporal property verification as dynamic program execution.
ICSE (Companion Volume)
Meng Wang, Cong Tian, Zhenhua Duan
2017 — conf
Implementing MapReduce with MSVL.
SOFL+MSVL
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
2015 C conf
Verification of a real time scheduling protocol of safety-critical systems.
CSCWD
Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
2014 C conf
Simulation and verification of the virtual memory management system with MSVL.
CSCWD
Meng Wang, Zhenhua Duan, Cong Tian