default search action
Wei Song 0003
Person information
- affiliation: Nanjing University of Science and Technology, School of Computer Science and Engineering
Other persons with the same name
- Wei Song — disambiguation page
- Wei Song 0001 — University of New Brunswick, Fredericton, NB, Canada (and 1 more)
- Wei Song 0002 — Institute of Information Engineering, Chinese Academy of Sciences, China (and 2 more)
- Wei Song 0004 — North China University of Technology, School of Computer Science, Beijing, China (and 1 more)
- Wei Song 0005 — University of New South Wales, School of Computer Science and Engineering, Sydney, Australia
- Wei Song 0006 — Wuhan University, Computer School, State Key Laboratory of Software Engineering, China (and 2 more)
- Wei Song 0007 — Shanghai Ocean University, College of Information Technology, China (and 1 more)
- Wei Song 0008 — Zhejiang University, Ocean College, Hangzhou, China
- Wei Song 0009 — University of Essex, Colchester, UK
- Wei Song 0010 — Capital Normal University, College of Information Engineering, and Academy for Multidisciplinary Studies, Beijing, China (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Yichuan Li, Wei Song, Jeff Huang:
VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts. Proc. ACM Program. Lang. 8(OOPSLA2): 1-29 (2024) - [j32]Zhifei Chen, Lin Chen, Yibiao Yang, Qiong Feng, Xuansong Li, Wei Song:
Risky Dynamic Typing-related Practices in Python: An Empirical Study. ACM Trans. Softw. Eng. Methodol. 33(6): 140 (2024) - [c47]Yunqi Liu, Wei Song:
FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees. ISSTA 2024: 516-527 - [c46]Yunqi Liu, Wei Song:
FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts. ISSTA 2024: 1876-1880 - 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]Zeya Tan, Wei Song:
PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps. ICSE 2023: 473-485 - [c43]Yuhao Zhou, Wei Song:
DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. ISSTA 2023: 703-714 - [c42]Yuhao Zhou, Wei Song:
DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. ISSTA 2023: 1471-1474 - [c41]Chenyang Ma, Wei Song, Jeff Huang:
TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. ESEC/SIGSOFT FSE 2023: 947-959 - 2022
- [j31]Zhifei Chen, Wanwangying Ma, Lin Chen, Wei Song:
Collaboration in software ecosystems: A study of work groups in open environment. Inf. Softw. Technol. 145: 106849 (2022) - [j30]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) - [j29]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) - [j28]Qi Mo, Wei Song, Fei Dai, Leilei Lin, Tong Li:
Development of Collaborative Business Processes: A Correctness Enforcement Approach. IEEE Trans. Serv. Comput. 15(2): 752-765 (2022) - [j27]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) - [j26]Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Chengzhen Zhang:
Identifying a Minimum Sequence of High-Level Changes Between Workflows. IEEE Trans. Serv. Comput. 15(4): 2425-2438 (2022) - [j25]Binfa Gui, Wei Song, Hailong Xiong, Jeff Huang:
Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone? IEEE Trans. Software Eng. 48(11): 4569-4589 (2022) - [c40]Shuaihao Yang, Zigang Zeng, Wei Song:
PermDroid: automatically testing permission-related behaviour of Android applications. ISSTA 2022: 593-604 - 2021
- [j24]Wei Song, Chengzhen Zhang, Hans-Arno Jacobsen:
An Empirical Study on Data Flow Bugs in Business Processes. IEEE Trans. Cloud Comput. 9(1): 88-101 (2021) - [j23]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) - [j22]Wei Song, Hans-Arno Jacobsen, Pengcheng Zhang:
Self-Healing Event Logs. IEEE Trans. Knowl. Data Eng. 33(6): 2750-2763 (2021) - [j21]Wei Song, Hans-Arno Jacobsen, Chengzhen Zhang, Xiaoxing Ma:
Dependence-Based Data-Aware Process Conformance Checking. IEEE Trans. Serv. Comput. 14(3): 654-667 (2021) - [j20]Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma:
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. IEEE Trans. Serv. Comput. 14(4): 1224-1237 (2021) - [j19]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) - [c39]Wei Song, Mengqi Han, Jeff Huang:
IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. ICSE (Companion Volume) 2021: 164-165 - [c38]Wei Song, Mengqi Han, Jeff Huang:
IMGDroid: Detecting Image Loading Defects in Android Applications. ICSE 2021: 823-834 - [c37]Binfa Gui, Wei Song, Jeff Huang:
UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. ISSTA 2021: 309-321 - 2020
- [j18]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) - [j17]Wei Song, Qingqing Huang, Jeff Huang:
Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. IEEE Trans. Dependable Secur. Comput. 17(5): 1063-1078 (2020) - [j16]Wei Song, Hans-Arno Jacobsen, Fangfei Chen:
Scientific Workflow Protocol Discovery from Public Event Logs in Clouds. IEEE Trans. Knowl. Data Eng. 32(12): 2453-2466 (2020) - [c36]Xuansong Li, Wei Song, Xiangyu Zhang:
Towards Programming and Verification for Activity-Oriented Smart Home Systems. ASE 2020: 1270-1272 - [c35]Yu Liang, Jidong Ge, Sheng Zhang, Changan Niu, Wei Song, Bin Luo:
Efficient Service Entity Chain Placement in Mobile Edge Computing. MSN 2020: 182-189
2010 – 2019
- 2019
- [j15]Pnina Soffer, Annika Hinze, Agnes Koschmider, Holger Ziekow, Claudio Di Ciccio, Boris Koldehofe, Oliver Kopp, Hans-Arno Jacobsen, Jan Sürmeli, Wei Song:
From event streams to process models and back: Challenges and opportunities. Inf. Syst. 81: 181-200 (2019) - [j14]Xuewei Zhang, Wei Song, Jiacun Wang, Jianchun Xing, Qizhen Zhou:
Measuring Business Process Consistency Across Different Abstraction Levels. IEEE Trans. Netw. Serv. Manag. 16(1): 294-307 (2019) - [j13]Wei Song, Xiaoxing Ma, Hans-Arno Jacobsen:
Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. IEEE Trans. Software Eng. 45(8): 782-801 (2019) - [c34]Wei Song, Jing Zhang, Jeff Huang:
ServDroid: detecting service usage inefficiencies in Android applications. ESEC/SIGSOFT FSE 2019: 362-373 - 2018
- [j12]Xuewei Zhang, Jiacun Wang, Jianchun Xing, Wei Song, Qiliang Yang:
Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs. IEEE Access 6: 21005-21019 (2018) - [j11]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) - [j10]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) - [j9]Xuansong Li, XianPing Tao, Wei Song, Kai Dong:
AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications. J. Comput. Sci. Technol. 33(5): 900-917 (2018) - [j8]Wei Song, Hans-Arno Jacobsen:
Static and Dynamic Process Change. IEEE Trans. Serv. Comput. 11(1): 215-231 (2018) - [j7]Zhongjin Li, Jidong Ge, Haiyang Hu, Wei Song, Hao Hu, Bin Luo:
Cost and Energy Aware Scheduling Algorithm for Scientific Workflows with Deadline Constraint in Clouds. IEEE Trans. Serv. Comput. 11(4): 713-726 (2018) - [c33]Xinchen Cai, Hongyu Kuang, Hao Hu, Wei Song, Jian Lü:
Response Time Aware Operator Placement for Complex Event Processing in Edge Computing. ICSOC 2018: 264-278 - 2017
- [j6]Wei Song, Fangfei Chen, Hans-Arno Jacobsen, Xiaoxu Xia, Chunyang Ye, Xiaoxing Ma:
Scientific Workflow Mining in Clouds. IEEE Trans. Parallel Distributed Syst. 28(10): 2979-2992 (2017) - [j5]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) - [c32]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 - [c31]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 - [c30]Yuhao Gong, Hongyu Kuang, Xinchen Cai, Hao Hu, Wei Song, Jian Lu:
Parallelized Mobility-Aware Complex Event Processing. ICWS 2017: 898-901 - [c29]Wei Song, Xiangxing Qian, Jeff Huang:
EHBDroid: beyond GUI testing for Android applications. ASE 2017: 27-37 - [c28]Xiaoxing Ma, Tianxiao Gu, Wei Song:
Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. SETSS 2017: 143-175 - 2016
- [j4]Hongda Wang, Jianchun Xing, Qiliang Yang, Wei Song, Xuewei Zhang:
Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications. Softw. Test. Verification Reliab. 26(2): 149-169 (2016) - [j3]Wei Song, Hans-Arno Jacobsen, Chunyang Ye, Xiaoxing Ma:
Process Discovery from Dependence-Complete Event Logs. IEEE Trans. Serv. Comput. 9(5): 714-727 (2016) - [c27]Pengcheng Zhang, Yingtao Sun, Wenrui Li, Wei Song, Hareton Leung:
A Combinational QoS-Prediction Approach Based on RBF Neural Network. SCC 2016: 577-584 - [c26]Xiaoxu Xia, Wei Song, Fangfei Chen, Xuansong Li, Pengcheng Zhang:
Effa: a proM plugin for recovering event logs. Internetware 2016: 108-111 - [c25]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
- [j2]Xuewei Zhang, Jianchun Xing, Qiliang Yang, Wei Song, Hongda Wang:
数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes). 计算机科学 42(12): 148-151 (2015) - [c24]Yu Du, Hao Hu, Wei Song, Junhua Ding, Jian Lu:
Efficient Computing Composite Service Skyline with QoS Correlations. SCC 2015: 41-48 - [c23]Kesheng Qi, Hao Hu, Wei Song, Jidong Ge, Jian Lu:
Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information. SCC 2015: 186-193 - [c22]Wei Song, Xiaoxu Xia, Hans-Arno Jacobsen, Pengcheng Zhang, Hao Hu:
Heuristic Recovery of Missing Events in Process Logs. ICWS 2015: 105-112 - [c21]Pengcheng Zhang, Yuan Zhuang, Hareton Leung, Wei Song, Yu Zhou:
A Novel QoS Monitoring Approach Sensitive to Environmental Factors. ICWS 2015: 145-152 - [c20]Yang Liang, Hao Hu, Wei Song, Jidong Ge:
Qos-aware Automatic Web Service Composition Considering QoS Correlations. Internetware 2015: 39-42 - 2014
- [c19]Junhua Ding, Wei Song, Dongmei Zhang:
An Approach for Modeling and Analyzing Mobile Push Notification Services. IEEE SCC 2014: 725-732 - [c18]Qiliang Yang, XianPing Tao, Hongwei Xie, Jianchun Xing, Wei Song:
FuAET: a tool for developing fuzzy self-adaptive software systems. Internetware 2014: 54-63 - 2013
- [j1]Qiliang Yang, Jian Lu, XianPing Tao, Xiaoxing Ma, Jianchun Xing, Wei Song:
Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty. J. Comput. Sci. Technol. 28(1): 165-187 (2013) - [c17]Wei Song, Wenjia Zhang, Gongxuan Zhang, Junhua Ding, Xuewei Zhang:
Quantifying Consistency between Conceptual and Executable Business Processes. IEEE SCC 2013: 9-16 - [c16]Jianchun Xing, Xuewei Zhang, Wei Song, Qiliang Yang, Jidong Ge, Hongda Wang:
BPEL Similarity - A Metric Based on Activity Constraint Graphs. AP-BPM 2013: 39-55 - [c15]Wei Song, Xiaoxing Ma, Hao Hu, Yang Zou, Gongxuan Zhang:
Migration Validity of WS-BPEL Instances Revisited. CSE 2013: 1013-1020 - [c14]Wenjia Zhang, Wei Song, Xiaoxing Ma, Qiliang Yang, Xuewei Zhang:
COCO: consistency analysis of process-driven internetware applications. Internetware 2013: 30:1-30:4 - [c13]Xuewei Zhang, Wei Song, Jianchun Xing, Qiliang Yang, Hongda Wang, Wenjia Zhang:
Behavioral Consistency Measurement and Analysis of WS-BPEL Processes. WAIM 2013: 619-630 - 2012
- [c12]Wei Song, Gongxuan Zhang, Yang Zou, Qiliang Yang, Xiaoxing Ma:
Towards Dynamic Evolution of Service Choreographies. APSCC 2012: 225-232 - [c11]Jianchun Xing, Hongda Wang, Wei Song, Qiliang Yang:
Safe Regression Test Selection Based on Program Dependence Graphs. COMPSAC Workshops 2012: 188-193 - [c10]Wei Song, Zheng Gao, Jing Cai, Xiaoxing Ma:
A priority-based transaction commit protocol for composite web services. Internetware 2012: 2:1-2:10 - 2011
- [c9]Hongda Wang, Wei Song, Jianchun Xing, Qiliang Yang:
Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows. APSCC 2011: 16-23 - [c8]Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian Lü:
Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. ICWS 2011: 129-136 - 2010
- [c7]Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Jian Lu:
Preserving Data Flow Correctness in Process Adaptation. IEEE SCC 2010: 9-16 - [c6]Qiliang Yang, Jian Lü, Juelong Li, Xiaoxing Ma, Wei Song, Yang Zou:
Toward a fuzzy control-based approach to design of self-adaptive software. Internetware 2010: 15
2000 – 2009
- 2009
- [c5]Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Wanchun Dou, Jian Lu:
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. IEEE SCC 2009: 427-434 - [c4]Xudong Song, Wanchun Dou, Wei Song:
A Workflow Framework for Intelligent Service Composition. GPC Workshops 2009: 11-18 - [c3]Wei Song, Xiaoxing Ma, Chunyang Ye, Wanchun Dou, Jian Lu:
Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. QSIC 2009: 92-97 - 2008
- [c2]Wei Song, Xiaoxing Ma, Wanchun Dou, Jian Lü:
Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. ICWS 2008: 561-568 - 2007
- [c1]Wei Song, Wan-Chun Dou, Jinjun Chen, Shaokun Fan:
Safety Analysis and Performance Evaluation of Time WF-nets. APWeb/WAIM Workshops 2007: 420-432
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 2024-12-17 21:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint