Volgen
Zhenbang Chen
Titel
Geciteerd door
Geciteerd door
Jaar
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
782009
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
772018
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
592012
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
562015
A rigorous model of service component architecture
Z Ding, Z Chen, J Liu
Electronic Notes in Theoretical Computer Science 207, 33-48, 2008
412008
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
372008
Recent progress in program analysis. Ruan Jian Xue Bao
J Zhang, C Zhang, JF Xuan, YF Xiong, QX Wang, B Liang, L Li, WS Dou, ...
Journal of Software 30 (1), 80-109, 2019
342019
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
302015
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
232020
Speculative symbolic execution
Y Zhang, Z Chen, J Wang
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
222012
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
222012
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
202014
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
202014
云计算系统中基于伴随状态追踪的故障检测机制
饶翔, 王怀民, 陈振邦, 周扬帆, 蔡华, 周琦, 孙廷韬
计算机学报 35 (5), 856-870, 2012
202012
The rCOS tool
Z Chen, Z Liu, V Stolz
Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture …, 2008
202008
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
192018
面向服务软件体系结构的接口模型
陈振邦, 王戟, 董威, 齐治昌
软件学报 17 (6), 1459-1469, 2006
192006
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
182012
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
182009
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
172018
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20