default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPengcheng Zhang 0001
Person information
- affiliation: Hohai University, College of Computer Science and Software Engineering, Nanjing, China
- affiliation (PhD 2010): Southeast University, China
Other persons with the same name
- Pengcheng Zhang (aka: Peng-Cheng Zhang) — disambiguation page
- Pengcheng Zhang 0002
![[0000-0003-4296-9648]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0003-4296-9648")
— Tsinghua University, Department of Electrical Engineering, Beijing, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]Pingping Shao, Jun Feng, Jiamin Lu, Pengcheng Zhang, Chenxin Zou:
Data-driven and knowledge-guided denoising diffusion model for flood forecasting. Expert Syst. Appl. 244: 122908 (2024)- [j46]Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Pengcheng Zhang:
Mineral prediction based on prototype learning. Comput. Geosci. 184: 105540 (2024) - [j45]Pingping Shao, Jun Feng, Pengcheng Zhang, Jiamin Lu:
Interpretable spatial-temporal attention convolutional network for rainfall forecasting. Comput. Geosci. 185: 105535 (2024) - [j44]Liang Ding, Bainian Chen, Yuelong Zhu, Hai Dong, Guiyang Chan, Pengcheng Zhang:
Geo-Hgan: Unsupervised anomaly detection in geochemical data via latent space learning. Comput. Geosci. 192: 105703 (2024) - [j43]Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li:
Toward Stealthy Backdoor Attacks Against Speech Recognition via Elements of Sound. IEEE Trans. Inf. Forensics Secur. 19: 5852-5866 (2024) - [j42]Huiying Jin, Pengcheng Zhang, Hai Dong, Xinmiao Wei, Yuelong Zhu, Tao Gu:
Mobility-Aware and Privacy-Protecting QoS Optimization in Mobile Edge Networks. IEEE Trans. Mob. Comput. 23(2): 1169-1185 (2024) - [j41]Shunhui Ji, Jiajia Li, Huiying Jin, Ting Wei, Hai Dong, Pengcheng Zhang, Athman Bouguettaya:
Space-Time-Aware Proactive QoS Monitoring for Mobile Edge Computing. IEEE Trans. Netw. Serv. Manag. 21(5): 5662-5676 (2024) - [j40]Pengcheng Zhang, Ben Wang, Xiapu Luo, Hai Dong:
SCAnoGenerator: Automatic Anomaly Injection for Ethereum Smart Contracts. IEEE Trans. Software Eng. 50(11): 2983-3006 (2024) - [c51]Jiajia Li, Shunhui Ji, Huiying Jin, Hai Dong, Zhiyuan Ge, Pengcheng Zhang:
Dynamic Adaptive User Allocation in Mobile Edge Computing. SSE 2024: 179-187 - [c50]Mengyuan Zhang, Shunhui Ji, Hanbo Cai, Hai Dong, Pengcheng Zhang, Yunhe Li:
Audio Steganography Based Backdoor Attack for Speech Recognition Software. COMPSAC 2024: 1208-1217 - [c49]Shunhui Ji, Yunhe Li, Hai Dong, Mingxuan Xiao, Pengcheng Zhang, Mengyuan Zhang:
Gradient-Guided Test Case Generation for Image Classification Software. COMPSAC 2024: 1240-1249 - [c48]Guiyang Chan, Pengcheng Zhang, Hai Dong, Shunhui Ji, Bainian Chen:
Scribble-Supervised Semantic Segmentation with Prototype-based Feature Augmentation. ICML 2024 - [c47]Shunhui Ji, Jiajia Li, Huiying Jin, Hai Dong, Zhiyuan Ge, Shuhan Yang, Pengcheng Zhang:
Resource Aware Multi-User Task Offloading In Mobile Edge Computing. ICWS 2024: 665-675 - [c46]Zhiyuan Ge, Pengcheng Zhang, Huiying Jin, Hai Dong, Shunhui Ji, Jiajia Li, Qi Wang:
QoS Optimization via Computation Offloading in Metaverse Environment. ICWS 2024: 1067-1077 - [i9]Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang:
RITFIS: Robust input testing framework for LLMs-based intelligent software. CoRR abs/2402.13518 (2024) - 2023
- [j39]Hanting Chu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji, Wenrui Li:
A survey on smart contract vulnerabilities: Data sources, detection and repair. Inf. Softw. Technol. 159: 107221 (2023) - [j38]Hanbo Cai, Pengcheng Zhang, Hai Dong, Lars Grunske, Shunhui Ji, Tianhao Yuan:
Adversarial example-based test case generation for black-box speech recognition systems. Softw. Test. Verification Reliab. 33(5) (2023) - [j37]Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong, Jianan Yu:
Test-Case Generation for Data Flow Testing of Smart Contracts Based on Improved Genetic Algorithm. IEEE Trans. Reliab. 72(1): 358-371 (2023) - [j36]Huiying Jin, Pengcheng Zhang, Hai Dong, Yuelong Zhu, Athman Bouguettaya:
Privacy-Aware Forecasting of Quality of Service in Mobile Edge Computing. IEEE Trans. Serv. Comput. 16(1): 478-492 (2023) - [j35]Pengcheng Zhang, Qifan Yu, Yan Xiao, Hai Dong, Xiapu Luo, Xiao Wang, Meng Zhang:
BiAn: Smart Contract Source Code Obfuscation. IEEE Trans. Software Eng. 49(9): 4456-4476 (2023) - [c45]Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang:
Discovering Structural Errors From Business Process Event Logs (Extended Abstract). ICDE 2023: 3849-3850 - [c44]Shunhui Ji, Congxiong Huang, Pengcheng Zhang, Hai Dong, Yan Xiao:
Ponzi Scheme Detection Based on Control Flow Graph Feature Extraction. ICWS 2023: 585-594 - [c43]Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang:
LEAP: Efficient and Automated Test Method for NLP Software. ASE 2023: 1136-1148 - [i8]Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Stefanos Koffas, Yiming Li:
Towards Stealthy Backdoor Attacks against Speech Recognition via Elements of Sound. CoRR abs/2307.08208 (2023) - [i7]Mingxuan Xiao, Yan Xiao, Hai Dong, Shunhui Ji, Pengcheng Zhang:
LEAP: Efficient and Automated Test Method for NLP Software. CoRR abs/2308.11284 (2023) - 2022
- [j34]Liang Ding, Yuelong Zhu, Pengcheng Zhang, Hai Dong, Hao Chen:
Multi-Class Prediction of Mineral Resources Based on Deep Learning. IEEE Access 10: 111463-111476 (2022) - [j33]Wei Song, Zhen Chang, Hans-Arno Jacobsen, Pengcheng Zhang:
Discovering Structural Errors From Business Process Event Logs. IEEE Trans. Knowl. Data Eng. 34(11): 5293-5306 (2022) - [j32]Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song:
M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information. IEEE Trans. Serv. Comput. 15(1): 484-497 (2022) - [j31]Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Athman Bouguettaya:
Privacy-Preserving QoS Forecasting in Mobile Edge Environments. IEEE Trans. Serv. Comput. 15(2): 1103-1117 (2022) - [j30]Pengcheng Zhang, Bin Ren, Hai Dong, Qiyin Dai:
CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing for Image-Based Deep Learning Systems. IEEE Trans. Software Eng. 48(11): 4630-4646 (2022) - [c42]Shunhui Ji, Shaoqing Zhu, Pengcheng Zhang, Hai Dong:
Data Flow Reduction Based Test Case Generation for Smart Contracts. APSEC 2022: 149-158 - [c41]Qifan Yu, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji:
Bytecode Obfuscation for Smart Contracts. APSEC 2022: 566-567 - [c40]Ting Wei, Pengcheng Zhang, Hai Dong, Huiying Jin, Athman Bouguettaya:
Mobility-Aware Proactive QoS Monitoring for Mobile Edge Computing. ICSOC 2022: 134-142 - [c39]Huiying Jin, Pengcheng Zhang, Hai Dong, Yuelong Zhu, Athman Bouguettaya:
Privacy-Aware Forecasting of Quality of Service in Mobile Edge Computing. SERVICES 2022: 18 - [i6]Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji:
PBSM: Backdoor attack against Keyword spotting based on pitch boosting and sound masking. CoRR abs/2211.08697 (2022) - [i5]Hanbo Cai, Pengcheng Zhang, Hai Dong, Yan Xiao, Shunhui Ji:
VSVC: Backdoor attack against Keyword Spotting based on Voiceprint Selection and Voice Conversion. CoRR abs/2212.10103 (2022) - 2021
- [j29]Shunhui Ji, Liming Hu, Yihan Cao, Pengcheng Zhang, Jerry Gao:
Verifiable Model Construction for Business Processes. Int. J. Softw. Eng. Knowl. Eng. 31(7): 1017-1042 (2021) - [j28]Pengcheng Zhang, Wennan Cao, Wenrui Li:
Surface and high-altitude combined rainfall forecasting using convolutional neural network. Peer-to-Peer Netw. Appl. 14(3): 1765-1777 (2021) - [j27]Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin:
Mobility and Dependence-Aware QoS Monitoring in Mobile Edge Computing. IEEE Trans. Cloud Comput. 9(3): 1143-1157 (2021) - [j26]Wenrui Li, Pengcheng Zhang, Hai Dong, Yangyang Jia, Wennan Cao:
RSDF-AM-LSTM: Regional Scale Division Rainfall Forecasting Using Attention and LSTM. Trans. Data Sci. 2(4): 35:1-35:27 (2021) - [j25]Pengcheng Zhang, Fang Xiong, Hareton Leung, Wei Song:
FunkR-pDAE: Personalized Project Recommendation Using Deep Learning. IEEE Trans. Emerg. Top. Comput. 9(2): 886-900 (2021) - [j24]Wei Song, Hans-Arno Jacobsen, Pengcheng Zhang:
Self-Healing Event Logs. IEEE Trans. Knowl. Data Eng. 33(6): 2750-2763 (2021) - [j23]Pengcheng Zhang, Huiying Jin, Hai Dong, Wei Song, Liyan Wang:
LA-LMRBF: Online and Long-Term Web Service QoS Forecasting. IEEE Trans. Serv. Comput. 14(6): 1809-1823 (2021) - [c38]Liming Hu, Shunhui Ji, Qiyin Dai, Pengcheng Zhang:
Evolutionary Generation of Test Case for Deep Neural Network Based on Coverage Guidance. AITest 2021: 19-20 - [c37]Shijun Ye, Pengcheng Zhang, Hai Dong, Shunhui Ji:
Heuristic-word-selection Genetic Algorithm for Generating Natural Language Adversarial Examples. AITest 2021: 39-40 - [c36]Ben Wang, Hanting Chu, Pengcheng Zhang, Hai Dong:
Smart Contract Vulnerability Detection Using Code Representation Fusion. APSEC 2021: 564-565 - 2020
- [j22]Yukai Ding, Yuelong Zhu, Jun Feng, Pengcheng Zhang, Zirun Cheng:
Interpretable spatio-temporal attention LSTM model for flood forecasting. Neurocomputing 403: 348-359 (2020) - [j21]Pengcheng Zhang, Yangyang Jia, Jerry Gao, Wei Song, Hareton Leung:
Short-Term Rainfall Forecasting Using Multi-Layer Perceptron. IEEE Trans. Big Data 6(1): 93-106 (2020) - [c35]Meng Zhang, Pengcheng Zhang, Xiapu Luo, Feng Xiao:
Source Code Obfuscation for Smart Contracts. APSEC 2020: 513-514 - [c34]Pengcheng Zhang, Feng Xiao, Xiapu Luo:
A Framework and DataSet for Bugs in Ethereum Smart Contracts. ICSME 2020: 139-150 - [c33]Pengcheng Zhang, Yaling Zhang, Hai Dong, Huiying Jin:
Multivariate QoS Monitoring in Mobile Edge Computing based on Bayesian Classifier and Rough Set. ICWS 2020: 189-196 - [c32]Huiying Jin, Pengcheng Zhang, Hai Dong:
Security-Aware QoS Forecasting in Mobile Edge Computing based on Federated Learning. ICWS 2020: 302-309 - [i4]Pengcheng Zhang, Wennan Cao, Henry Muccini:
Quality Assurance Technologies of Big Data Applications: A Systematic Literature Review. CoRR abs/2002.01759 (2020) - [i3]Pengcheng Zhang, Feng Xiao, Xiapu Luo:
A Framework and DataSet for Bugs in Ethereum Smart Contracts. CoRR abs/2009.02066 (2020)
2010 – 2019
- 2019
- [j20]Pengcheng Zhang, Qi Zhao, Jerry Gao, Wenrui Li, Jiamin Lu:
Urban Street Cleanliness Assessment Using Mobile Edge Computing and Deep Learning. IEEE Access 7: 63550-63563 (2019) - [j19]Shunhui Ji, Bixin Li, Pengcheng Zhang:
Test Case Selection for All-Uses Criterion-Based Regression Testing of Composite Service. IEEE Access 7: 174438-174464 (2019) - [c31]Pengcheng Zhang, Qiyin Dai, Shunhui Ji:
Condition-Guided Adversarial Generative Testing for Deep Learning Systems. AITest 2019: 71-72 - [i2]Pengcheng Zhang, Qiyin Dai, Patrizio Pelliccione:
CAGFuzz: Coverage-Guided Adversarial Generative Fuzzing Testing of Deep Learning Systems. CoRR abs/1911.07931 (2019) - [i1]Pengcheng Zhang, Feng Xiao, Xiapu Luo:
SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions. CoRR abs/1911.09425 (2019) - 2018
- [j18]Wenrui Li, Pengcheng Zhang, Hareton Leung, Shunhui Ji:
A Novel QoS Prediction Approach for Cloud Services Using Bayesian Network Model. IEEE Access 6: 1391-1406 (2018) - [j17]Pengcheng Zhang, Yangyang Jia, Lei Zhang, Jerry Gao, Hareton Leung:
A deep belief network based precipitation forecast approach using multiple environmental factors. Intell. Data Anal. 22(4): 843-866 (2018) - [j16]Pengcheng Zhang, Kun Cheng, Jerry Gao:
Android-SRV: Scenario-Based Runtime Verification of Android Applications. Int. J. Softw. Eng. Knowl. Eng. 28(2): 239-257 (2018) - [j15]Pengcheng Zhang, Huiying Jin, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou:
Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors. Int. J. Softw. Eng. Knowl. Eng. 28(9): 1339-1368 (2018) - [j14]Wenrui Li, Bharat Bhushan, Jerry Gao, Pengcheng Zhang:
SmartClean: Smart City Street Cleanliness System Using Multi-Level Assessment Model - Research Notes. Int. J. Softw. Eng. Knowl. Eng. 28(11-12): 1755-1774 (2018) - [j13]Pengcheng Zhang, Huiying Jin, Zhipeng He, Hareton Leung, Wei Song, Yan Jiang:
IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments. Inf. Softw. Technol. 96: 14-26 (2018) - [j12]Pengcheng Zhang, Patrizio Pelliccione, Hareton Leung, Xuandong Li:
Automatic generation of predictive monitors from scenario-based specifications. Inf. Softw. Technol. 98: 5-31 (2018) - 2017
- [j11]Pengcheng Zhang, Xuewu Zhou, Patrizio Pelliccione, Hareton Leung:
RBF-MLMR: A Multi-Label Metamorphic Relation Prediction Approach Using RBF Neural Network. IEEE Access 5: 21791-21805 (2017) - [j10]Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu:
Efficient Alignment Between Event Logs and Process Models. IEEE Trans. Serv. Comput. 10(1): 136-149 (2017) - [c30]Fangfei Chen, Wei Song, Chengzhen Zhang, Xuansong Li, Pengcheng Zhang:
AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. APSEC Workshops 2017: 1-4 - [c29]Pengcheng Zhang, Lei Zhang, Hareton Leung, Jimin Wang:
A Deep-Learning Based Precipitation Forecasting Approach Using Multiple Environmental Factors. BigData Congress 2017: 193-200 - [c28]Pengcheng Zhang, Jerry Gao, A. G. Thomas, K. P. Alagupackiam, K. Mannava, P. I. Bosco, Sen Chiao:
On Building a Big Data Analysis System for California Drought. BigDataService 2017: 149-156 - [c27]Pengcheng Zhang, Xuewu Zhou, Wenrui Li, Jerry Gao:
A Survey on Quality Assurance Techniques for Big Data Applications. BigDataService 2017: 313-319 - [c26]Pengcheng Zhang, Liyan Wang, Wenrui Li, Hareton Leung, Wei Song:
A Web Service QoS Forecasting Approach Based on Multivariate Time Series. ICWS 2017: 146-153 - [c25]Pengcheng Zhang, Fang Xiong, Jerry Gao, Jimin Wang:
Data quality in big data processing: Issues, solutions and open problems. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2017: 1-7 - 2016
- [j9]Yu Zhou, Jidong Ge, Pengcheng Zhang, Weigang Wu:
Model based verification of dynamically evolvable service oriented systems. Sci. China Inf. Sci. 59(3): 32101:1-32101:17 (2016) - [j8]Wenrui Li, Yan Cheng, Pengcheng Zhang, Hareton Leung:
An Automatic Recovery Mechanism for Cloud Service Composition. Int. J. Web Serv. Res. 13(1): 23-39 (2016) - [j7]Pengcheng Zhang, Yan Xiao, Yuelong Zhu, Jun Feng, Dingsheng Wan, Wenrui Li, Hareton Leung:
A New Symbolization and Distance Measure Based Anomaly Mining Approach for Hydrological Time Series. Int. J. Web Serv. Res. 13(3): 26-45 (2016) - [c24]Shunhui Ji, Bixin Li, Pengcheng Zhang:
Test Case Selection for Data Flow Based Regression Testing of BPEL Composite Services. SCC 2016: 547-554 - [c23]Pengcheng Zhang, Yingtao Sun, Wenrui Li, Wei Song, Hareton Leung:
A Combinational QoS-Prediction Approach Based on RBF Neural Network. SCC 2016: 577-584 - [c22]Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang:
Effa: a proM plugin for recovering event logs. Internetware 2016: 108-111 - [c21]Pengcheng Zhang, Qing Han, Wenrui Li, Hareton Leung, Wei Song:
A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model. IEEE MS 2016: 111-118 - 2015
- [c20]Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Hareton Leung:
Hydrological Big Data Prediction Based on Similarity Search and Improved BP Neural Network. BigData Congress 2015: 343-350 - [c19]Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu:
Heuristic Recovery of Missing Events in Process Logs. ICWS 2015: 105-112 - [c18]Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou:
A Novel QoS Monitoring Approach Sensitive to Environmental Factors. ICWS 2015: 145-152 - 2014
- [j6]Jimin Wang, Yuelong Zhu, Dingsheng Wan, Pengcheng Zhang, Jun Feng:
Multi-measure Similarity Searching for Time Series. J. Comput. 9(10): 2266-2273 (2014) - [c17]Dingsheng Wan, Yan Xiao, Pengcheng Zhang, Jun Feng, Yuelong Zhu, Qian Liu:
Hydrological Time Series Anomaly Mining Based on Symbolization and Distance Measure. BigData Congress 2014: 339-346 - [c16]Yu Zhou, Jidong Ge, Pengcheng Zhang:
Hierarchical timed automata based verification of dynamic evolution process in open environments. ICSSP 2014: 144-148 - 2013
- [j5]Pengcheng Zhang, Hareton Leung, Wenrui Li, Xuandong Li:
Web services property sequence chart monitor: a tool chain for monitoring BPEL-based web service composition with scenario-based specifications. IET Softw. 7(4): 222-248 (2013) - [c15]Pengjiao Sun, Pengcheng Zhang, Wenrui Li, Xuejun Guo, Jun Feng:
Sky-MCSP-R: An Efficient Graph-Based Web Service Composition Approach. APSEC (1) 2013: 589-594 - [c14]Pengcheng Zhang, Jun Yu, Wenrui Li, Hareton Leung:
Game-Based Monitors for Scenario-Based Specification. ICECCS 2013: 264-267 - [c13]Yuelong Zhu, Meijun Xu, Pengcheng Zhang, Wenrui Li, Hareton Leung:
Bayesian Probabilistic Monitor: A New and Efficient Probabilistic Monitoring Approach Based on Bayesian Statistics. QSIC 2013: 45-54 - 2012
- [c12]Yuelong Zhu, Xiaobin Wu, Pengcheng Zhang, Hareton Leung, Wenrui Li:
Predicting Failures in Dynamic Composite Services with Proactive Monitoring Technique. SERVICES 2012: 92-99 - 2011
- [j4]Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske:
Monitoring of Probabilistic Timed Property Sequence Charts. Softw. Pract. Exp. 41(7): 841-866 (2011) - [c11]Pengcheng Zhang, Henry Muccini, Andrea Polini, Xuandong Li:
Run-time systems failure prediction via proactive monitoring. ASE 2011: 484-487 - 2010
- [j3]Pengcheng Zhang, Henry Muccini, Yuelong Zhu, Bixin Li:
Model and Verification of WS-CDL Based on UML Diagrams. Int. J. Softw. Eng. Knowl. Eng. 20(8): 1119-1149 (2010) - [j2]Pengcheng Zhang, Bixin Li, Lars Grunske:
Timed Property Sequence Chart. J. Syst. Softw. 83(3): 371-390 (2010) - [j1]Pengcheng Zhang, Henry Muccini, Bixin Li:
A classification and comparison of model checking software architecture techniques. J. Syst. Softw. 83(5): 723-744 (2010) - [c10]Pengcheng Zhang, Zhiyong Su, Yuelong Zhu, Wenrui Li, Bixin Li:
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart. RV 2010: 485-489
2000 – 2009
- 2009
- [c9]Mingjie Sun, Bixin Li, Pengcheng Zhang:
Monitoring BPEL-Based Web Service Composition Using AOP. ACIS-ICIS 2009: 1172-1177 - [c8]Pengcheng Zhang, Lars Grunske, Antony Tang, Bixin Li:
A Formal Syntax for Probabilistic Timed Property Sequence Charts. ASE 2009: 500-504 - [c7]Lars Grunske, Pengcheng Zhang:
Monitoring probabilistic properties. ESEC/SIGSOFT FSE 2009: 183-192 - 2008
- [c6]Pengcheng Zhang, Bixin Li, Zhiyong Su, Mingjie Sun:
Extending PSC for Monitoring the Timed Properties in Composite Services. APSEC 2008: 335-342 - [c5]Pengcheng Zhang, Bixin Li, Henry Muccini, Mingjie Sun:
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions. APWeb Workshops 2008: 144-154 - [c4]Pengcheng Zhang, Bixin Li, Mingjie Sun, Xufang Gong:
A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions. COMPSAC 2008: 112-115 - [c3]Pengcheng Zhang, Bixin Li, Mingjie Sun:
A Timed Extension of Property Sequence Chart. HASE 2008: 197-206 - [c2]Pengcheng Zhang, Bixin Li, Henry Muccini, Yu Zhou, Mingjie Sun:
Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. ICWS 2008: 752-753 - 2007
- [c1]Pengcheng Zhang, Yu Zhou, Bixin Li:
A service-oriented methodology supporting automatic synthesis and verification of component behavior model. SNPD (1) 2007: 511-516
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-13 22:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
