Dr Xi Wu

Postdoctoral Research Fellow

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
xi.wu@uq.edu.au
+61 7 336 51127

Overview

Qualifications

  • Doctor of Philosophy, East China Normal University

Publications

View all Publications

Publications

Book Chapter

  • Wu, Xi, Lu, Yi, Meiring, Patrick A., Hayes, Ian J. and Meinicke, Larissa A. (2018). Type capabilities for object-oriented programming languages. In Formal methods and software engineering (pp. 215-230) Cham, Switzerland: Springer International Publishing. doi:10.1007/978-3-030-02450-5_13

Journal Article

Conference Publication

  • Xie, Wanling, Wu, Xi, Zhu, Huibiao, Lu, Gang and Liu, Ailun (2017). A proof System for mCWQ. In: Reisman, S., Ahamed, S. I., Demartini, C., Conte, T., Liu, L., Claycomb, W., Nakamura, M., Tovar, E., Cimato, S., Lung, C. H., Takakura, H., Yang, J. J., Akiyama, T., Zhang, Z. and Hasan, K., Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017. 41st IEEE Annual Computer Software and Applications Conference (COMPSAC), Torino, Italy, (45-50). 4-8 July 2017. doi:10.1109/COMPSAC.2017.32

  • Hayes, Ian J., Wu, Xi and Meinicke, Larissa A. (2017). Capabilities for Java: Secure access to resources. In: Bor-Yuh Evan Chang, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Proceedings. 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, Suzhou, People's Republic of China, (67-84). 27-29 November 2017. doi:10.1007/978-3-319-71237-6_4

  • Xu, Yuanmin, Zhu, Huibiao, Zhu, Xiaoran, Wu, Xi, Guo, Jian and Lu, Gang (2017). Formalization and verification of the PKMv3 protocol using CSP. In: Reisman, S, Ahamed, SI, Demartini, C, Conte, T, Liu, L, Claycomb, W, Nakamura, M, Tovar, E, Cimato, S, Lung, CH, Takakura, H, Yang, JJ, Akiyama, T, Zhang, Z and Hasan, K, Proceedings - 2017 IEEE 41st Annual Computer Software and Applications Conference, COMPSAC 2017. 41st IEEE Annual Computer Software and Applications Conference (COMPSAC), Torino, Italy, (499-504). 4-8 July 2017. doi:10.1109/COMPSAC.2017.133