Xi Wu

According to our database, Xi Wu authored at least 38 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Timed Calculus with Mobility for Wireless Networks.

Wanling Xie, Huibiao Zhu, Xi Wu

Proceedings of the 2023 4th International Conference on Computing, 2023

2022

Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.

Panfeng Qiu, Xi Wu, Yongxin Zhao

Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022

2021

The Choice Construct in the Soufflé Language.

Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.

Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang

Sci. Comput. Program., 2020

Explaining bug provenance with trace witnesses.

Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis

Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, 2020

2019

Formal Verification of mCWQ Using Extended Hoare Logic.

Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh

Mob. Networks Appl., 2019

Modeling and Verifying Basic Modules of Floodlight.

Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh

Mob. Networks Appl., 2019

UTP Semantics of a Calculus for Mobile Ad Hoc Networks.

Xi Wu, Huibiao Zhu, Wanling Xie

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.

Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Comparative modelling and verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin

J. Softw. Evol. Process., 2018

Formal analysis of a calculus for WSNs from quality perspective.

Xi Wu, Huibiao Zhu

Sci. Comput. Program., 2018

Type Capabilities for Object-Oriented Programming Languages.

Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke

Proceedings of the Formal Methods and Software Engineering, 2018

Formal Modeling and Security Analysis for OpenFlow-Based Networks.

Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang

Proceedings of the 23rd International Conference on Engineering of Complex Computer Systems, 2018

2017

Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh

Mob. Networks Appl., 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

A Proof System for mCWQ.

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Capabilities for Java: Secure Access to Resources.

Ian J. Hayes, Xi Wu, Larissa A. Meinicke

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Formalization and analysis of the REST architecture from the process algebra perspective.

Xi Wu, Huibiao Zhu

Future Gener. Comput. Syst., 2016

A Coordination Language for Databases.

Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson

Log. Methods Comput. Sci., 2016

Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.

Xi Wu, Yongxin Zhao, Huibiao Zhu

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Comparative Modeling and Verification of Pthreads and Dthreads.

Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

Modeling and Verifying HDFS Using CSP.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu, Hanne Riis Nielson, Huibiao Zhu

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

A Calculus for Wireless Sensor Networks from Quality Perspective.

Xi Wu, Huibiao Zhu

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Formalization and Verification of REST Architecture in Viewpoints.

Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

Probabilistic Analysis of a Calculus for Wireless Sensor Networks.

Xi Wu, Huibiao Zhu

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

Klaim-DB: A Modeling Language for Distributed Database Applications.

Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Coordination Models and Languages, 2015

2014

Investigating System Survivability from a Probabilistic Perspective.

Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu

IEICE Trans. Inf. Syst., 2014

Observation-Oriented Semantics for Calculus of Wireless Systems.

Xiaofeng Wu, Huibiao Zhu, Xi Wu

Proceedings of the Unifying Theories of Programming - 5th International Symposium, 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

Reasoning about Group-Based Mobility in MANETs.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao

Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing, 2014

2013

Formalization and Verification of REST on HTTP Using CSP.

Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and verifying the Ariadne protocol using process algebra.

Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu

Comput. Sci. Inf. Syst., 2013

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Linking the Semantics of BPEL Using Maude.

Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Formal Modeling and Analysis of the REST Architecture Using CSP.

Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu

Proceedings of the Web Services and Formal Methods - 9th International Workshop, 2012

Modeling and Verifying the Ariadne Protocol Using CSP.

Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen

Proceedings of the IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, 2012