Benyuan Yang - Concepedia

Author

Benyuan Yang

Xidian University ORCID

Also Known As

Benyuan Yang

Publications

167

Citations

H-Index

Concepts

All Affiliations

Xidian University Nanyang Technological University Xi'an Jiaotong University

About

Benyuan Yang is an author at Xidian University specializing in systems engineering, formal verification, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	65
2	Computer Science	4	4	65
3	Systems Engineering	4	4	65
4	Computer Engineering	2	2	36
5	Operations Research	1	1	13

Benyuan Yang

Publications

131

Citations

H-Index

Page 1

	Year	Citations
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach Benyuan Yang, Hesuan Hu IEEE Transactions on Systems Man and Cybernetics Systems EngineeringInformation SecurityMultidomain EnvironmentsRole Inheritance ViolationsFormal Verification	2019	23
Analyzing Security Requirements in Timed Workflow Processes Yanhua Du, Yang Wang, Benyuan Yang, IEEE Transactions on Dependable and Secure Computing EngineeringInformation SecurityVerificationTimed Workflow ProcessesSecurity Requirements	2020	15
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources Benyuan Yang, Hesuan Hu IEEE Transactions on Systems Man and Cybernetics Systems	2022	15
Dynamic Implementation of Security Requirements in Business Processes Benyuan Yang, Hesuan Hu IEEE Transactions on Dependable and Secure Computing Petri NetEngineeringInformation SecurityVerificationSoftware Analysis	2020	14
Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets Benyuan Yang, Hesuan Hu IEEE Transactions on Automation Science and Engineering	2021	14
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance Benyuan Yang, Hesuan Hu IEEE Transactions on Automation Science and Engineering	2022	14
Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation Benyuan Yang, Hesuan Hu IEEE Transactions on Systems Man and Cybernetics Systems Mathematical ProgrammingPetri NetEngineeringVerificationConstrained Optimization	2019	13
Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets Benyuan Yang, Hesuan Hu IEEE Transactions on Automation Science and Engineering	2022	12
Analysis of Authorization Constraints via Integer Linear Programming Benyuan Yang, Hesuan Hu IEEE Transactions on Knowledge and Data Engineering	2021	11

Page 1