Zhenbang Chen
Zhenbang Chen
Associate Professor, College of Computer, National University of Defense Technology, Changsha, China
Bestätigte E-Mail-Adresse bei - Startseite
Zitiert von
Zitiert von
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
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
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
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
A rigorous model of service component architecture
Z Ding, Z Chen, J Liu
Electronic Notes in Theoretical Computer Science 207, 33-48, 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
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
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
The rCOS tool
Z Chen, Z Liu, V Stolz
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
饶翔, 王怀民, 陈振邦, 周扬帆, 蔡华, 周琦, 孙廷韬
计算机学报 35 (5), 856-870, 2012
陈振邦, 王戟, 董威, 齐治昌
软件学报 17 (6), 1459-1469, 2006
Speculative symbolic execution
Y Zhang, Z Chen, J Wang
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 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
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
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
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
An interface model for service-oriented software architecture
ZB Chen, J Wang, W Dong, ZC Qi
Journal of software 17 (6), 1459-1469, 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
An extended cCSP with stable failures semantics
Z Chen, Z Liu
International Colloquium on Theoretical Aspects of Computing, 121-136, 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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20