Xin Ye

According to our database, Xin Ye authored at least 2 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Static and Dynamic Analysis of a Usage Control System.

Ulrich Schöpp, Fathiyeh Faghih, Subhajit Bandopadhyay, Hussein Joumaa, Amjad Ibrahim, Chuangjie Xu, Xin Ye, Theo Dimitrakos

Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024

2022

Parallel computational tree logic model-checking on pushdown systems.

Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen

Concurr. Comput. Pract. Exp., 2022