Manchun Zheng

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 4

Top Topics

Formal Verification

Intermediate Representation

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Ziqing Luo, Manchun Zheng, Stephen F. Siegel
Verification of MPI programs using CIVL. EuroMPI/USA (2017)
Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution). TACAS (2016)
Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers
CIVL: the concurrency intermediate verification language. SC (2015)
Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel
CIVL: Formal Verification of Parallel Programs. ASE (2015)
Gabriel Ciobanu, Manchun Zheng
Automatic Analysis of TiMo Systems in PAT. ICECCS (2013)
Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong
USMMC: a self-contained model checker for UML state machines. ESEC/SIGSOFT FSE (2013)
Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction. VMCAI (2013)
Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng
Formal modeling and validation of Stateflow diagrams. Int. J. Softw. Tools Technol. Transf. 14 (6) (2012)
Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu
Towards bug-free implementation for wireless sensor networks. SenSys (2011)
Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu
Towards a Model Checker for NesC and Wireless Sensor Networks. ICFEM (2011)