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 | 73 | 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 | 55 | 2012 |
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 | 51 | 2018 |
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 | 46 | 2015 |
A rigorous model of service component architecture Z Ding, Z Chen, J Liu Electronic Notes in Theoretical Computer Science 207, 33-48, 2008 | 41 | 2008 |
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, 116-145, 2008 | 33 | 2008 |
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 | 25 | 2015 |
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 | 21 | 2012 |
The rCOS tool Z Chen, Z Liu, V Stolz Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008 | 20 | 2008 |
云计算系统中基于伴随状态追踪的故障检测机制 饶翔, 王怀民, 陈振邦, 周扬帆, 蔡华, 周琦, 孙廷韬 计算机学报 35 (5), 856-870, 2012 | 19 | 2012 |
面向服务软件体系结构的接口模型 陈振邦, 王戟, 董威, 齐治昌 软件学报 17 (6), 1459-1469, 2006 | 19 | 2006 |
Speculative symbolic execution Y Zhang, Z Chen, J Wang 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 17 | 2012 |
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 | 17 | 2012 |
Specification and validation of behavioural protocols in the rCOS modeler Z Chen, C Morisset, V Stolz International Conference on Fundamentals of Software Engineering, 387-401, 2009 | 17 | 2009 |
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 | 16 | 2014 |
Identifying faults in large-scale distributed systems by filtering noisy error logs X Rao, H Wang, D Shi, Z Chen, H Cai, Q Zhou, T Sun 2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011 | 16 | 2011 |
An interface model for service-oriented software architecture ZB Chen, J Wang, W Dong, ZC Qi Journal of software 17 (6), 1459-1469, 2006 | 15 | 2006 |
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 | 14 | 2014 |
An extended cCSP with stable failures semantics Z Chen, Z Liu International Colloquium on Theoretical Aspects of Computing, 121-136, 2010 | 13 | 2010 |
Harnessing rCOS for tool support—the CoCoME experience Z Chen, X Li, Z Liu, V Stolz, L Yang Formal methods and hybrid real-time systems, 83-114, 2007 | 12 | 2007 |