Safety Analysis and Performance Evaluation of Time WF-nets. - Wei Song 003; Wan-Chun Dou; Jinjun Chen; Shaokun Fan (APWeb/WAIM Workshops, 2007)

Toward a Model-Based Approach to Dynamic Adaptation of Composite Services. - Wei Song 003; Xiaoxing Ma; Wanchun Dou; Jian Lü 001 (ICWS, 2008)

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Wanchun Dou; Jian Lu 001 (IEEE SCC, 2009)

A Workflow Framework for Intelligent Service Composition. - Xudong Song; Wanchun Dou; Wei Song 003 (GPC Workshops, 2009)

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets. - Wei Song 003; Xiaoxing Ma; Chunyang Ye; Wanchun Dou; Jian Lu 001 (QSIC, 2009)

Preserving Data Flow Correctness in Process Adaptation. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Jian Lu 001 (IEEE SCC, 2010)

Toward a fuzzy control-based approach to design of self-adaptive software. - Qiliang Yang; Jian Lü 001; Juelong Li; Xiaoxing Ma; Wei Song 003; Yang Zou 001 (Internetware, 2010)

Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows. - Hongda Wang; Wei Song 003; Jianchun Xing; Qiliang Yang (APSCC, 2011)

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Qiliang Yang; Jian Lü 001 (ICWS, 2011)

Towards Dynamic Evolution of Service Choreographies. - Wei Song 003; Gongxuan Zhang; Yang Zou 001; Qiliang Yang; Xiaoxing Ma (APSCC, 2012)

Safe Regression Test Selection Based on Program Dependence Graphs. - Jianchun Xing; Hongda Wang; Wei Song 003; Qiliang Yang (COMPSAC Workshops, 2012)

A priority-based transaction commit protocol for composite web services. - Wei Song 003; Zheng Gao; Jing Cai; Xiaoxing Ma (Internetware, 2012)

Quantifying Consistency between Conceptual and Executable Business Processes. - Wei Song 003; Wenjia Zhang; Gongxuan Zhang; Junhua Ding; Xuewei Zhang (IEEE SCC, 2013)

BPEL Similarity - A Metric Based on Activity Constraint Graphs. - Jianchun Xing; Xuewei Zhang; Wei Song 003; Qiliang Yang; Jidong Ge; Hongda Wang (AP-BPM, 2013)

Migration Validity of WS-BPEL Instances Revisited. - Wei Song 003; Xiaoxing Ma; Hao Hu 001; Yang Zou 001; Gongxuan Zhang (CSE, 2013)

COCO: consistency analysis of process-driven internetware applications. - Wenjia Zhang; Wei Song 003; Xiaoxing Ma; Qiliang Yang; Xuewei Zhang (Internetware, 2013)

Behavioral Consistency Measurement and Analysis of WS-BPEL Processes. - Xuewei Zhang; Wei Song 003; Jianchun Xing; Qiliang Yang; Hongda Wang; Wenjia Zhang (WAIM, 2013)

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty. - Qiliang Yang; Jian Lu 001; XianPing Tao; Xiaoxing Ma; Jianchun Xing; Wei Song 003 (J. Comput. Sci. Technol., 2013)

An Approach for Modeling and Analyzing Mobile Push Notification Services. - Junhua Ding; Wei Song 003; Dongmei Zhang 006 (IEEE SCC, 2014)

FuAET: a tool for developing fuzzy self-adaptive software systems. - Qiliang Yang; XianPing Tao; Hongwei Xie; Jianchun Xing; Wei Song 003 (Internetware, 2014)

Efficient Computing Composite Service Skyline with QoS Correlations. - Yu Du; Hao Hu 001; Wei Song 003; Junhua Ding; Jian Lu 001 (SCC, 2015)

Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information. - Kesheng Qi; Hao Hu 001; Wei Song 003; Jidong Ge; Jian Lu 001 (SCC, 2015)

Heuristic Recovery of Missing Events in Process Logs. - Wei Song 003; Xiaoxu Xia; Hans-Arno Jacobsen; Pengcheng Zhang 001; Hao Hu 001 (ICWS, 2015)

