Pengcheng Zhang (张鹏程)
Pengcheng Zhang (张鹏程)
Associate Professor at College of Computer and Information, Hohai University
Verified email at hhu.edu.cn - Homepage
TitleCited byYear
A classification and comparison of model checking software architecture techniques
P Zhang, H Muccini, B Li
Journal of Systems and Software 83 (5), 723-744, 2010
662010
Monitoring probabilistic properties
L Grunske, P Zhang
Proceedings of the 7th joint meeting of the European software engineering …, 2009
442009
Monitoring BPEL-based web service composition using AOP
M Sun, B Li, P Zhang
2009 Eighth IEEE/ACIS International Conference on Computer and Information …, 2009
332009
Timed property sequence chart
P Zhang, B Li, L Grunske
Journal of Systems and Software 83 (3), 371-390, 2010
282010
Monitoring of probabilistic timed property sequence charts
P Zhang, W Li, D Wan, L Grunske
Software: Practice and Experience 41 (7), 841-866, 2011
222011
Efficient alignment between event logs and process models
W Song, X Xia, HA Jacobsen, P Zhang, H Hu
IEEE Transactions on Services Computing 10 (1), 136-149, 2016
152016
Run-time systems failure prediction via proactive monitoring
P Zhang, H Muccini, A Polini, X Li
2011 26th IEEE/ACM International Conference on Automated Software …, 2011
142011
A formal syntax for probabilistic timed property sequence charts
P Zhang, L Grunske, A Tang, B Li
2009 IEEE/ACM International Conference on Automated Software Engineering …, 2009
142009
An approach to monitor scenario-based temporal properties in web service compositions
P Zhang, B Li, H Muccini, M Sun
Asia-Pacific Web Conference, 144-154, 2008
142008
WS-PSC monitor: a tool chain for monitoring temporal and timing properties in composite service based on property sequence chart
P Zhang, Z Su, Y Zhu, W Li, B Li
International Conference on Runtime Verification, 485-489, 2010
122010
Extending PSC for monitoring the timed properties in composite services
P Zhang, B Li, Z Su, M Sun
2008 15th Asia-Pacific Software Engineering Conference, 335-342, 2008
122008
A timed extension of property sequence chart
P Zhang, B Li, M Sun
2008 11th IEEE High Assurance Systems Engineering Symposium, 197-206, 2008
122008
Test case selection for data flow based regression testing of BPEL composite services
S Ji, B Li, P Zhang
2016 IEEE International Conference on Services Computing (SCC), 547-554, 2016
112016
Hydrological big data prediction based on similarity search and improved BP neural network
D Wan, Y Xiao, P Zhang, H Leung
2015 IEEE International Congress on Big Data, 343-350, 2015
102015
IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments
P Zhang, H Jin, Z He, H Leung, W Song, Y Jiang
Information and Software Technology 96 (4), 14-26, 2018
92018
A novel QoS prediction approach for cloud service based on bayesian networks model
P Zhang, Q Han, W Li, H Leung, W Song
2016 IEEE International Conference on Mobile Services (MS), 111-118, 2016
92016
Multivariate time series similarity searching
J Wang, Y Zhu, S Li, D Wan, P Zhang
The Scientific World Journal 2014, 2014
92014
A framework for self-healing service compositions in cloud computing environments
W Li, P Zhang, Z Yang
2012 IEEE 19th International Conference on Web Services, 690-691, 2012
92012
Model based verification of dynamically evolvable service oriented systems
Y Zhou, J Ge, P Zhang, W Wu
Science China Information Sciences 59 (3), 32101, 2016
82016
Research on Teaching Method of Software Testing Course based on Active Learning Strategy
李雯睿, 张鹏程, 杨种学
计算机教育, 54-57, 2012
8*2012
The system can't perform the operation now. Try again later.
Articles 1–20