People_
Dr Xi Wu
PhD, SFHEA
Lecturer
School of Computer Science
Lecturer
School of Computer Science
Phone
+61 2 8627 0021
Email
Address
J12 - Computer Science Building
The University of Sydney
Websites
My research interests are in the fields of program analysis, rewriting system, language-based security,
capability-based system, software verification (in particular, model checking), process algebra
and Unifying Theories of Programming (UTP). I also work on designing reliable calculus for Wireless
Sensor Networks (WSNs) from quality perspective, providing robustness analysis and probabilistic
analysis for the calculus, together with UTP semantics. I have comprehensive experience in
formalization and verification on web service as well.
| Project title | Research student |
|---|---|
| Evaluating Fast Virtual Machine Implementation Techniques for Fuzzing | Jack LUO |
| Research on text-based high-granularity pose generation model construction and dataset compilation | Chuancheng SHI |
Publications
Expand all
Book Chapters
- Hayes, I., Wu, X., Meinicke, L. (2017). Capabilities for Java: Secure access to resources. In Bor-Yuh Evan Chang (ed.). (Eds.), Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, (pp. 67-84). Cham: Springer. [More Information]
- Wu, X., Zhu, H. (2016). Probabilistic analysis of a calculus for wireless sensor networks. In edited by Cyrille Artho, Peter Csaba O¨lveczky. (Eds.), Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, (pp. 155-171). Cham: Springer. [More Information]
- Wu, X., Li, X., Lafuente, A., Nielson, F., Nielson, H. (2015). Klaim-DB: A modeling language for distributed database applications. In Tom Holvoet, Mirko Viroli (eds.) (Eds.), Coordination models and languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, (pp. 197-212). Cham: Springer. [More Information]
show 2 more
Journals
- Lv, J., Zhao, Y., Wu, X., Li, Y., Wang, Q. (2021). Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Transactions on Reliability, 70(3), 1286-1294. [More Information]
- Xiang, S., Zhu, H., Wu, X., Xiao, L., Bonsangue, M., Xie, W., Zhang, L. (2020). Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Science of Computer Programming, 187, 102343. [More Information]
- Xie, W., Zhu, H., Wu, X., Vinh, P. (2019). Formal Verification of mCWQ Using Extended Hoare Logic. Mobile Networks and Applications, 24(1), 134-144. [More Information]
show 9 more
Conferences
- Wu, X., Chen, H., Gopinath, R., Gorz, P., Schilling, J. (2024). SBFT Tool Competition 2024-Fuzzing Track. Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon: Association for Computing Machinery, Inc. [More Information]
- Xu,, W., Wu, X., Zhao,, Y., Li,, Y. (2022). Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, : Institute of Electrical and Electronics Engineers Inc.
- Huang, X., Karp, J., Zhao, D., Zreika, A., Wu, X., Scholz, B. (2021). The Choice Construct in the Soufflé Language. 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, Chicago: Springer. [More Information]
show 5 more
Expand all
2024
- Wu, X., Chen, H., Gopinath, R., Gorz, P., Schilling, J. (2024). SBFT Tool Competition 2024-Fuzzing Track. Proceedings - 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing, SBFT 2024, Lisbon: Association for Computing Machinery, Inc. [More Information]
2022
- Xu,, W., Wu, X., Zhao,, Y., Li,, Y. (2022). Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, : Institute of Electrical and Electronics Engineers Inc.
2021
- Lv, J., Zhao, Y., Wu, X., Li, Y., Wang, Q. (2021). Formal Analysis of TSN Scheduler for Real-Time Communications. IEEE Transactions on Reliability, 70(3), 1286-1294. [More Information]
- Huang, X., Karp, J., Zhao, D., Zreika, A., Wu, X., Scholz, B. (2021). The Choice Construct in the Soufflé Language. 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, Chicago: Springer. [More Information]
2020
- Jiang, J., Zhao, Y., Wu, X., Gou, G. (2020). A detect-and-modify region-based classifier to defend evasion attacks. 32nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2020), Pittsburgh: Knowledge Systems Institute Graduate School. [More Information]
- Shen, J., Wu, X., Grech, N., Scholz, B., Smaragdakis, Y. (2020). Explaining bug provenance with trace witnesses. 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2020, co-located with the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2020, New York: Association for Computing Machinery (ACM). [More Information]
- Xiang, S., Zhu, H., Wu, X., Xiao, L., Bonsangue, M., Xie, W., Zhang, L. (2020). Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Science of Computer Programming, 187, 102343. [More Information]
2019
- Xie, W., Zhu, H., Wu, X., Vinh, P. (2019). Formal Verification of mCWQ Using Extended Hoare Logic. Mobile Networks and Applications, 24(1), 134-144. [More Information]
- Xiang, S., Wu, X., Zhu, H., Xie, W., Xiao, L., Vinh, P. (2019). Modeling and Verifying Basic Modules of Floodlight. Mobile Networks and Applications, 24(1), 100-114. [More Information]
- Xu, C., Wu, X., Zhu, H., Popovic, M. (2019). Modeling and verifying transaction scheduling for software transactional memory using CSP. 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019), Guilin: Institute of Electrical and Electronics Engineers (IEEE). [More Information]
show 2 more
2018
- Fei, Y., Zhu, H., Wu, X., Fang, H., Qin, S. (2018). Comparative modelling and verification of Pthreads and Dthreads. Journal of Software: Evolution and Process, 30(3). [More Information]
- Wu, X., Zhu, H. (2018). Formal analysis of a calculus for WSNs from quality perspective. Science of Computer Programming, 154, 134-153. [More Information]
2017
- Li, X., Wu, X., Lafuente, A., Nielson, F., Nielson, H. (2017). A coordination language for databases. Logical Methods in Computer Science, 13(1), 1-51. [More Information]
- Hayes, I., Wu, X., Meinicke, L. (2017). Capabilities for Java: Secure access to resources. In Bor-Yuh Evan Chang (ed.). (Eds.), Programming languages and systems : 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings, (pp. 67-84). Cham: Springer. [More Information]
- Xie, W., Zhu, H., Wu, X., Xiang, S., Guo, J., Vinh, P. (2017). Modeling and Verifying HDFS Using Process Algebra. Mobile Networks and Applications, 22(2), 318-331. [More Information]
2016
- Wu, X., Zhu, H. (2016). Formalization and analysis of the REST architecture from the process algebra perspective. Future Generation Computer Systems, 56, 153-168. [More Information]
- Wu, X., Zhu, H. (2016). Probabilistic analysis of a calculus for wireless sensor networks. In edited by Cyrille Artho, Peter Csaba O¨lveczky. (Eds.), Formal Techniques for Safety-Critical Systems : 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, (pp. 155-171). Cham: Springer. [More Information]
2015
- Wu, X., Li, X., Lafuente, A., Nielson, F., Nielson, H. (2015). Klaim-DB: A modeling language for distributed database applications. In Tom Holvoet, Mirko Viroli (eds.) (Eds.), Coordination models and languages : 17th IFIP WG 6.1 International Conference, COORDINATION 2015, held as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings, (pp. 197-212). Cham: Springer. [More Information]
- Wu, X., Zhu, H., Wu, X. (2015). Observation-Oriented Semantics for Calculus of Wireless Systems. In David Naumann (ed.) (Eds.), Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers, (pp. 105-124). Cham: Springer. [More Information]
2014
- Yuan, T., Tang, Y., Wu, X., Zhang, Y., Zhu, H., Guo, J., Qin, W. (2014). Formalization and verification of REST on HTTP using CSP. Electronic Notes in Theoretical Computer Science, 309, 75-93. [More Information]
- Zhao, Y., Huang, Y., Li, Q., Zhu, H., He, J., Li, J., Wu, X. (2014). Investigating system survivability from a probabilistic perspective. IEICE Transactions on Information and Systems, E97-D(9), 2356-2370. [More Information]
2013
- Wu, X., Zhang, Y., Zhu, H., Zhao, Y., Sun, Z., Liu, P. (2013). Formal modeling and analysis of the REST architecture using CSP. In edited by Maurice H. ter Beek, Niels Lohmann. (Eds.), Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised selected papers, (pp. 87-102). Cham: Springer.
- Wu, X., Zhu, H., Zhao, Y., Wang, Z., Liu, S. (2013). Modeling and verifying the Ariadne protocol using process algebra. Computer Science and Information Systems, 10(1), 393-421. [More Information]