A Novel QoS Monitoring Approach Sensitive to Environmental Factors. - Pengcheng Zhang 001; Yuan Zhuang; Hareton Leung; Wei Song 003; Yu Zhou 010 (ICWS, 2015)

Qos-aware Automatic Web Service Composition Considering QoS Correlations. - Yang Liang; Hao Hu 001; Wei Song 003; Jidong Ge (Internetware, 2015)

数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes). - Xuewei Zhang; Jianchun Xing; Qiliang Yang; Wei Song 003; Hongda Wang (计算机科学, 2015)

A Combinational QoS-Prediction Approach Based on RBF Neural Network. - Pengcheng Zhang 001; Yingtao Sun; Wenrui Li 002; Wei Song 003; Hareton Leung (SCC, 2016)

Effa: a proM plugin for recovering event logs. - Xiaoxu Xia; Wei Song 003; Fangfei Chen; Xuansong Li; Pengcheng Zhang 001 (Internetware, 2016)

A Novel QoS Prediction Approach for Cloud Service Based on Bayesian Networks Model. - Pengcheng Zhang 001; Qing Han; Wenrui Li 002; Hareton Leung; Wei Song 003 (IEEE MS, 2016)

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications. - Hongda Wang; Jianchun Xing; Qiliang Yang; Wei Song 003; Xuewei Zhang (Softw. Test. Verification Reliab., 2016)

Process Discovery from Dependence-Complete Event Logs. - Wei Song 003; Hans-Arno Jacobsen; Chunyang Ye; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2016)

AHWCI: A Prototype Tool for Identifying High-Level Workflow Changes. - Fangfei Chen; Wei Song 003; Chengzhen Zhang; Xuansong Li; Pengcheng Zhang 001 (APSEC Workshops, 2017)

Parallelized Mobility-Aware Complex Event Processing. - Yuhao Gong; Hongyu Kuang; Xinchen Cai; Hao Hu 001; Wei Song 003; Jian Lu 001 (ICWS, 2017)

A Web Service QoS Forecasting Approach Based on Multivariate Time Series. - Pengcheng Zhang 001; Liyan Wang; Wenrui Li 002; Hareton Leung; Wei Song 003 (ICWS, 2017)

EHBDroid: beyond GUI testing for Android applications. - Wei Song 003; Xiangxing Qian; Jeff Huang 001 (ASE, 2017)

Software Is Not Soft - Challenges and Approaches to Dynamic Software Update. - Xiaoxing Ma; Tianxiao Gu; Wei Song 003 (SETSS, 2017)

Scientific Workflow Mining in Clouds. - Wei Song 003; Fangfei Chen; Hans-Arno Jacobsen; Xiaoxu Xia; Chunyang Ye; Xiaoxing Ma (IEEE Trans. Parallel Distributed Syst., 2017)

Efficient Alignment Between Event Logs and Process Models. - Wei Song 003; Xiaoxu Xia; Hans-Arno Jacobsen; Pengcheng Zhang 001; Hao Hu 001 (IEEE Trans. Serv. Comput., 2017)

Response Time Aware Operator Placement for Complex Event Processing in Edge Computing. - Xinchen Cai; Hongyu Kuang; Hao Hu 001; Wei Song 003; Jian Lü 001 (ICSOC, 2018)

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs. - Xuewei Zhang; Jiacun Wang; Jianchun Xing; Wei Song 003; Qiliang Yang (IEEE Access, 2018)

Weighted Bayesian Runtime Monitor: A Novel QoS Monitoring Approach Sensitive to Environmental Factors. - Pengcheng Zhang 001; Huiying Jin; Yuan Zhuang; Hareton Leung; Wei Song 003; Yu Zhou 010 (Int. J. Softw. Eng. Knowl. Eng., 2018)

IgS-wBSRM: A time-aware Web Service QoS monitoring approach in dynamic environments. - Pengcheng Zhang 001; Huiying Jin; Zhipeng He 004; Hareton Leung; Wei Song 003; Yan Jiang (Inf. Softw. Technol., 2018)

AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications. - Xuansong Li; XianPing Tao; Wei Song 003; Kai Dong 002 (J. Comput. Sci. Technol., 2018)

