Pengcheng Zhang

According to our database, Pengcheng Zhang authored at least 114 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

IABC-TCG: Improved artificial bee colony algorithm-based test case generation for smart contracts.

Shunhui Ji, Jiahao Gong, Hai Dong, Pengcheng Zhang, Shaoqing Zhu

J. Softw. Evol. Process., December, 2024

<i>SGDL</i>: Smart contract vulnerability generation via deep learning.

Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

J. Softw. Evol. Process., December, 2024

SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts.

Pengcheng Zhang, Ben Wang, Xiapu Luo, Hai Dong

IEEE Trans. Software Eng., November, 2024

Space-Time-Aware Proactive QoS Monitoring for Mobile Edge Computing.

Shunhui Ji, Jiajia Li, Huiying Jin, Ting Wei, Hai Dong, Pengcheng Zhang, Athman Bouguettaya

IEEE Trans. Netw. Serv. Manag., October, 2024

Mobility-Aware and Privacy-Protecting QoS Optimization in Mobile Edge Networks.

Huiying Jin, Pengcheng Zhang, Hai Dong, Xinmiao Wei, Yuelong Zhu, Tao Gu

IEEE Trans. Mob. Comput., February, 2024

Mineral prediction based on prototype learning.

Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Pengcheng Zhang

Comput. Geosci., February, 2024

Dependency-Aware Task Offloading Based on Application Hit Ratio.

Junna Zhang, Xinxin Wang, Peiyan Yuan, Hai Dong, Pengcheng Zhang, Zahir Tari

IEEE Trans. Serv. Comput., 2024

Dynamic Adaptive Federated Learning on Local Long-Tailed Data.

Juncheng Pu, Xiaodong Fu, Hai Dong, Pengcheng Zhang, Li Liu

IEEE Trans. Serv. Comput., 2024

Swift and Accurate Mobility-Aware QoS Forecasting for Mobile Edge Environments.

Huiying Jin, Pengcheng Zhang, Hai Dong, Athman Bouguettaya, Albert Y. Zomaya

IEEE Trans. Serv. Comput., 2024

Toward Stealthy Backdoor Attacks Against Speech Recognition via Elements of Sound.

Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li

IEEE Trans. Inf. Forensics Secur., 2024

Interpretable spatial-temporal attention convolutional network for rainfall forecasting.

Pingping Shao, Jun Feng, Pengcheng Zhang, Jiamin Lu

Comput. Geosci., 2024

Geo-Hgan: Unsupervised anomaly detection in geochemical data via latent space learning.

Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Guiyang Chan, Pengcheng Zhang

Comput. Geosci., 2024

Data-driven and knowledge-guided denoising diffusion model for flood forecasting.

Pingping Shao, Jun Feng, Jiamin Lu, Pengcheng Zhang, Chenxin Zou

Expert Syst. Appl., 2024

RITFIS: Robust input testing framework for LLMs-based intelligent software.

Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang

CoRR, 2024

Resource Aware Multi-User Task Offloading In Mobile Edge Computing.

Shunhui Ji, Jiajia Li, Huiying Jin, Hai Dong, Zhiyuan Ge, Shuhan Yang, Pengcheng Zhang

Proceedings of the IEEE International Conference on Web Services, 2024

QoS Optimization via Computation Offloading in Metaverse Environment.

Zhiyuan Ge, Pengcheng Zhang, Huiying Jin, Hai Dong, Shunhui Ji, Jiajia Li, Qi Wang

Proceedings of the IEEE International Conference on Web Services, 2024

Scribble-Supervised Semantic Segmentation with Prototype-based Feature Augmentation.

Guiyang Chan, Pengcheng Zhang, Hai Dong, Shunhui Ji, Bainian Chen

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Audio Steganography Based Backdoor Attack for Speech Recognition Software.

Mengyuan Zhang, Shunhui Ji, Hanbo Cai, Hai Dong, Pengcheng Zhang, Yunhe Li

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Gradient-Guided Test Case Generation for Image Classification Software.

Shunhui Ji, Yunhe Li, Hai Dong, Mingxuan Xiao, Pengcheng Zhang, Mengyuan Zhang

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

Dynamic Adaptive User Allocation in Mobile Edge Computing.

Jiajia Li, Shunhui Ji, Huiying Jin, Hai Dong, Zhiyuan Ge, Pengcheng Zhang

Proceedings of the IEEE International Conference on Software Services Engineering, 2024

2023

BiAn: Smart Contract Source Code Obfuscation.

Pengcheng Zhang, Qifan Yu, Yan Xiao, Hai Dong, Xiapu Luo, Xiao Wang, Meng Zhang

IEEE Trans. Software Eng., September, 2023

