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, ...
SC'15: Proceedings of the International Conference for High Performance …, 2015
572015
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
432010
Towards a model checker for nesc and wireless sensor networks
M Zheng, J Sun, Y Liu, JS Dong, Y Gu
International Conference on Formal Engineering Methods, 372-387, 2011
332011
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
312015
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 (6), 653-671, 2012
262012
Automatic analysis of TiMo systems in PAT
G Ciobanu, M Zheng
2013 18th International Conference on Engineering of Complex Computer …, 2013
132013
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
102013
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
92017
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
International Workshop on Verification, Model Checking, and Abstract …, 2013
92013
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
92011
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, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
72016
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
Organizing Committees General Co-Chairs
JS Dong, J Sun, Y Liu, A Martin, Z Hu, YF Li, P Jun, I Perseil, SW Lin, ...
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–18