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 | 100 | 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 | 45 | 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 | 40 | 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 | | |