Simulation and verification of the virtual memory management system with MSVL. - Meng Wang 021; Zhenhua Duan; Cong Tian (CSCWD, 2014)

Verification of a real time scheduling protocol of safety-critical systems. - Meng Wang 021; Zhenhua Duan; Cong Tian; Nan Zhang 001 (CSCWD, 2015)

Full regular temporal property verification as dynamic program execution. - Meng Wang 021; Cong Tian; Zhenhua Duan (ICSE (Companion Volume), 2017)

Implementing MapReduce with MSVL. - Nan Zhang 001; Meng Wang 021; Zhenhua Duan; Cong Tian; Jin Cui (SOFL+MSVL, 2017)

Translating C programs to MSVL programs. - Meng Wang 021; Cong Tian; Nan Zhang 001; Zhenhua Duan; Chenguang Yao (CoRR, 2018)

Verifying a scheduling protocol of safety-critical systems. - Meng Wang 021; Cong Tian; Nan Zhang 001; Zhenhua Duan; Hongwei Du 001 (J. Comb. Optim., 2019)

Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. - Meng Wang 021; Cong Tian; Nan Zhang 001; Zhenhua Duan (IEEE Trans. Reliab., 2019)

Translating Xd-C programs to MSVL programs. - Meng Wang 021; Cong Tian; Nan Zhang 001; Zhenhua Duan; Chenguang Yao (Theor. Comput. Sci., 2020)

Grey-box Fuzzing Based on Execution Feedback for EOSIO Smart Contracts. - Wenyin Li; Meng Wang 021; Bin Yu 008; Yuhang Shi; Mingxin Fu; You Shao (APSEC, 2022)

Multi-Transaction Sequence Vulnerability Detection for Smart Contracts based on Inter-Path Data Dependency. - Shuai Zhang; Meng Wang 021; Yi Liu; Yuhan Zhang; Bin Yu 008 (QRS, 2022)

Dynamic Specification Mining Based on Transformer. - Ying Gao; Meng Wang 021; Bin Yu 008 (TASE, 2022)

Verifying Properties of MapReduce-Based Big Data Processing. - Nan Zhang 001; Meng Wang 021; Zhenhua Duan; Cong Tian (IEEE Trans. Reliab., 2022)

WASAIUP: A Demand-driven Concolic Fuzzer for EOSIO Smart Contracts. - Meng Wang 021; Ziheng Wang; Bin Yu 008; Kai Zhang (QRS, 2023)

Adaptively parallel runtime verification based on distributed network for temporal properties. - Bin Yu 008; Xu Lu 003; Cong Tian; Meng Wang 021; Chu Chen; Ming Lei 003; Zhenhua Duan (Parallel Comput., 2023)

Efficient Deadlock Detection in MPI Programs with Path Compression and Focus Matching. - Jiale Hao; Meng Wang 021; Hong Zhang 047 (Internetware, 2024)