Manchun Zheng

According to our database, Manchun Zheng authored at least 10 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Verification of MPI programs using CIVL.

Ziqing Luo, Manchun Zheng, Stephen F. Siegel

Proceedings of the 24th European MPI Users' Group Meeting, 2017

2016

CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).

Manchun Zheng, John G. Edenhofner, Ziqing Luo, Mitchell J. Gerrard, Michael S. Rogers, Matthew B. Dwyer, Stephen F. Siegel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

CIVL: the concurrency intermediate verification language.

Stephen F. Siegel, Manchun Zheng, Ziqing Luo, Timothy K. Zirkel, Andre V. Marianiello, John G. Edenhofner, Matthew B. Dwyer, Michael S. Rogers

Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.

Manchun Zheng, Michael S. Rogers, Ziqing Luo, Matthew B. Dwyer, Stephen F. Siegel

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2013

State Space Reduction for Sensor Networks Using Two-Level Partial Order Reduction.

Manchun Zheng, David Sanán, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.

Shuang Liu, Yang Liu, Jun Sun, Manchun Zheng, Bimlesh Wadhwa, Jin Song Dong

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Automatic Analysis of TiMo Systems in PAT.

Gabriel Ciobanu, Manchun Zheng

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012

Formal modeling and validation of Stateflow diagrams.

Chunqing Chen, Jun Sun, Yang Liu, Jin Song Dong, Manchun Zheng

Int. J. Softw. Tools Technol. Transf., 2012

2011

Towards bug-free implementation for wireless sensor networks.

Manchun Zheng, Jun Sun, David Sanán, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.

Manchun Zheng, Jun Sun, Yang Liu, Jin Song Dong, Yu Gu

Proceedings of the Formal Methods and Software Engineering, 2011