Wei Song

Proc. ACM Program. Lang., 2024

FunRedisp: A Function Redispatch Tool to Reduce Invocation Gas Fees in Solidity Smart Contracts.

[BibT_eX]

[DOI]

Yunqi Liu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

FunRedisp: Reordering Function Dispatch in Smart Contract to Reduce Invocation Gas Fees.

[BibT_eX]

[DOI]

Yunqi Liu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts.

[BibT_eX]

[DOI]

Chenyang Ma

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

DDLDroid: A Static Analyzer for Automatically Detecting Data Loss Issues in Android Applications.

[BibT_eX]

[DOI]

Yuhao Zhou

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

DDLDroid: Efficiently Detecting Data Loss Issues in Android Apps.

[BibT_eX]

[DOI]

Yuhao Zhou

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

PTPDroid: Detecting Violated User Privacy Disclosures to Third-Parties of Android Apps.

[BibT_eX]

[DOI]

Zeya Tan

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

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

[BibT_eX]

[DOI]

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

2022

Automated Use-After-Free Detection and Exploit Mitigation: How Far Have We Gone?

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Privacy-Preserving QoS Forecasting in Mobile Edge Environments.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

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

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Identifying a Minimum Sequence of High-Level Changes Between Workflows.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Development of Collaborative Business Processes: A Correctness Enforcement Approach.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Discovering Structural Errors From Business Process Event Logs.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2022

Collaboration in software ecosystems: A study of work groups in open environment.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2022

PermDroid: automatically testing permission-related behaviour of Android applications.

[BibT_eX]

[DOI]

Shuaihao Yang

Zigang Zeng

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2021

Dependence-Based Data-Aware Process Conformance Checking.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2021

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2021

Self-Healing Event Logs.

[BibT_eX]

[DOI]

Pengcheng Zhang

IEEE Trans. Knowl. Data Eng., 2021

FunkR-pDAE: Personalized Project Recommendation Using Deep Learning.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2021

An Empirical Study on Data Flow Bugs in Business Processes.

[BibT_eX]

[DOI]

Chengzhen Zhang

IEEE Trans. Cloud Comput., 2021

UAFSan: an object-identifier-based dynamic approach for detecting use-after-free vulnerabilities.

[BibT_eX]

[DOI]

Binfa Gui

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

IMGDroid: A Static Analyzer for Detecting Image Loading Defects in Android Applications.

[BibT_eX]

[DOI]

Mengqi Han

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

IMGDroid: Detecting Image Loading Defects in Android Applications.

[BibT_eX]

[DOI]

Mengqi Han

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Scientific Workflow Protocol Discovery from Public Event Logs in Clouds.

[BibT_eX]

[DOI]

Fangfei Chen

IEEE Trans. Knowl. Data Eng., 2020

Understanding JavaScript Vulnerabilities in Large Real-World Android Applications.

[BibT_eX]

[DOI]

Qingqing Huang

IEEE Trans. Dependable Secur. Comput., 2020

Short-Term Rainfall Forecasting Using Multi-Layer Perceptron.

[BibT_eX]

[DOI]

IEEE Trans. Big Data, 2020

Efficient Service Entity Chain Placement in Mobile Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Mobility, Sensing and Networking, 2020

Towards Programming and Verification for Activity-Oriented Smart Home Systems.

[BibT_eX]

[DOI]

Xuansong Li

Xiangyu Zhang

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Instance Migration Validity for Dynamic Evolution of Data-Aware Processes.

[BibT_eX]

[DOI]

Xiaoxing Ma

IEEE Trans. Software Eng., 2019

Measuring Business Process Consistency Across Different Abstraction Levels.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2019

From event streams to process models and back: Challenges and opportunities.

[BibT_eX]

[DOI]

Inf. Syst., 2019

ServDroid: detecting service usage inefficiencies in Android applications.

[BibT_eX]

[DOI]

Jing Zhang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

2018

Static and Dynamic Process Change.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