Adversarial example-based test case generation for black-box speech recognition systems.

Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan

Softw. Test. Verification Reliab., August, 2023

A survey on smart contract vulnerabilities: Data sources, detection and repair.

Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji, Wenrui Li

Inf. Softw. Technol., July, 2023

Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm.

Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong, Jianan Yu

IEEE Trans. Reliab., March, 2023

Privacy-Aware Forecasting of Quality of Service in Mobile Edge Computing.

Huiying Jin, Pengcheng Zhang, Hai Dong, Yuelong Zhu, Athman Bouguettaya

IEEE Trans. Serv. Comput., 2023

Towards Stealthy Backdoor Attacks against Speech Recognition via Elements of Sound.

Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li

CoRR, 2023

LEAP: Efficient and Automated Test Method for NLP Software.

Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction.

Shunhui Ji, Congxiong Huang, Pengcheng Zhang, Hai Dong, Yan Xiao

Proceedings of the IEEE International Conference on Web Services, 2023

Discovering Structural Errors From Business Process Event Logs (Extended Abstract).

Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Test Case Generation for Cross-Blockchain Smart Contract.

Jiahao Gong, Shunhui Ji, Pengcheng Zhang

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2022

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing for Image-Based Deep Learning Systems.

Pengcheng Zhang, Bin Ren, Hai Dong, Qiyin Dai

IEEE Trans. Software Eng., 2022

Privacy-Preserving QoS Forecasting in Mobile Edge Environments.

Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Athman Bouguettaya

IEEE Trans. Serv. Comput., 2022

M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information.

Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song

IEEE Trans. Serv. Comput., 2022

Discovering Structural Errors From Business Process Event Logs.

Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang

IEEE Trans. Knowl. Data Eng., 2022

VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion.

Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

CoRR, 2022

PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking.

Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

CoRR, 2022

Multi-Class Prediction of Mineral Resources Based on Deep Learning.

Liang Ding, Yuelong Zhu, Pengcheng Zhang, Hai Dong, Hao Chen

IEEE Access, 2022

Mobility-Aware Proactive QoS Monitoring for Mobile Edge Computing.

Ting Wei, Pengcheng Zhang, Hai Dong, Huiying Jin, Athman Bouguettaya

Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

Bytecode Obfuscation for Smart Contracts.

Qifan Yu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

Data Flow Reduction Based Test Case Generation for Smart Contracts.

Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

LA-LMRBF: Online and Long-Term Web Service QoS Forecasting.

Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Liyan Wang

IEEE Trans. Serv. Comput., 2021

Self-Healing Event Logs.

Wei Song, Hans-Arno Jacobsen, Pengcheng Zhang

IEEE Trans. Knowl. Data Eng., 2021

FunkR-pDAE: Personalized Project Recommendation Using Deep Learning.

Pengcheng Zhang, Fang Xiong, Hareton Leung, Wei Song

IEEE Trans. Emerg. Top. Comput., 2021

RSDF-AM-LSTM: Regional Scale Division Rainfall Forecasting Using Attention and LSTM.

Wenrui Li, Pengcheng Zhang, Hai Dong, Yangyang Jia, Wennan Cao

Trans. Data Sci., 2021

Mobility and Dependence-Aware QoS Monitoring in Mobile Edge Computing.

Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin

IEEE Trans. Cloud Comput., 2021

Surface and high-altitude combined rainfall forecasting using convolutional neural network.

Pengcheng Zhang, Wennan Cao, Wenrui Li

Peer-to-Peer Netw. Appl., 2021

Verifiable Model Construction for Business Processes.

Shunhui Ji, Liming Hu, Yihan Cao, Pengcheng Zhang, Jerry Gao

Int. J. Softw. Eng. Knowl. Eng., 2021

Smart Contract Vulnerability Detection Using Code Representation Fusion.

Ben Wang, Hanting Chu, Pengcheng Zhang, Hai Dong

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples.

Shijun Ye, Pengcheng Zhang, Hai Dong, Shunhui Ji

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance.

Liming Hu, Shunhui Ji, Qiyin Dai, Pengcheng Zhang

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

Short-Term Rainfall Forecasting Using Multi-Layer Perceptron.

Pengcheng Zhang, Yangyang Jia, Jerry Gao, Wei Song, Hareton Leung

IEEE Trans. Big Data, 2020

Interpretable spatio-temporal attention LSTM model for flood forecasting.

Yukai Ding, Yuelong Zhu, Jun Feng, Pengcheng Zhang, Zirun Cheng

Neurocomputing, 2020

Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review.

Pengcheng Zhang, Wennan Cao, Henry Muccini

CoRR, 2020

Multivariate QoS Monitoring in Mobile Edge Computing based on Bayesian Classifier and Rough Set.

Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