Cost and Energy Aware Scheduling Algorithm for Scientific Workflows with Deadline Constraint in Clouds. - Zhongjin Li; Jidong Ge; Haiyang Hu; Wei Song 003; Hao Hu 001; Bin Luo 003 (IEEE Trans. Serv. Comput., 2018)

Static and Dynamic Process Change. - Wei Song 003; Hans-Arno Jacobsen (IEEE Trans. Serv. Comput., 2018)

ServDroid: detecting service usage inefficiencies in Android applications. - Wei Song 003; Jing Zhang; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2019)

From event streams to process models and back: Challenges and opportunities. - Pnina Soffer; Annika Hinze; Agnes Koschmider; Holger Ziekow; Claudio Di Ciccio; Boris Koldehofe; Oliver Kopp; Hans-Arno Jacobsen; Jan Sürmeli; Wei Song 003 (Inf. Syst., 2019)

Measuring Business Process Consistency Across Different Abstraction Levels. - Xuewei Zhang; Wei Song 003; Jiacun Wang; Jianchun Xing; Qizhen Zhou (IEEE Trans. Netw. Serv. Manag., 2019)

Instance Migration Validity for Dynamic Evolution of Data-Aware Processes. - Wei Song 003; Xiaoxing Ma; Hans-Arno Jacobsen (IEEE Trans. Software Eng., 2019)

Towards Programming and Verification for Activity-Oriented Smart Home Systems. - Xuansong Li; Wei Song 003; Xiangyu Zhang 001 (ASE, 2020)

Efficient Service Entity Chain Placement in Mobile Edge Computing. - Yu Liang 001; Jidong Ge; Sheng Zhang 001; Changan Niu; Wei Song 003; Bin Luo 003 (MSN, 2020)

Short-Term Rainfall Forecasting Using Multi-Layer Perceptron. - Pengcheng Zhang 001; Yangyang Jia; Jerry Gao 002; Wei Song 003; Hareton Leung (IEEE Trans. Big Data, 2020)

Understanding JavaScript Vulnerabilities in Large Real-World Android Applications. - Wei Song 003; Qingqing Huang; Jeff Huang 001 (IEEE Trans. Dependable Secur. Comput., 2020)

Scientific Workflow Protocol Discovery from Public Event Logs in Clouds. - Wei Song 003; Hans-Arno Jacobsen; Fangfei Chen (IEEE Trans. Knowl. Data Eng., 2020)

IMGDroid: Detecting Image Loading Defects in Android Applications. - Wei Song 003; Mengqi Han; Jeff Huang 001 (ICSE, 2021)

IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications. - Wei Song 003; Mengqi Han; Jeff Huang 001 (ICSE (Companion Volume), 2021)

UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities. - Binfa Gui; Wei Song 003; Jeff Huang 001 (ISSTA, 2021)

An Empirical Study on Data Flow Bugs in Business Processes. - Wei Song 003; Chengzhen Zhang; Hans-Arno Jacobsen (IEEE Trans. Cloud Comput., 2021)

FunkR-pDAE: Personalized Project Recommendation Using Deep Learning. - Pengcheng Zhang 001; Fang Xiong; Hareton Leung; Wei Song 003 (IEEE Trans. Emerg. Top. Comput., 2021)

Self-Healing Event Logs. - Wei Song 003; Hans-Arno Jacobsen; Pengcheng Zhang 001 (IEEE Trans. Knowl. Data Eng., 2021)

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. - Wei Song 003; Hans-Arno Jacobsen; Shing-Chi Cheung; Hongyu Liu; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2021)

Dependence-Based Data-Aware Process Conformance Checking. - Wei Song 003; Hans-Arno Jacobsen; Chengzhen Zhang; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2021)

LA-LMRBF: Online and Long-Term Web Service QoS Forecasting. - Pengcheng Zhang 001; Huiying Jin; Hai Dong; Wei Song 003; Liyan Wang (IEEE Trans. Serv. Comput., 2021)

PermDroid: automatically testing permission-related behaviour of Android applications. - Shuaihao Yang; Zigang Zeng; Wei Song 003 (ISSTA, 2022)

