Benyuan Yang

Orcid: 0000-0002-0597-2410

According to our database1, Benyuan Yang authored at least 21 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
Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator.
IEEE Trans. Control. Syst. Technol., March, 2024

Ensuring secure interoperation of access control in a multidomain environment.
Comput. Secur., February, 2024

Delegation Security Analysis in Workflow Systems.
IEEE Trans. Dependable Secur. Comput., 2024

2023
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets.
IEEE Trans Autom. Sci. Eng., April, 2023

Analysis of Authorization Constraints via Integer Linear Programming.
IEEE Trans. Knowl. Data Eng., March, 2023

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 2023

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

2022
Dynamic Implementation of Security Requirements in Business Processes.
IEEE Trans. Dependable Secur. Comput., 2022

Analyzing Security Requirements in Timed Workflow Processes.
IEEE Trans. Dependable Secur. Comput., 2022

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.
IEEE Trans Autom. Sci. Eng., 2022

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2022

2021
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach.
IEEE Trans. Syst. Man Cybern. Syst., 2021

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation.
IEEE Trans. Syst. Man Cybern. Syst., 2021

Event Circular Waits and Their Analysis via Petri Nets.
IEEE Access, 2021

2019
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.
IEEE Trans. Ind. Informatics, 2019

Modeling and simulation of time and value throughputs of data-aware workflow processes.
J. Intell. Manuf., 2019

2018
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach.
Expert Syst. Appl., 2018

2017
A sprouting graph-based approach to analysing timed workflow processes with shared resources.
Int. J. High Perform. Comput. Netw., 2017

2016
Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network.
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.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015


  Loading...