Cost and Energy Aware Scheduling Algorithm for Scientific Workflows with Deadline Constraint in Clouds.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2018

AocML: A Domain-Specific Language for Model-Driven Development of Activity-Oriented Context-Aware Applications.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2018

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

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

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

[BibT_eX]

[DOI]

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

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.

[BibT_eX]

[DOI]

IEEE Access, 2018

Response Time Aware Operator Placement for Complex Event Processing in Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

2017

Efficient Alignment Between Event Logs and Process Models.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2017

Scientific Workflow Mining in Clouds.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2017

Software Is Not Soft - Challenges and Approaches to Dynamic Software Update.

[BibT_eX]

[DOI]

Xiaoxing Ma

Tianxiao Gu

Proceedings of the Engineering Trustworthy Software Systems - Third International School, 2017

EHBDroid: beyond GUI testing for Android applications.

[BibT_eX]

[DOI]

Xiangxing Qian

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

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

[BibT_eX]

[DOI]

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

Parallelized Mobility-Aware Complex Event Processing.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2016

Process Discovery from Dependence-Complete Event Logs.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2016

Generating effective test cases based on satisfiability modulo theory solvers for service-oriented workflow applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

数据感知过程之间差异的检测和解决 (Detection and Resolution of Differences of Data Aware Processes).

[BibT_eX]

[DOI]

计算机科学, 2015

Qos-aware Automatic Web Service Composition Considering QoS Correlations.

[BibT_eX]

[DOI]

Proceedings of the 7th Asia-Pacific Symposium on Internetware, 2015

A Novel QoS Monitoring Approach Sensitive to Environmental Factors.

[BibT_eX]

[DOI]

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

Heuristic Recovery of Missing Events in Process Logs.

[BibT_eX]

[DOI]

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

Personalized QoS Prediction via Matrix Factorization Integrated with Neighborhood Information.

[BibT_eX]

[DOI]

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

Efficient Computing Composite Service Skyline with QoS Correlations.

[BibT_eX]

[DOI]

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

2014

FuAET: a tool for developing fuzzy self-adaptive software systems.

[BibT_eX]

[DOI]

Proceedings of the 6th Asia-Pacific Symposium on Internetware, 2014

An Approach for Modeling and Analyzing Mobile Push Notification Services.

[BibT_eX]

[DOI]

Junhua Ding

Dongmei Zhang

Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013

Fuzzy Self-Adaptation of Mission-Critical Software Under Uncertainty.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2013

Behavioral Consistency Measurement and Analysis of WS-BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

COCO: consistency analysis of process-driven internetware applications.

[BibT_eX]

[DOI]

Proceedings of the 5th Asia-Pacific Symposium on Internetware, 2013

Migration Validity of WS-BPEL Instances Revisited.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Computational Science and Engineering, 2013

BPEL Similarity - A Metric Based on Activity Constraint Graphs.

[BibT_eX]

[DOI]

Proceedings of the Asia Pacific Business Process Management, 2013

Quantifying Consistency between Conceptual and Executable Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

A priority-based transaction commit protocol for composite web services.

[BibT_eX]

[DOI]

Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Safe Regression Test Selection Based on Program Dependence Graphs.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference Workshops, 2012

Towards Dynamic Evolution of Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Asia-Pacific Services Computing Conference, 2012

2011

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

Global-Time-Offsets Based Checkpoint Selection for Dynamic Verification of Fixed-Time Constraints in Grid Workflows.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Asia-Pacific Services Computing Conference, 2011

2010

Toward a fuzzy control-based approach to design of self-adaptive software.

[BibT_eX]

[DOI]

Proceedings of the Second Asia-Pacific Symposium on Internetware, 2010

Preserving Data Flow Correctness in Process Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Timed Modeling and Verification of BPEL Processes Using Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 2009

A Workflow Framework for Intelligent Service Composition.

[BibT_eX]

[DOI]

Xudong Song

Wanchun Dou