Dr. Chuangjie Xu

Publikationen

Liste als BibTeX-Datei exportieren

• 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 und Theo Dimitrakos In SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, Details DOI BIB
• Juni 2023 Specifying a Usage Control System Ulrich Schöpp, Chuangjie Xu, Amjad Ibrahim, Fathiyeh Faghih und Theo Dimitrakos In Proceedings of the 28th ACM Symposium on Access Control Models and Technologies (SACMAT ’23), Seiten 8, New York, NY, USA, ACM. Details DOI BIB
• September 2022 Inferring Region Types via an Abstract Notion of Environment Transformation Ulrich Schöpp und Chuangjie Xu In Asian Symposium on Programming Languages and Systems (APLAS 2022), Band 13658 von LNCS, Seiten 45–64, Springer. Details DOI BIB
• September 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur, Ulrich Schöpp und Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, ACM. Details DOI BIB
• Juli 2021 A generic type system for featherweight Java Ulrich Schöpp und Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, Seiten 9–15, ACM. Details DOI BIB