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
902015
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
602010
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
432015
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
412011
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
292012
Verification of MPI programs using CIVL
Z Luo, M Zheng, SF Siegel
Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017
262017
Automatic analysis of TiMo systems in PAT
G Ciobanu, M Zheng
2013 18th International Conference on Engineering of Complex Computer …, 2013
162013
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
152013
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
122013
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
112016
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, ...
12015
CIVL
SF Siegel, M Zheng, Z Luo, TK Zirkel, AV Marianiello, JG Edenhofner, ...
Proceedings of the International Conference for High Performance Computing …, 2015
2015
Systematic and automatic verification of sensor networks
Z MANCHUN
2013
GU, Yu. State space reduction for sensor networks using two-level partial order reduction.(2013)
M ZHENG, D SANÁN, J SUN, Y LIU, JS DONG
Proceedings of the 14th International Conference on Verification, Model …, 2013
2013
GU, Yu. Towards a model checker for NesC and wireless sensor networks.(2011)
M ZHENG, J SUN, Y LIU, JS DONG
Proceedings of the 13th International Conference on Formal Engineering …, 2011
2011
USMMC: A self-contained model checker for UML state machines.(2013)
S LIU, Y LIU, J SUN, M ZHENG, B WADHWA, JS DONG
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 0
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
The system can't perform the operation now. Try again later.
Articles 1–20