Xi Wu

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 23

Top Topics

Sensor Networks

Programming Language

Process Algebra

Top Venues

Mob. Networks Appl.

Sci. Comput. Program.

Publications

Wanling Xie, Huibiao Zhu, Xi Wu
A Timed Calculus with Mobility for Wireless Networks. CNIOT (2023)
Panfeng Qiu, Xi Wu, Yongxin Zhao
Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution. HPCC/DSS/SmartCity/DependSys (2022)
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Soufflé Language. APLAS (2021)
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
The Choice Construct in the Souffle Language. CoRR (2021)
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
Explaining bug provenance with trace witnesses. SOAP@PLDI (2020)
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187 (2020)
Xi Wu, Huibiao Zhu, Wanling Xie
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP (2019)
Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE (2019)
Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
Modeling and Verifying Basic Modules of Floodlight. Mob. Networks Appl. 24 (1) (2019)
Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. 24 (1) (2019)
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
Type Capabilities for Object-Oriented Programming Languages. ICFEM (2018)
Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
Formal Modeling and Security Analysis for OpenFlow-Based Networks. ICECCS (2018)
Xi Wu, Huibiao Zhu
Formal analysis of a calculus for WSNs from quality perspective. Sci. Comput. Program. 154 (2018)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30 (3) (2018)
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
Modeling and Verifying HDFS Using Process Algebra. Mob. Networks Appl. 22 (2) (2017)
Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu
A Proof System for mCWQ. COMPSAC (1) (2017)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) (2017)
Ian J. Hayes, Xi Wu, Larissa A. Meinicke
Capabilities for Java: Secure Access to Resources. APLAS (2017)
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
Modeling and Verifying HDFS Using CSP. COMPSAC (2016)
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
Comparative Modeling and Verification of Pthreads and Dthreads. HASE (2016)
Xi Wu, Huibiao Zhu
Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56 (2016)
Xi Wu, Yongxin Zhao, Huibiao Zhu
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. HASE (2016)
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
A Coordination Language for Databases. Log. Methods Comput. Sci. 13 (1) (2016)
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE (2015)
Xi Wu, Hanne Riis Nielson, Huibiao Zhu
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE (2015)
Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo
Formalization and Verification of REST Architecture in Viewpoints. HASE (2015)
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION (2015)
Xi Wu, Huibiao Zhu
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. FTSCS (2015)
Xi Wu, Huibiao Zhu
A Calculus for Wireless Sensor Networks from Quality Perspective. HASE (2015)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
Formalization and Verification of REST on HTTP Using CSP. Electron. Notes Theor. Comput. Sci. 309 (2014)
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
Reasoning about Group-Based Mobility in MANETs. PRDC (2014)
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE (2014)
Xiaofeng Wu, Huibiao Zhu, Xi Wu
Observation-Oriented Semantics for Calculus of Wireless Systems. UTP (2014)
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
Modeling and verifying the Ariadne protocol using process algebra. Comput. Sci. Inf. Syst. 10 (1) (2013)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking the Semantics of BPEL Using Maude. APSEC (1) (2013)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS (2013)
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen
Modeling and Verifying the Ariadne Protocol Using CSP. ECBS (2012)
Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
Formal Modeling and Analysis of the REST Architecture Using CSP. WS-FM (2012)