Parallel computational tree logic model-checking on pushdown systems. - Xin Ye 013; Jianqi Shi; Yanhong Huang; Qin Li; Hansheng Wei; Xinyu Chen (Concurr. Comput. Pract. Exp., 2022)

Static and Dynamic Analysis of a Usage Control System. - Ulrich Schöpp; Fathiyeh Faghih; Subhajit Bandopadhyay; Hussein Joumaa; Amjad Ibrahim; Chuangjie Xu; Xin Ye 013; Theo Dimitrakos (SACMAT, 2024)