| Towards optimal concolic testing X Wang, J Sun, Z Chen, P Zhang, J Wang, Y Lin Proceedings of the 40th International Conference on Software Engineering …, 2018 | 79 | 2018 |
| Refinement and verification in component-based model-driven design Z Chen, Z Liu, AP Ravn, V Stolz, N Zhan Science of Computer Programming 74 (4), 168-196, 2009 | 79 | 2009 |
| Topology-aware deployment of scientific applications in cloud computing P Fan, Z Chen, J Wang, Z Zheng, MR Lyu 2012 IEEE fifth international conference on cloud computing, 319-326, 2012 | 60 | 2012 |
| Regular property guided dynamic symbolic execution Y Zhang, Z Chen, J Wang, W Dong, Z Liu 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 57 | 2015 |
| A rigorous model of service component architecture Z Ding, Z Chen, J Liu Electronic Notes in Theoretical Computer Science 207, 33-48, 2008 | 42 | 2008 |
| Recent progress in program analysis J Zhang, C Zhang, JF Xuan, YF Xiong, QX Wang, B Liang, L Li, WS Dou, ... | 39 | 2019 |
| Modelling with relational calculus of object and component systems-rCOS Z Chen, AH Hannousse, D Van Hung, I Knoll, X Li, Z Liu, Y Liu, Q Nan, ... The Common Component Modeling Example: Comparing Software Component Models …, 2008 | 38 | 2008 |
| On the properties of Kullback-Leibler divergence between multivariate Gaussian distributions Y Zhang, J Pan, LK Li, W Liu, Z Chen, X Liu, J Wang Advances in Neural Information Processing Systems 36, 2024 | 33 | 2024 |
| MPISE: Symbolic execution of MPI programs X Fu, Z Chen, Y Zhang, C Huang, W Dong, J Wang 2015 IEEE 16th International Symposium on High Assurance Systems Engineering …, 2015 | 31 | 2015 |
| Symbolic verification of message passing interface programs H Yu, Z Chen, X Fu, J Wang, Z Su, J Sun, C Huang, W Dong Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 25 | 2020 |
| Speculative symbolic execution Y Zhang, Z Chen, J Wang 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 24 | 2012 |
| P-Tracer: Path-based performance profiling in cloud computing systems H Mi, H Wang, H Cai, Y Zhou, MR Lyu, Z Chen 2012 IEEE 36th Annual Computer Software and Applications Conference, 509-514, 2012 | 23 | 2012 |
| MTracer: A trace-oriented monitoring framework for medium-scale distributed systems J Zhou, Z Chen, H Mi, J Wang 2014 IEEE 8th International Symposium on Service Oriented System Engineering …, 2014 | 22 | 2014 |
| Combining Symbolic Execution and Model Checking to Verify MPI Programs H Yu, Z Chen, X Fu, J Wang, Z Su, W Dong, C Huang arXiv preprint arXiv:1803.06300, 2018 | 21 | 2018 |
| A predictive runtime verification framework for cyber-physical systems K Yu, Z Chen, W Dong 2014 IEEE Eighth International Conference on Software Security and …, 2014 | 20 | 2014 |
| 云计算系统中基于伴随状态追踪的故障检测机制 饶翔， 王怀民， 陈振邦， 周扬帆， 蔡华， 周琦， 孙廷韬 计算机学报 35 (5), 856-870, 2012 | 20 | 2012 |
| The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008 | 20 | 2008 |
| 面向服务软件体系结构的接口模型 陈振邦， 王戟， 董威， 齐治昌 软件学报 17 (6), 1459-1469, 2006 | 19 | 2006 |
| Symbolic verification of regular properties H Yu, Z Chen, J Wang, Z Su, W Dong Proceedings of the 40th International Conference on Software Engineering …, 2018 | 18 | 2018 |
| A spectral clustering-based optimal deployment method for scientific application in cloud computing P Fan, J Wang, Z Chen, Z Zheng, MR Lyu International Journal of Web and Grid Services 8 (1), 31-55, 2012 | 18 | 2012 |
Professor Zhiming Liu - 刘志明Southwest University, Chongqing, ChinaVerified email at swu.edu.cn
