Meng Wang

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 8

Top Topics

Temporal Properties

Top Venues

IEEE Trans. Reliab.

J. Comb. Optim.

Publications

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 (2023)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71 (1) (2022)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809 (2020)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37 (4) (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68 (3) (2019)
Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
Translating C programs to MSVL programs. CoRR (2018)
Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
Implementing MapReduce with MSVL. SOFL+MSVL (2017)
Meng Wang, Cong Tian, Zhenhua Duan
Full regular temporal property verification as dynamic program execution. ICSE (Companion Volume) (2017)
Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
Verification of a real time scheduling protocol of safety-critical systems. CSCWD (2015)
Meng Wang, Zhenhua Duan, Cong Tian
Simulation and verification of the virtual memory management system with MSVL. CSCWD (2014)