Benyuan Yang

28 papers A* 1A 1Journal 25Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
CoDynTrust: Robust Asynchronous Collaborative Perception via Dynamic Feature Trust Modulus.
ICRA
Yunjiang Xu, Lingzhi Li, Jin Wang, Benyuan Yang, Zhiwen Wu, Xinhong Chen, Jianping Wang
2025 J jnl
CoDynTrust: Robust Asynchronous Collaborative Perception via Dynamic Feature Trust Modulus.
CoRR
Yunjiang Xu, Lingzhi Li, Jin Wang, Benyuan Yang, Zhiwen Wu, Xinhong Chen, Jianping Wang
2025 J jnl
INSTINCT: Instance-Level Interaction Architecture for Query-Based Collaborative Perception.
CoRR
Yunjiang Xu, Lingzhi Li, Jin Wang, Yupeng Ouyang, Benyuan Yang
2024 J jnl
An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control.
IEEE Trans. Knowl. Data Eng.
Benyuan Yang, Hesuan Hu
2024 J jnl
Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator.
IEEE Trans. Control. Syst. Technol.
Benyuan Yang, Hesuan Hu
2024 J jnl
Delegation Security Analysis in Workflow Systems.
IEEE Trans. Dependable Secur. Comput.
Benyuan Yang, Hesuan Hu
2024 J jnl
Ensuring secure interoperation of access control in a multidomain environment.
Comput. Secur.
Benyuan Yang, Lili Luo, Zhimeng Wang
2024 J jnl
Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource.
IEEE Trans. Control. Netw. Syst.
Benyuan Yang, Hesuan Hu
2024 J jnl
On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Syst.
Benyuan Yang, Hesuan Hu
2024 J jnl
Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming.
IEEE Trans. Syst. Man Cybern. Syst.
Benyuan Yang, Hesuan Hu
2023 J jnl
Analysis of Authorization Constraints via Integer Linear Programming.
IEEE Trans. Knowl. Data Eng.
Benyuan Yang, Hesuan Hu
2023 J jnl
Enforcement of separation of duty constraints in attribute-based access control.
Comput. Secur.
Benyuan Yang
2023 J jnl
Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems.
IEEE Trans Autom. Sci. Eng.
Xing Fan, Hesuan Hu, Benyuan Yang, Yuming Liu, Gaoyun He
2023 J jnl
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Trans. Syst. Man Cybern. Syst.
Benyuan Yang, Hesuan Hu
2023 J jnl
Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets.
IEEE Trans Autom. Sci. Eng.
Benyuan Yang, Hesuan Hu
2022 J jnl
Analyzing Security Requirements in Timed Workflow Processes.
IEEE Trans. Dependable Secur. Comput.
Yanhua Du, Yang Wang, Benyuan Yang, Hesuan Hu
2022 J jnl
Dynamic Implementation of Security Requirements in Business Processes.
IEEE Trans. Dependable Secur. Comput.
Benyuan Yang, Hesuan Hu
2022 J jnl
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.
IEEE Trans Autom. Sci. Eng.
Benyuan Yang, Hesuan Hu
2022 J jnl
Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.
IEEE Trans Autom. Sci. Eng.
Benyuan Yang, Hesuan Hu
2021 J jnl
Event Circular Waits and Their Analysis via Petri Nets.
IEEE Access
Xing Fan, Benyuan Yang, Hesuan Hu
2021 J jnl
Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation.
IEEE Trans. Syst. Man Cybern. Syst.
Benyuan Yang, Hesuan Hu
2021 J jnl
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach.
IEEE Trans. Syst. Man Cybern. Syst.
Benyuan Yang, Hesuan Hu
2019 J jnl
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.
IEEE Trans. Ind. Informatics
Yanhua Du, Benyuan Yang, Hesuan Hu
2019 J jnl
Modeling and simulation of time and value throughputs of data-aware workflow processes.
J. Intell. Manuf.
Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang
2018 J jnl
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach.
Expert Syst. Appl.
Yanhua Du, Benyuan Yang, Hesuan Hu
2017 J jnl
A sprouting graph-based approach to analysing timed workflow processes with shared resources.
Int. J. High Perform. Comput. Netw.
Yanhua Du, Ruyue Li, Benyuan Yang
2016 — conf
Temporal Consistency Analysis of Mediation-Aided Composition of Service Processes with Relation Network.
iThings/GreenCom/CPSCom/SmartData
Yanhua Du, Ze Yu, Benyuan Yang, Yang Wang
2015 A conf
A Model Checking Approach to Analyzing Timed Compatibility in Mediation-Aided Composition of Web Services.
ICWS
Yanhua Du, Benyuan Yang, Wei Tan