Manchun Zheng

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Verification of MPI programs using CIVL.
Proceedings of the 24th European MPI Users' Group Meeting, 2017

2016
CIVL: Applying a General Concurrency Verification Framework to C/Pthreads Programs (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
CIVL: the concurrency intermediate verification language.
Proceedings of the International Conference for High Performance Computing, 2015

CIVL: Formal Verification of Parallel Programs.
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.
Proceedings of the Verification, 2013

USMMC: a self-contained model checker for UML state machines.
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.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

2012
Formal modeling and validation of Stateflow diagrams.
Int. J. Softw. Tools Technol. Transf., 2012

2011
Towards bug-free implementation for wireless sensor networks.
Proceedings of the 9th International Conference on Embedded Networked Sensor Systems, 2011

Towards a Model Checker for NesC and Wireless Sensor Networks.
Proceedings of the Formal Methods and Software Engineering, 2011


  Loading...