| Secure conflicts avoidance in multidomain environments: A distributed approach B Yang, H Hu IEEE Transactions on Systems, Man, and Cybernetics: Systems 51 (9), 5478-5489, 2019 | 20 | 2019 |
| Dynamic implementation of security requirements in business processes B Yang, H Hu IEEE Transactions on Dependable and Secure Computing 19 (2), 1352-1363, 2020 | 16 | 2020 |
| Incremental analysis of temporal constraints for concurrent workflow processes with dynamic changes Y Du, B Yang, H Hu IEEE Transactions on Industrial Informatics 15 (5), 2617-2627, 2018 | 15 | 2018 |
| Analyzing security requirements in timed workflow processes Y Du, Y Wang, B Yang, H Hu IEEE Transactions on Dependable and Secure Computing 19 (1), 190-207, 2020 | 14 | 2020 |
| Maximally permissive deadlock and livelock avoidance for automated manufacturing systems via critical distance B Yang, H Hu IEEE Transactions on Automation Science and Engineering 19 (4), 3838-3852, 2022 | 12 | 2022 |
| Implementation of generalized mutual exclusion constraints using critical places and marking estimation B Yang, H Hu IEEE Transactions on Systems, Man, and Cybernetics: Systems 51 (8), 5067-5079, 2019 | 12 | 2019 |
| Modeling and simulation of time and value throughputs of data-aware workflow processes Y Du, Z Yu, B Yang, Y Wang Journal of Intelligent Manufacturing 30, 2355-2373, 2019 | 12 | 2019 |
| Analysis of authorization constraints via integer linear programming B Yang, H Hu IEEE Transactions on Knowledge and Data Engineering 35 (3), 2258-2271, 2021 | 10 | 2021 |
| Event circuit structures for deadlock avoidance in flexible manufacturing systems X Fan, H Hu, B Yang, Y Liu, G He IEEE Transactions on Automation Science and Engineering 20 (1), 597-610, 2022 | 8 | 2022 |
| Robustness analysis of automated manufacturing systems with unreliable resources using Petri nets B Yang, H Hu IEEE Transactions on Automation Science and Engineering 19 (4), 3686-3699, 2021 | 8 | 2021 |
| A model checking approach to analyzing timed compatibility in mediation-aided composition of web services Y Du, B Yang, W Tan 2015 IEEE International Conference on Web Services, 567-574, 2015 | 8 | 2015 |
| Maximally permissive robustness analysis of automated manufacturing systems with multiple unreliable resources B Yang, H Hu IEEE Transactions on Systems, Man, and Cybernetics: Systems 53 (6), 3527-3539, 2022 | 7 | 2022 |
| Robustness analysis of automated manufacturing systems with uncontrollable events using Petri nets B Yang, H Hu IEEE Transactions on Automation Science and Engineering 20 (2), 775-788, 2022 | 7 | 2022 |
| Model checking of timed compatibility for mediation-aided web service composition: A three stage approach Y Du, B Yang, H Hu Expert Systems with Applications 112, 190-207, 2018 | 7 | 2018 |
| Enforcement of separation of duty constraints in attribute-based access control B Yang Computers & Security 131, 103294, 2023 | 4 | 2023 |
| Event circular waits and their analysis via Petri nets X Fan, B Yang, H Hu IEEE Access 9, 92586-92599, 2021 | 3 | 2021 |
| Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming B Yang, H Hu IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2024 | 2 | 2024 |
| Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource B Yang, H Hu IEEE Transactions on Control of Network Systems, 2024 | 2 | 2024 |
| On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems B Yang, H Hu IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2024 | 1 | 2024 |
| An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control B Yang, H Hu IEEE Transactions on Knowledge and Data Engineering, 2024 | 1 | 2024 |