We stand with Ukraine  

Benyuan Yang

Orcid: 0000-0002-0597-2410

According to our database1, Benyuan Yang authored at least 24 papers between 2015 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Syst. Man Cybern. Syst., December, 2024

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Knowl. Data Eng., September, 2024

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Syst. Man Cybern. Syst., July, 2024

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Control. Syst. Technol., March, 2024

Ensuring secure interoperation of access control in a multidomain environment.
[BibTeX]
[DOI]
Benyuan Yang
,
Lili Luo
,
Zhimeng Wang
Comput. Secur., February, 2024

Delegation Security Analysis in Workflow Systems.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Dependable Secur. Comput., 2024

2023
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans Autom. Sci. Eng., April, 2023

Analysis of Authorization Constraints via Integer Linear Programming.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Knowl. Data Eng., March, 2023

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems.
[BibTeX]
[DOI]
Xing Fan
,
Hesuan Hu
,
Benyuan Yang
,
Yuming Liu
,
Gaoyun He
IEEE Trans Autom. Sci. Eng., 2023

Enforcement of separation of duty constraints in attribute-based access control.
[BibTeX]
[DOI]
Benyuan Yang
Comput. Secur., 2023

2022
Dynamic Implementation of Security Requirements in Business Processes.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Dependable Secur. Comput., 2022

Analyzing Security Requirements in Timed Workflow Processes.
[BibTeX]
[DOI]
Yanhua Du
,
Yang Wang
,
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Dependable Secur. Comput., 2022

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans Autom. Sci. Eng., 2022

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans Autom. Sci. Eng., 2022

2021
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Syst. Man Cybern. Syst., 2021

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation.
[BibTeX]
[DOI]
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Syst. Man Cybern. Syst., 2021

Event Circular Waits and Their Analysis via Petri Nets.
[BibTeX]
[DOI]
Xing Fan
,
Benyuan Yang
,
Hesuan Hu
IEEE Access, 2021

2019
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.
[BibTeX]
[DOI]
Yanhua Du
,
Benyuan Yang
,
Hesuan Hu
IEEE Trans. Ind. Informatics, 2019

Modeling and simulation of time and value throughputs of data-aware workflow processes.
[BibTeX]
[DOI]
Yanhua Du
,
Ze Yu
,
Benyuan Yang
,
Yang Wang
J. Intell. Manuf., 2019

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

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

2016
Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network.
[BibTeX]
[DOI]
Yanhua Du
,
Ze Yu
,
Benyuan Yang
,
Yang Wang
Proceedings of the 2016 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2016

2015
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.
[BibTeX]
[DOI]
Yanhua Du
,
Benyuan Yang
,
Wei Tan
Proceedings of the 2015 IEEE International Conference on Web Services, 2015


  Loading...