Pengcheng Zhang

138 papers A* 6A 13B 11C 6Journal 76Unranked 26

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automated robustness testing for LLM-based natural language processing software. Expert Syst. Appl. Mingxuan Xiao, Yan Xiao, Shunhui Ji, Hanbo Cai, Lei Xue, Pengcheng Zhang
2026	J	`jnl`	Budget-constrained workflow scheduling using task prediction in hybrid environments. Expert Syst. Appl. Changhong Tai, Huiying Jin, Qi Wang, Hai Dong, Pengcheng Zhang
2026	J	`jnl`	Context-aware smart contract comment generation using information retrieval and scenario-driven chain-of-thought. Expert Syst. Appl. Ben Wang, Yanxiang Tong, Guang Yang, Xiao Wang, Hai Dong, Yan Xiao, Pengcheng Zhang
2026	J	`jnl`	Interactive Fast Computation Offloading and Resource Allocation: A Joint Optimization Approach for Metaverse Applications. IEEE Trans. Serv. Comput. Qi Wang, Huiying Jin, Changhong Tai, Hai Dong, Pengcheng Zhang
2026	A*	`conf`	Modulation-Based Backdoors: Leveraging Amplitude and Frequency Patterns to Attack Speaker Recognition. AAAI Hanbo Cai, Pengcheng Zhang, Yan Xiao, De Li, Hanting Chu, Ying Luo
2026	J	`jnl`	OSEL: boosting vulnerability detection with opcode slicing-enhanced feature learning. Softw. Qual. J. Yanxiang Tong, Shengkai Gao, Mingyue Zhang, Ben Wang, Shunhui Ji, Pengcheng Zhang
2025	J	`jnl`	ABFS: Natural Robustness Testing for LLM-based NLP Software. CoRR Mingxuan Xiao, Yan Xiao, Shunhui Ji, Yunhe Li, Lei Xue, Pengcheng Zhang
2025	J	`jnl`	BASFuzz: Towards Robustness Evaluation of LLM-based NLP Software via Automated Fuzz Testing. CoRR Mingxuan Xiao, Yan Xiao, Shunhui Ji, Jiahe Tu, Pengcheng Zhang
2025	J	`jnl`	Clean-label backdoor attack based on robust feature attenuation for speech recognition. Expert Syst. Appl. Hanbo Cai, Pengcheng Zhang, Yan Xiao, Shunhui Ji, Mingxuan Xiao, Letian Cheng
2025	A	`conf`	DAG- FGL: An Enhanced Approach for Accurate Workflow Task Execution Time Prediction with Complex Dependencies. ICWS Changhong Tai, Huiying Jin, Qi Wang, Hai Dong, Pengcheng Zhang
2025	J	`jnl`	DeepFusion: Smart Contract Vulnerability Detection Via Deep Learning and Data Fusion. IEEE Trans. Reliab. Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji
2025	—	`conf`	Efficient and Secure Sleepy Model for BFT Consensus. ESORICS (4) Pengkun Ren, Hai Dong, Zahir Tari, Pengcheng Zhang
2025	J	`jnl`	Efficient and Secure Sleepy Model for BFT Consensus. CoRR Pengkun Ren, Hai Dong, Zahir Tari, Pengcheng Zhang
2025	J	`jnl`	Energy and Memory-Efficient Federated Learning With Ordered Layer Freezing. CoRR Ziru Niu, Hai Dong, A. K. Qin, Tao Gu, Pengcheng Zhang
2025	B	`conf`	LLMs-Driven Vulnerability Detection Combining LogicASG Reasoning with In-Context Learning. COMPSAC Wenhui Xia, Yanxiang Tong, Ben Wang, Pengcheng Zhang
2025	B	`conf`	MVGText: Momentum and Variance Guided Hard-Label Text Test Case Generation. COMPSAC Shunhui Ji, Yu Shi, Changrong Huang, Letian Cheng, Pengcheng Zhang
2025	A	`conf`	Privacy-Preserving and Efficient Offloading for Cooperative Vehicle Infrastructure Systems. ICWS Jie Zhang, Huiying Jin, Jingyi Zhao, Hai Dong, Pengcheng Zhang
2025	J	`jnl`	Proof-Carrying Fair Ordering: Asymmetric Verification for BFT via Incremental Graphs. CoRR Pengkun Ren, Hai Dong, Nasrin Sohrabi, Zahir Tari, Pengcheng Zhang
2025	B	`conf`	Smart Contract Reentrancy Vulnerability Localization Using Explainable Graph Neural Networks. COMPSAC Haowei Liu, Yanxiang Tong, Shunhui Ji, Pengcheng Zhang
2025	J	`jnl`	Swin transformer with attention mechanism: a novel framework for person re-identification. Pattern Anal. Appl. Tariq Ali Arain, Pengcheng Zhang, Qing Meng, Abdullahi Uwaisu Muhammad
2024	B	`conf`	Audio Steganography Based Backdoor Attack for Speech Recognition Software. COMPSAC Mengyuan Zhang, Shunhui Ji, Hanbo Cai, Hai Dong, Pengcheng Zhang, Yunhe Li
2024	J	`jnl`	Automated Robustness Testing for LLM-based NLP Software. CoRR Mingxuan Xiao, Yan Xiao, Shunhui Ji, Hanbo Cai, Lei Xue, Pengcheng Zhang
2024	J	`jnl`	Data-driven and knowledge-guided denoising diffusion model for flood forecasting. Expert Syst. Appl. Pingping Shao, Jun Feng, Jiamin Lu, Pengcheng Zhang, Chenxin Zou
2024	J	`jnl`	Dependency-Aware Task Offloading Based on Application Hit Ratio. IEEE Trans. Serv. Comput. Junna Zhang, Xinxin Wang, Peiyan Yuan, Hai Dong, Pengcheng Zhang, Zahir Tari
2024	J	`jnl`	Dynamic Adaptive Federated Learning on Local Long-Tailed Data. IEEE Trans. Serv. Comput. Juncheng Pu, Xiaodong Fu, Hai Dong, Pengcheng Zhang, Li Liu
2024	—	`conf`	Dynamic Adaptive User Allocation in Mobile Edge Computing. SSE Jiajia Li, Shunhui Ji, Huiying Jin, Hai Dong, Zhiyuan Ge, Pengcheng Zhang
2024	J	`jnl`	Geo-Hgan: Unsupervised anomaly detection in geochemical data via latent space learning. Comput. Geosci. Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Guiyang Chan, Pengcheng Zhang
2024	B	`conf`	Gradient-Guided Test Case Generation for Image Classification Software. COMPSAC Shunhui Ji, Yunhe Li, Hai Dong, Mingxuan Xiao, Pengcheng Zhang, Mengyuan Zhang
2024	J	`jnl`	IABC-TCG: Improved artificial bee colony algorithm-based test case generation for smart contracts. J. Softw. Evol. Process. Shunhui Ji, Jiahao Gong, Hai Dong, Pengcheng Zhang, Shaoqing Zhu
2024	J	`jnl`	Interpretable spatial-temporal attention convolutional network for rainfall forecasting. Comput. Geosci. Pingping Shao, Jun Feng, Pengcheng Zhang, Jiamin Lu
2024	J	`jnl`	Mineral prediction based on prototype learning. Comput. Geosci. Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Pengcheng Zhang
2024	J	`jnl`	Mobility-Aware and Privacy-Protecting QoS Optimization in Mobile Edge Networks. IEEE Trans. Mob. Comput. Huiying Jin, Pengcheng Zhang, Hai Dong, Xinmiao Wei, Yuelong Zhu, Tao Gu
2024	A	`conf`	QoS Optimization via Computation Offloading in Metaverse Environment. ICWS Zhiyuan Ge, Pengcheng Zhang, Huiying Jin, Hai Dong, Shunhui Ji, Jiajia Li, Qi Wang
2024	J	`jnl`	RITFIS: Robust input testing framework for LLMs-based intelligent software. CoRR Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang
2024	A	`conf`	Resource Aware Multi-User Task Offloading In Mobile Edge Computing. ICWS Shunhui Ji, Jiajia Li, Huiying Jin, Hai Dong, Zhiyuan Ge, Shuhan Yang, Pengcheng Zhang
2024	J	`jnl`	SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts. IEEE Trans. Software Eng. Pengcheng Zhang, Ben Wang, Xiapu Luo, Hai Dong
2024	A*	`conf`	Scribble-Supervised Semantic Segmentation with Prototype-based Feature Augmentation. ICML Guiyang Chan, Pengcheng Zhang, Hai Dong, Shunhui Ji, Bainian Chen
2024	J	`jnl`	Space-Time-Aware Proactive QoS Monitoring for Mobile Edge Computing. IEEE Trans. Netw. Serv. Manag. Shunhui Ji, Jiajia Li, Huiying Jin, Ting Wei, Hai Dong, Pengcheng Zhang, Athman Bouguettaya
2024	J	`jnl`	Swift and Accurate Mobility-Aware QoS Forecasting for Mobile Edge Environments. IEEE Trans. Serv. Comput. Huiying Jin, Pengcheng Zhang, Hai Dong, Athman Bouguettaya, Albert Y. Zomaya
2024	J	`jnl`	Toward Stealthy Backdoor Attacks Against Speech Recognition via Elements of Sound. IEEE Trans. Inf. Forensics Secur. Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li
2023	J	`jnl`	A survey on smart contract vulnerabilities: Data sources, detection and repair. Inf. Softw. Technol. Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji, Wenrui Li
2023	J	`jnl`	Adversarial example-based test case generation for black-box speech recognition systems. Softw. Test. Verification Reliab. Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan
2023	J	`jnl`	BiAn: Smart Contract Source Code Obfuscation. IEEE Trans. Software Eng. Pengcheng Zhang, Qifan Yu, Yan Xiao, Hai Dong, Xiapu Luo, Xiao Wang, Meng Zhang
2023	A*	`conf`	Discovering Structural Errors From Business Process Event Logs (Extended Abstract). ICDE Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang
2023	A*	`conf`	LEAP: Efficient and Automated Test Method for NLP Software. ASE Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang
2023	J	`jnl`	LEAP: Efficient and Automated Test Method for NLP Software. CoRR Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang
2023	A	`conf`	Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction. ICWS Shunhui Ji, Congxiong Huang, Pengcheng Zhang, Hai Dong, Yan Xiao
2023	J	`jnl`	Privacy-Aware Forecasting of Quality of Service in Mobile Edge Computing. IEEE Trans. Serv. Comput. Huiying Jin, Pengcheng Zhang, Hai Dong, Yuelong Zhu, Athman Bouguettaya
2023	C	`conf`	Test Case Generation for Cross-Blockchain Smart Contract. APSEC Jiahao Gong, Shunhui Ji, Pengcheng Zhang
2023	J	`jnl`	Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm. IEEE Trans. Reliab. Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong, Jianan Yu
2023	J	`jnl`	Towards Stealthy Backdoor Attacks against Speech Recognition via Elements of Sound. CoRR Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li
2022	C	`conf`	Bytecode Obfuscation for Smart Contracts. APSEC Qifan Yu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji
2022	J	`jnl`	CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing for Image-Based Deep Learning Systems. IEEE Trans. Software Eng. Pengcheng Zhang, Bin Ren, Hai Dong, Qiyin Dai
2022	C	`conf`	Data Flow Reduction Based Test Case Generation for Smart Contracts. APSEC Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong
2022	J	`jnl`	Discovering Structural Errors From Business Process Event Logs. IEEE Trans. Knowl. Data Eng. Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang
2022	J	`jnl`	M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information. IEEE Trans. Serv. Comput. Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song
2022	A	`conf`	Mobility-Aware Proactive QoS Monitoring for Mobile Edge Computing. ICSOC Ting Wei, Pengcheng Zhang, Hai Dong, Huiying Jin, Athman Bouguettaya
2022	J	`jnl`	Multi-Class Prediction of Mineral Resources Based on Deep Learning. IEEE Access Liang Ding, Yuelong Zhu, Pengcheng Zhang, Hai Dong, Hao Chen
2022	J	`jnl`	PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking. CoRR Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji
2022	B	`conf`	Privacy-Aware Forecasting of Quality of Service in Mobile Edge Computing. SERVICES Huiying Jin, Pengcheng Zhang, Hai Dong, Yuelong Zhu, Athman Bouguettaya
2022	J	`jnl`	Privacy-Preserving QoS Forecasting in Mobile Edge Environments. IEEE Trans. Serv. Comput. Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Athman Bouguettaya
2022	J	`jnl`	VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion. CoRR Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji
2021	—	`conf`	Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance. AITest Liming Hu, Shunhui Ji, Qiyin Dai, Pengcheng Zhang
2021	J	`jnl`	FunkR-pDAE: Personalized Project Recommendation Using Deep Learning. IEEE Trans. Emerg. Top. Comput. Pengcheng Zhang, Fang Xiong, Hareton Leung, Wei Song
2021	—	`conf`	Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples. AITest Shijun Ye, Pengcheng Zhang, Hai Dong, Shunhui Ji
2021	J	`jnl`	LA-LMRBF: Online and Long-Term Web Service QoS Forecasting. IEEE Trans. Serv. Comput. Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Liyan Wang
2021	J	`jnl`	Mobility and Dependence-Aware QoS Monitoring in Mobile Edge Computing. IEEE Trans. Cloud Comput. Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin
2021	J	`jnl`	RSDF-AM-LSTM: Regional Scale Division Rainfall Forecasting Using Attention and LSTM. Trans. Data Sci. Wenrui Li, Pengcheng Zhang, Hai Dong, Yangyang Jia, Wennan Cao
2021	J	`jnl`	Self-Healing Event Logs. IEEE Trans. Knowl. Data Eng. Wei Song, Hans-Arno Jacobsen, Pengcheng Zhang
2021	C	`conf`	Smart Contract Vulnerability Detection Using Code Representation Fusion. APSEC Ben Wang, Hanting Chu, Pengcheng Zhang, Hai Dong
2021	J	`jnl`	Surface and high-altitude combined rainfall forecasting using convolutional neural network. Peer-to-Peer Netw. Appl. Pengcheng Zhang, Wennan Cao, Wenrui Li
2021	J	`jnl`	Verifiable Model Construction for Business Processes. Int. J. Softw. Eng. Knowl. Eng. Shunhui Ji, Liming Hu, Yihan Cao, Pengcheng Zhang, Jerry Gao
2020	A	`conf`	A Framework and DataSet for Bugs in Ethereum Smart Contracts. ICSME Pengcheng Zhang, Feng Xiao, Xiapu Luo
2020	J	`jnl`	A Framework and DataSet for Bugs in Ethereum Smart Contracts. CoRR Pengcheng Zhang, Feng Xiao, Xiapu Luo
2020	—	`conf`	ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts. ICSE (Workshops) Pengcheng Zhang, Jianan Yu, Shunhui Ji
2020	J	`jnl`	ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts. CoRR Pengcheng Zhang, Jianan Yu, Shunhui Ji
2020	J	`jnl`	Interpretable spatio-temporal attention LSTM model for flood forecasting. Neurocomputing Yukai Ding, Yuelong Zhu, Jun Feng, Pengcheng Zhang, Zirun Cheng
2020	A	`conf`	Multivariate QoS Monitoring in Mobile Edge Computing based on Bayesian Classifier and Rough Set. ICWS Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin
2020	J	`jnl`	Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review. CoRR Pengcheng Zhang, Wennan Cao, Henry Muccini
2020	A	`conf`	Security-Aware QoS Forecasting in Mobile Edge Computing based on Federated Learning. ICWS Huiying Jin, Pengcheng Zhang, Hai Dong
2020	J	`jnl`	Short-Term Rainfall Forecasting Using Multi-Layer Perceptron. IEEE Trans. Big Data Pengcheng Zhang, Yangyang Jia, Jerry Gao, Wei Song, Hareton Leung
2020	C	`conf`	Source Code Obfuscation for Smart Contracts. APSEC Meng Zhang, Pengcheng Zhang, Xiapu Luo, Feng Xiao
2019	J	`jnl`	CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems. CoRR Pengcheng Zhang, Qiyin Dai, Patrizio Pelliccione
2019	—	`conf`	Condition-Guided Adversarial Generative Testing for Deep Learning Systems. AITest Pengcheng Zhang, Qiyin Dai, Shunhui Ji
2019	—	`conf`	Neural Network Based Test Case Generation for Data-Flow Oriented Testing. AITest Shunhui Ji, Qin Chen, Pengcheng Zhang
2019	J	`jnl`	SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions. CoRR Pengcheng Zhang, Feng Xiao, Xiapu Luo
2019	J	`jnl`	Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service. IEEE Access Shunhui Ji, Bixin Li, Pengcheng Zhang
2019	J	`jnl`	Urban Street Cleanliness Assessment Using Mobile Edge Computing and Deep Learning. IEEE Access Pengcheng Zhang, Qi Zhao, Jerry Gao, Wenrui Li, Jiamin Lu
2018	J	`jnl`	A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model. IEEE Access Wenrui Li, Pengcheng Zhang, Hareton Leung, Shunhui Ji
2018	J	`jnl`	A deep belief network based precipitation forecast approach using multiple environmental factors. Intell. Data Anal. Pengcheng Zhang, Yangyang Jia, Lei Zhang, Jerry Gao, Hareton Leung
2018	J	`jnl`	Android-SRV: Scenario-Based Runtime Verification of Android Applications. Int. J. Softw. Eng. Knowl. Eng. Pengcheng Zhang, Kun Cheng, Jerry Gao
2018	J	`jnl`	Automatic generation of predictive monitors from scenario-based specifications. Inf. Softw. Technol. Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li
2018	J	`jnl`	IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments. Inf. Softw. Technol. Pengcheng Zhang, Huiying Jin, Zhipeng He, Hareton Leung, Wei Song, Yan Jiang
2018	J	`jnl`	SmartClean: Smart City Street Cleanliness System Using Multi-Level Assessment Model - Research Notes. Int. J. Softw. Eng. Knowl. Eng. Wenrui Li, Bharat Bhushan, Jerry Gao, Pengcheng Zhang
2018	—	`conf`	Time Series Similarity Search Based on Positive and Negative Query. BigData Congress Jimin Wang, Qi Liu, Pengcheng Zhang
2018	J	`jnl`	Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors. Int. J. Softw. Eng. Knowl. Eng. Pengcheng Zhang, Huiying Jin, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou
2017	—	`conf`	A Deep-Learning Based Precipitation Forecasting Approach Using Multiple Environmental Factors. BigData Congress Pengcheng Zhang, Lei Zhang, Hareton Leung, Jimin Wang
2017	—	`conf`	A Survey on Quality Assurance Techniques for Big Data Applications. BigDataService Pengcheng Zhang, Xuewu Zhou, Wenrui Li, Jerry Gao
2017	A	`conf`	A Web Service QoS Forecasting Approach Based on Multivariate Time Series. ICWS Pengcheng Zhang, Liyan Wang, Wenrui Li, Hareton Leung, Wei Song
2017	—	`conf`	AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. APSEC Workshops Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang
2017	—	`conf`	Data quality in big data processing: Issues, solutions and open problems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI Pengcheng Zhang, Fang Xiong, Jerry Gao, Jimin Wang
2017	J	`jnl`	Efficient Alignment Between Event Logs and Process Models. IEEE Trans. Serv. Comput. Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu
2017	—	`conf`	On Building a Big Data Analysis System for California Drought. BigDataService Pengcheng Zhang, Jerry Gao, A. G. Thomas, K. P. Alagupackiam, K. Mannava, P. I. Bosco, Sen Chiao
2017	J	`jnl`	RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network. IEEE Access Pengcheng Zhang, Xuewu Zhou, Patrizio Pelliccione, Hareton Leung
2016	—	`conf`	A Combinational QoS-Prediction Approach Based on RBF Neural Network. SCC Pengcheng Zhang, Yingtao Sun, Wenrui Li, Wei Song, Hareton Leung
2016	J	`jnl`	A New Symbolization and Distance Measure Based Anomaly Mining Approach for Hydrological Time Series. Int. J. Web Serv. Res. Pengcheng Zhang, Yan Xiao, Yuelong Zhu, Jun Feng, Dingsheng Wan, Wenrui Li, Hareton Leung
2016	—	`conf`	A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model. IEEE MS Pengcheng Zhang, Qing Han, Wenrui Li, Hareton Leung, Wei Song
2016	J	`jnl`	An Automatic Recovery Mechanism for Cloud Service Composition. Int. J. Web Serv. Res. Wenrui Li, Yan Cheng, Pengcheng Zhang, Hareton Leung
2016	—	`conf`	Effa: a proM plugin for recovering event logs. Internetware Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang
2016	J	`jnl`	Model based verification of dynamically evolvable service oriented systems. Sci. China Inf. Sci. Yu Zhou, Jidong Ge, Pengcheng Zhang, Weigang Wu
2016	—	`conf`	Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services. SCC Shunhui Ji, Bixin Li, Pengcheng Zhang
2015	A	`conf`	A Novel QoS Monitoring Approach Sensitive to Environmental Factors. ICWS Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou
2015	A	`conf`	Heuristic Recovery of Missing Events in Process Logs. ICWS Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu
2015	—	`conf`	Hydrological Big Data Prediction Based on Similarity Search and Improved BP Neural Network. BigData Congress Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Hareton Leung
2014	B	`conf`	Hierarchical timed automata based verification of dynamic evolution process in open environments. ICSSP Yu Zhou, Jidong Ge, Pengcheng Zhang
2014	—	`conf`	Hydrological Time Series Anomaly Mining Based on Symbolization and Distance Measure. BigData Congress Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Jun Feng, Yuelong Zhu, Qian Liu
2014	J	`jnl`	Multi-measure Similarity Searching for Time Series. J. Comput. Jimin Wang, Yuelong Zhu, Dingsheng Wan, Pengcheng Zhang, Jun Feng
2013	—	`conf`	Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics. QSIC Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung
2013	B	`conf`	Game-Based Monitors for Scenario-Based Specification. ICECCS Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung
2013	—	`conf`	Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach. APSEC (1) Pengjiao Sun, Pengcheng Zhang, Wenrui Li, Xuejun Guo, Jun Feng
2013	J	`jnl`	Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications. IET Softw. Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li
2012	J	`jnl`	Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications. Int. J. Softw. Eng. Knowl. Eng. Zhijian Wang, Wenrui Li, Pengcheng Zhang
2012	B	`conf`	Predicting Failures in Dynamic Composite Services with Proactive Monitoring Technique. SERVICES Yuelong Zhu, Xiaobin Wu, Pengcheng Zhang, Hareton Leung, Wenrui Li
2011	J	`jnl`	Monitoring of Probabilistic Timed Property Sequence Charts. Softw. Pract. Exp. Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske
2011	A*	`conf`	Run-time systems failure prediction via proactive monitoring. ASE Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li
2010	J	`jnl`	A classification and comparison of model checking software architecture techniques. J. Syst. Softw. Pengcheng Zhang, Henry Muccini, Bixin Li
2010	J	`jnl`	Model and Verification of WS-CDL Based on UML Diagrams. Int. J. Softw. Eng. Knowl. Eng. Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li
2010	J	`jnl`	Timed Property Sequence Chart. J. Syst. Softw. Pengcheng Zhang, Bixin Li, Lars Grunske
2010	B	`conf`	WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. RV Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li
2009	A*	`conf`	A Formal Syntax for Probabilistic Timed Property Sequence Charts. ASE Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li
2009	—	`conf`	Monitoring BPEL-Based Web Service Composition Using AOP. ACIS-ICIS Mingjie Sun, Bixin Li, Pengcheng Zhang
2009	—	`conf`	Monitoring probabilistic properties. ESEC/SIGSOFT FSE Lars Grunske, Pengcheng Zhang
2008	B	`conf`	A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. COMPSAC Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong
2008	—	`conf`	A Timed Extension of Property Sequence Chart. HASE Pengcheng Zhang, Bixin Li, Mingjie Sun
2008	—	`conf`	An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. APWeb Workshops Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun
2008	A	`conf`	Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. ICWS Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun
2008	C	`conf`	Extending PSC for Monitoring the Timed Properties in Composite Services. APSEC Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun
2007	—	`conf`	A service-oriented methodology supporting automatic synthesis and verification of component behavior model. SNPD (1) Pengcheng Zhang, Yu Zhou, Bixin Li