- Shui Yu 0001, Bruce Gu, Youyang Qu, Xiaodong Wang 0017, editors, Tools for Design, Implementation and Verification of Emerging Information Technologies - 17th EAI International Conference, TridentCom 2022, Melbourne, Australia, November 23-25, 2022, Proceedings. Volume 489 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Springer, 2023.