Chuangjie Xu - fortiss

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 and Theo Dimitrakos In SACMAT 2024: Proceedings of the 29th ACM Symposium on Access Control Models and Technologies, 2024. Details DOI BIB

June 2023 Specifying a Usage Control System Ulrich Schöpp , Chuangjie Xu , Amjad Ibrahim , Fathiyeh Faghih and Theo Dimitrakos In Proceedings of the 28th ACM Symposium on Access Control Models and Technologies (SACMAT ’23), pages 8, New York, NY, USA, June 2023. ACM. Details DOI BIB

September 2022 Inferring Region Types via an Abstract Notion of Environment Transformation Ulrich Schöpp and Chuangjie Xu In Asian Symposium on Programming Languages and Systems (APLAS 2022), volume 13658 of LNCS, pages 45–64, September 2022. Springer. Details DOI BIB

September 2021 Type-based Enforcement of Infinitary Trace Properties for Java Serdar Erbatur , Ulrich Schöpp and Chuangjie Xu In PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, September 2021. ACM. Details DOI BIB

July 2021 A generic type system for featherweight Java Ulrich Schöpp and Chuangjie Xu In FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, pages 9–15, July 2021. ACM. Details DOI BIB

Name	Purpose	Lifetime	Type	Provider
_pk_id	Used to store a few details about the user such as the unique visitor ID.	13 months	HTML	Matomo
_pk_ref	Used to store the attribution information, the referrer initially used to visit the website.	6 months	HTML	Matomo
_pk_ses	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_cvar	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo
_pk_hsr	Short lived cookie used to temporarily store data for the visit.	30 minutes	HTML	Matomo

[Translate to English:]

Dr. Chuangjie Xu

Publications