A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services. - Yanhua Du; Benyuan Yang; Wei Tan 001 (ICWS, 2015)

Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network. - Yanhua Du; Ze Yu; Benyuan Yang; Yang Wang (iThings/GreenCom/CPSCom/SmartData, 2016)

A sprouting graph-based approach to analysing timed workflow processes with shared resources. - Yanhua Du; Ruyue Li; Benyuan Yang (Int. J. High Perform. Comput. Netw., 2017)

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. - Yanhua Du; Benyuan Yang; Hesuan Hu (Expert Syst. Appl., 2018)

Modeling and simulation of time and value throughputs of data-aware workflow processes. - Yanhua Du; Ze Yu; Benyuan Yang; Yang Wang (J. Intell. Manuf., 2019)

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes. - Yanhua Du; Benyuan Yang; Hesuan Hu (IEEE Trans. Ind. Informatics, 2019)

Event Circular Waits and Their Analysis via Petri Nets. - Xing Fan; Benyuan Yang; Hesuan Hu (IEEE Access, 2021)

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2022)

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2022)

Analyzing Security Requirements in Timed Workflow Processes. - Yanhua Du; Yang Wang; Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2022)

Dynamic Implementation of Security Requirements in Business Processes. - Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2022)

Enforcement of separation of duty constraints in attribute-based access control. - Benyuan Yang (Comput. Secur., 2023)

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems. - Xing Fan; Hesuan Hu; Benyuan Yang; Yuming Liu; Gaoyun He (IEEE Trans Autom. Sci. Eng., 2023)

Analysis of Authorization Constraints via Integer Linear Programming. - Benyuan Yang; Hesuan Hu (IEEE Trans. Knowl. Data Eng., 2023)

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2023)

Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Delegation Security Analysis in Workflow Systems. - Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2024)

Ensuring secure interoperation of access control in a multidomain environment. - Benyuan Yang; Lili Luo; Zhimeng Wang (Comput. Secur., 2024)

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator. - Benyuan Yang; Hesuan Hu (IEEE Trans. Control. Syst. Technol., 2024)

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2024)

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control. - Benyuan Yang; Hesuan Hu (IEEE Trans. Knowl. Data Eng., 2024)

Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource. - Benyuan Yang; Hesuan Hu (IEEE Trans. Control. Netw. Syst., 2024)

On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2024)

CoDynTrust: Robust Asynchronous Collaborative Perception via Dynamic Feature Trust Modulus. - Yunjiang Xu; Lingzhi Li 001; Jin Wang 009; Benyuan Yang; Zhiwen Wu; Xinhong Chen 003; Jianping Wang 001 (CoRR, 2025)