| 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 | 97 | 2015 |
| 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 | 62 | 2010 |
| 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 | 44 | 2015 |
| 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 | 41 | 2011 |
| 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 | 29 | 2012 |
| Verification of MPI programs using CIVL Z Luo, M Zheng, SF Siegel Proceedings of the 24th European MPI Users' Group Meeting, 1-11, 2017 | 27 | 2017 |
| 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 | 17 | 2013 |
| Automatic analysis of TiMo systems in PAT G Ciobanu, M Zheng 2013 18th International Conference on Engineering of Complex Computer …, 2013 | 16 | 2013 |
| 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 | 13 | 2013 |
| 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 | 11 | 2016 |
| 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 | 8 | 2011 |
| An automatic approach to verify sensor network systems MC Zheng 2010 Fourth International Conference on Secure Software Integration and …, 2010 | 4 | 2010 |
| The Concurrency Intermediate Verification Language Reference Manual v0. 17 MB Dwyer, G Gopalakrishnan, Z Luo, Z Rakamaric, M Rogers, SF Siegel, ... | 1 | 2015 |
| 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 | | |
