Zhenbang Chen
Title
Cited by
Cited by
Year
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
732009
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
532012
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
452018
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
422015
A rigorous model of service component architecture
Z Ding, Z Chen, J Liu
Electronic Notes in Theoretical Computer Science 207, 33-48, 2008
392008
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
332008
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
242015
An interface model for service-oriented software architecture
ZB Chen, J Wang, W Dong, ZC Qi
Journal of software 17 (6), 1459-1469, 2006
222006
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
202012
The rCOS tool
Z Chen, Z Liu, V Stolz
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
202008
面向服务软件体系结构的接口模型
陈振邦, 王戟, 董威, 齐治昌
软件学报 17 (6), 1459-1469, 2006
202006
云计算系统中基于伴随状态追踪的故障检测机制
饶翔, 王怀民, 陈振邦, 周扬帆, 蔡华, 周琦, 孙廷韬
计算机学报 35 (5), 856-870, 2012
192012
Speculative symbolic execution
Y Zhang, Z Chen, J Wang
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
172012
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
172012
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
172009
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
162011
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
152014
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
132014
An extended cCSP with stable failures semantics
Z Chen, Z Liu
International Colloquium on Theoretical Aspects of Computing, 121-136, 2010
132010
Symbolic verification of regular properties
H Yu, Z Chen, J Wang, Z Su, W Dong
2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018
122018
The system can't perform the operation now. Try again later.
Articles 1–20