Zhenbang Chen
Zhenbang Chen
Associate Professor, College of Computer, National University of Defense Technology, Changsha, China
Bestätigte E-Mail-Adresse bei nudt.edu.cn - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
A rigorous model of service component architecture
Z Ding, Z Chen, J Liu
Electronic Notes in Theoretical Computer Science 207, 33-48, 2008
382008
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
352015
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
342018
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
Interface model for service-oriented software architecture.
ZB Chen, J Wang, W Dong, ZC Qi
Ruan Jian Xue Bao(Journal of Software) 17 (6), 1459-1469, 2006
262006
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
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
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
182012
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
Speculative symbolic execution
Y Zhang, Z Chen, J Wang
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
152012
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
142011
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
132014
An extended cCSP with stable failures semantics
Z Chen, Z Liu
International Colloquium on Theoretical Aspects of Computing, 121-136, 2010
132010
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
122007
A refinement driven component-based design
Z Chen, Z Liu, V Stolz, L Yang, AP Ravn
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
112007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20