Security-Aware QoS Forecasting in Mobile Edge Computing based on Federated Learning.

Huiying Jin, Pengcheng Zhang, Hai Dong

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

A Framework and DataSet for Bugs in Ethereum Smart Contracts.

Pengcheng Zhang, Feng Xiao, Xiapu Luo

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

ADF-GA: Data Flow Criterion Based Test Case Generation for Ethereum Smart Contracts.

Pengcheng Zhang, Jianan Yu, Shunhui Ji

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

Source Code Obfuscation for Smart Contracts.

Meng Zhang, Pengcheng Zhang, Xiapu Luo, Feng Xiao

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions.

Pengcheng Zhang, Feng Xiao, Xiapu Luo

CoRR, 2019

CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems.

Pengcheng Zhang, Qiyin Dai, Patrizio Pelliccione

CoRR, 2019

Urban Street Cleanliness Assessment Using Mobile Edge Computing and Deep Learning.

Pengcheng Zhang, Qi Zhao, Jerry Gao, Wenrui Li, Jiamin Lu

IEEE Access, 2019

Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service.

Shunhui Ji, Bixin Li, Pengcheng Zhang

IEEE Access, 2019

Condition-Guided Adversarial Generative Testing for Deep Learning Systems.

Pengcheng Zhang, Qiyin Dai, Shunhui Ji

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Neural Network Based Test Case Generation for Data-Flow Oriented Testing.

Shunhui Ji, Qin Chen, Pengcheng Zhang

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

2018

Automatic generation of predictive monitors from scenario-based specifications.

Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li

Inf. Softw. Technol., 2018

IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments.

Pengcheng Zhang, Huiying Jin, Zhipeng He, Hareton Leung, Wei Song, Yan Jiang

Inf. Softw. Technol., 2018

Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors.

Pengcheng Zhang, Huiying Jin, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou

Int. J. Softw. Eng. Knowl. Eng., 2018

Android-SRV: Scenario-Based Runtime Verification of Android Applications.

Pengcheng Zhang, Kun Cheng, Jerry Gao

Int. J. Softw. Eng. Knowl. Eng., 2018

SmartClean: Smart City Street Cleanliness System Using Multi-Level Assessment Model - Research Notes.

Wenrui Li, Bharat Bhushan, Jerry Gao, Pengcheng Zhang

Int. J. Softw. Eng. Knowl. Eng., 2018

A deep belief network based precipitation forecast approach using multiple environmental factors.

Pengcheng Zhang, Yangyang Jia, Lei Zhang, Jerry Gao, Hareton Leung

Intell. Data Anal., 2018

A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model.

Wenrui Li, Pengcheng Zhang, Hareton Leung, Shunhui Ji

IEEE Access, 2018

Time Series Similarity Search Based on Positive and Negative Query.

Jimin Wang, Qi Liu, Pengcheng Zhang

Proceedings of the Big Data - BigData 2018, 2018

2017

Efficient Alignment Between Event Logs and Process Models.

Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu

IEEE Trans. Serv. Comput., 2017

RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network.

Pengcheng Zhang, Xuewu Zhou, Patrizio Pelliccione, Hareton Leung

IEEE Access, 2017

Data quality in big data processing: Issues, solutions and open problems.

Pengcheng Zhang, Fang Xiong, Jerry Gao, Jimin Wang

Proceedings of the 2017 IEEE SmartWorld, 2017

A Web Service QoS Forecasting Approach Based on Multivariate Time Series.

Pengcheng Zhang, Liyan Wang, Wenrui Li, Hareton Leung, Wei Song

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

A Survey on Quality Assurance Techniques for Big Data Applications.

Pengcheng Zhang, Xuewu Zhou, Wenrui Li, Jerry Gao

Proceedings of the Third IEEE International Conference on Big Data Computing Service and Applications, 2017

On Building a Big Data Analysis System for California Drought.

Pengcheng Zhang, Jerry Gao, A. G. Thomas, K. P. Alagupackiam, K. Mannava, P. I. Bosco, Sen Chiao

Proceedings of the Third IEEE International Conference on Big Data Computing Service and Applications, 2017

A Deep-Learning Based Precipitation Forecasting Approach Using Multiple Environmental Factors.

Pengcheng Zhang, Lei Zhang, Hareton Leung, Jimin Wang

Proceedings of the 2017 IEEE International Congress on Big Data, 2017

AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes.

Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang

Proceedings of the 24th Asia-Pacific Software Engineering Conference Workshops, 2017

2016

A New Symbolization and Distance Measure Based Anomaly Mining Approach for Hydrological Time Series.

Pengcheng Zhang, Yan Xiao, Yuelong Zhu, Jun Feng, Dingsheng Wan, Wenrui Li, Hareton Leung

