Follow
Manchun Zheng
Manchun Zheng
Pure Storage Inc.
Verified email at purestorage.com
Title
Cited by
Cited by
Year
CIVL: the concurrency intermediate verification language
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
Proceedings of the International Conference for High Performance Computing …, 2015
852015
Modeling and verification of safety critical systems: A case study on pacemaker
LA Tuan, MC Zheng, QT Tho
2010 Fourth International Conference on Secure Software Integration and …, 2010
562010
Towards a model checker for nesc and wireless sensor networks
M Zheng, J Sun, Y Liu, JS Dong, Y Gu
Formal Methods and Software Engineering: 13th International Conference on …, 2011
402011
CIVL: formal verification of parallel programs
M Zheng, MS Rogers, Z Luo, MB Dwyer, SF Siegel
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
382015
Formal modeling and validation of stateflow diagrams
C Chen, J Sun, Y Liu, JS Dong, M Zheng
International Journal on Software Tools for Technology Transfer 14, 653-671, 2012
302012
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
212017
USMMC: a self-contained model checker for UML state machines
S Liu, Y Liu, J Sun, M Zheng, B Wadhwa, JS Dong
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
162013
Automatic analysis of TiMo systems in PAT
G Ciobanu, M Zheng
2013 18th International Conference on Engineering of Complex Computer …, 2013
142013
CIVL: Applying a general concurrency verification framework to C/Pthreads programs (competition contribution)
M Zheng, JG Edenhofner, Z Luo, MJ Gerrard, MS Rogers, MB Dwyer, ...
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
102016
State space reduction for sensor networks using two-level partial order reduction
M Zheng, D Sanán, J Sun, Y Liu, JS Dong, Y Gu
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
102013
Towards bug-free implementation for wireless sensor networks
M Zheng, J Sun, D Sanán, Y Liu, JS Dong, Y Gu
Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems …, 2011
82011
An automatic approach to verify sensor network systems
MC Zheng
2010 Fourth International Conference on Secure Software Integration and …, 2010
42010
The Concurrency Intermediate Verification Language Reference Manual v0. 17
MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, M Rogers, SF Siegel, ...
2015
Systematic and automatic verification of sensor networks
Z MANCHUN
2013
Verifying TiMo Systems in PAT
G Ciobanu, M Zheng
Demo Abstract: Towards Bug-free Implementations for Wireless Sensor Networks
M Zheng, J Sun, D Sanán, Y Liu, JS Dong, Y Gu
Technical Report: Towards a Model Checker for NesC and Wireless Sensor Networks
M Zheng, J Sun, Y Liu, JS Dong, Y Gu
The system can't perform the operation now. Try again later.
Articles 1–17