Collaboration in software ecosystems: A study of work groups in open environment. - Zhifei Chen; Wanwangying Ma; Lin Chen 015; Wei Song 003 (Inf. Softw. Technol., 2022)

Discovering Structural Errors From Business Process Event Logs. - Wei Song 003; Zhen Chang; Hans-Arno Jacobsen; Pengcheng Zhang 001 (IEEE Trans. Knowl. Data Eng., 2022)

Development of Collaborative Business Processes: A Correctness Enforcement Approach. - Qi Mo; Wei Song 003; Fei Dai 002; Leilei Lin; Tong Li 004 (IEEE Trans. Serv. Comput., 2022)

Identifying a Minimum Sequence of High-Level Changes Between Workflows. - Wei Song 003; Fangfei Chen; Hans-Arno Jacobsen; Chengzhen Zhang (IEEE Trans. Serv. Comput., 2022)

M-BSRM: Multivariate BayeSian Runtime QoS Monitoring Using Point Mutual Information. - Pengcheng Zhang 001; Huiying Jin; Hai Dong; Wei Song 003 (IEEE Trans. Serv. Comput., 2022)

Privacy-Preserving QoS Forecasting in Mobile Edge Environments. - Pengcheng Zhang 001; Huiying Jin; Hai Dong; Wei Song 003; Athman Bouguettaya (IEEE Trans. Serv. Comput., 2022)

Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone? - Binfa Gui; Wei Song 003; Hailong Xiong; Jeff Huang 001 (IEEE Trans. Software Eng., 2022)

Discovering Structural Errors From Business Process Event Logs (Extended Abstract). - Wei Song 003; Zhen Chang; Hans-Arno Jacobsen; Pengcheng Zhang 001 (ICDE, 2023)

PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps. - Zeya Tan; Wei Song 003 (ICSE, 2023)

DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps. - Yuhao Zhou; Wei Song 003 (ISSTA, 2023)

DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications. - Yuhao Zhou; Wei Song 003 (ISSTA, 2023)

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts. - Chenyang Ma; Wei Song 003; Jeff Huang 001 (ESEC/SIGSOFT FSE, 2023)

FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees. - Yunqi Liu; Wei Song 003 (ISSTA, 2024)

FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts. - Yunqi Liu; Wei Song 003 (ISSTA, 2024)

Depends-Kotlin: A Cross-Language Kotlin Dependency Extractor. - Qiong Feng; Xiaotian Ma; Huan Ji; Wei Song 003; Peng Liang 001 (ASE, 2024)

Integrating Various Software Artifacts for Better LLM-based Bug Localization and Program Repair. - Qiong Feng; Xiaotian Ma; Jiayi Sheng; Ziyuan Feng; Wei Song 003; Peng Liang 001 (CoRR, 2024)

VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts. - Yichuan Li 005; Wei Song 003; Jeff Huang 001 (Proc. ACM Program. Lang., 2024)

Risky Dynamic Typing-related Practices in Python: An Empirical Study. - Zhifei Chen; Lin Chen 015; Yibiao Yang; Qiong Feng; Xuansong Li; Wei Song 003 (ACM Trans. Softw. Eng. Methodol., 2024)

GoPV: A Static Analyzer for Finding Blocking Concurrency Bugs Due to Misuse of Shared-Memory Synchronization in Go. - Xiaofan Xu; Wei Song 003; Jeff Huang 001 (ISSTA Companion, 2025)

GoPV: Detecting Blocking Concurrency Bugs Related to Shared-Memory Synchronization in Go. - Wei Song 003; Xiaofan Xu; Jeff Huang 001 (Proc. ACM Softw. Eng., 2025)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing. - Qiong Feng; Xiaotian Ma; Ziyuan Feng; Marat Akhin; Wei Song 003; Peng Liang 001 (CoRR, 2025)

COTE: Predicting Code-to-Test Co-Evolution by Integrating Link Analysis and Pre-Trained Language Model Techniques. - Yuyong Liu; Zhifei Chen; Lin Chen 015; Yanhui Li; Xuansong Li; Wei Song 003 (IEEE Trans. Software Eng., 2025)