Int. J. Web Serv. Res., 2016

An Automatic Recovery Mechanism for Cloud Service Composition.

Wenrui Li, Yan Cheng, Pengcheng Zhang, Hareton Leung

Int. J. Web Serv. Res., 2016

Model based verification of dynamically evolvable service oriented systems.

Yu Zhou, Jidong Ge, Pengcheng Zhang, Weigang Wu

Sci. China Inf. Sci., 2016

A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model.

Pengcheng Zhang, Qing Han, Wenrui Li, Hareton Leung, Wei Song

Proceedings of the 2016 IEEE International Conference on Mobile Services, MS 2016, San Francisco, CA, USA, June 27, 2016

Effa: a proM plugin for recovering event logs.

Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang

Proceedings of the 8th Asia-Pacific Symposium on Internetware, 2016

A Combinational QoS-Prediction Approach Based on RBF Neural Network.

Pengcheng Zhang, Yingtao Sun, Wenrui Li, Wei Song, Hareton Leung

Proceedings of the IEEE International Conference on Services Computing, 2016

Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services.

Shunhui Ji, Bixin Li, Pengcheng Zhang

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

A Novel QoS Monitoring Approach Sensitive to Environmental Factors.

Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Heuristic Recovery of Missing Events in Process Logs.

Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Hydrological Big Data Prediction Based on Similarity Search and Improved BP Neural Network.

Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Hareton Leung

Proceedings of the 2015 IEEE International Congress on Big Data, New York City, NY, USA, June 27, 2015

2014

Multi-measure Similarity Searching for Time Series.

Jimin Wang, Yuelong Zhu, Dingsheng Wan, Pengcheng Zhang, Jun Feng

J. Comput., 2014

Hierarchical timed automata based verification of dynamic evolution process in open environments.

Yu Zhou, Jidong Ge, Pengcheng Zhang

Proceedings of the International Conference on Software and Systems Process 2014, 2014

Hydrological Time Series Anomaly Mining Based on Symbolization and Distance Measure.

Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Jun Feng, Yuelong Zhu, Qian Liu

Proceedings of the 2014 IEEE International Congress on Big Data, Anchorage, AK, USA, June 27, 2014

2013

Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications.

Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li

IET Softw., 2013

Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics.

Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung

Proceedings of the 2013 13th International Conference on Quality Software, 2013

Game-Based Monitors for Scenario-Based Specification.

Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach.

Pengjiao Sun, Pengcheng Zhang, Wenrui Li, Xuejun Guo, Jun Feng

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Comparing and Improving the Synthesis of State-Based Specifications from Scenario-Based Specifications.

Zhijian Wang, Wenrui Li, Pengcheng Zhang

Int. J. Softw. Eng. Knowl. Eng., 2012

Predicting Failures in Dynamic Composite Services with Proactive Monitoring Technique.

Yuelong Zhu, Xiaobin Wu, Pengcheng Zhang, Hareton Leung, Wenrui Li

Proceedings of the Eighth IEEE World Congress on Services, 2012

2011

Monitoring of Probabilistic Timed Property Sequence Charts.

Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske

Softw. Pract. Exp., 2011

Run-time systems failure prediction via proactive monitoring.

Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2010

A classification and comparison of model checking software architecture techniques.

Pengcheng Zhang, Henry Muccini, Bixin Li

J. Syst. Softw., 2010

Timed Property Sequence Chart.

Pengcheng Zhang, Bixin Li, Lars Grunske

J. Syst. Softw., 2010

Model and Verification of WS-CDL Based on UML Diagrams.

Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li

Int. J. Softw. Eng. Knowl. Eng., 2010

WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart.

Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li

Proceedings of the Runtime Verification - First International Conference, 2010

2009

Monitoring probabilistic properties.

Lars Grunske, Pengcheng Zhang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

A Formal Syntax for Probabilistic Timed Property Sequence Charts.

Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li

Proceedings of the ASE 2009, 2009

Monitoring BPEL-Based Web Service Composition Using AOP.

Mingjie Sun, Bixin Li, Pengcheng Zhang

Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science, 2009

2008

Data-Enriched Modeling and Verification of WS-CDL Based on UML Models.

Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun

Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

A Timed Extension of Property Sequence Chart.

Pengcheng Zhang, Bixin Li, Mingjie Sun

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions.

Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions.

Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun

Proceedings of the Advanced Web and NetworkTechnologies, and Applications, 2008

Extending PSC for Monitoring the Timed Properties in Composite Services.

Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun

Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008

2007

A service-oriented methodology supporting automatic synthesis and verification of component behavior model.

Pengcheng Zhang, Yu Zhou, Bixin Li

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007