Pengcheng Zhang (张鹏程)
Pengcheng Zhang (张鹏程)
Associate Professor at College of Computer and Information, Hohai University
Verified email at - Homepage
Cited by
Cited by
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
Monitoring probabilistic properties
L Grunske, P Zhang
Proceedings of the 7th joint meeting of the European software engineering …, 2009
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
Timed property sequence chart
P Zhang, B Li, L Grunske
Journal of Systems and Software 83 (3), 371-390, 2010
Monitoring of probabilistic timed property sequence charts
P Zhang, W Li, D Wan, L Grunske
Software: Practice and Experience 41 (7), 841-866, 2011
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
Interpretable spatio-temporal attention LSTM model for flood forecasting
Y Ding, Y Zhu, J Feng, P Zhang, Z Cheng
Neurocomputing 403, 348-359, 2020
RBF-MLMR: A multi-label metamorphic relation prediction approach using RBF neural network
P Zhang, X Zhou, P Pelliccione, H Leung
IEEE access 5, 21791-21805, 2017
Short-term rainfall forecasting using multi-layer perceptron
P Zhang, Y Jia, J Gao, W Song, H Leung
IEEE Transactions on Big Data 6 (1), 93-106, 2018
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
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
A deep-learning based precipitation forecasting approach using multiple environmental factors
P Zhang, L Zhang, H Leung, J Wang
2017 IEEE International Congress on Big Data (BigData Congress), 193-200, 2017
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
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
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
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
A timed extension of property sequence chart
P Zhang, B Li, M Sun
2008 11th IEEE High Assurance Systems Engineering Symposium, 197-206, 2008
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
Heuristic recovery of missing events in process logs
W Song, X Xia, HA Jacobsen, P Zhang, H Hu
2015 IEEE International Conference on Web Services, 105-112, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20