Modeling and Verifying the Ariadne Protocol Using CSP. - Xi Wu 005; Si Liu 003; Huibiao Zhu; Yongxin Zhao; Lei Chen (ECBS, 2012)

Formal Modeling and Analysis of the REST Architecture Using CSP. - Xi Wu 005; Yue Zhang; Huibiao Zhu; Yongxin Zhao; Zailiang Sun; Peng Liu (WS-FM, 2012)

Linking the Semantics of BPEL Using Maude. - Peng Liu; Huibiao Zhu; Shengchao Qin; Phillip J. Brooke; Xi Wu 005 (APSEC (1), 2013)

Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. - Peng Liu; Huibiao Zhu; Shengchao Qin; Phillip J. Brooke; Xi Wu 005 (ICECCS, 2013)

Modeling and verifying the Ariadne protocol using process algebra. - Xi Wu 005; Huibiao Zhu; Yongxin Zhao; Zheng Wang 005; Si Liu 003 (Comput. Sci. Inf. Syst., 2013)

Formalization and Verification of REST on HTTP Using CSP. - Ting Yuan; Yiting Tang; Xi Wu 005; Yue Zhang; Huibiao Zhu; Jian Guo 005; Weijun Qin (TTSS, 2013)

Reasoning about Group-Based Mobility in MANETs. - Xi Wu 005; Si Liu 003; Huibiao Zhu; Yongxin Zhao (PRDC, 2014)

Modeling and Verifying the TTCAN Protocol Using Timed CSP. - Qinwen Ran; Xi Wu 005; Xin Li 010; Jianqi Shi; Jian Guo 005; Huibiao Zhu (TASE, 2014)

Observation-Oriented Semantics for Calculus of Wireless Systems. - Xiaofeng Wu; Huibiao Zhu; Xi Wu 005 (UTP, 2014)

Investigating System Survivability from a Probabilistic Perspective. - Yongxin Zhao; Yanhong Huang; Qin Li 002; Huibiao Zhu; Jifeng He 001; Jianwen Li; Xi Wu 005 (IEICE Trans. Inf. Syst., 2014)

Klaim-DB: A Modeling Language for Distributed Database Applications. - Xi Wu 005; Ximeng Li 001; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (COORDINATION, 2015)

Probabilistic Analysis of a Calculus for Wireless Sensor Networks. - Xi Wu 005; Huibiao Zhu (FTSCS, 2015)

Formalization and Verification of REST Architecture in Viewpoints. - Yiting Tang; Xi Wu 005; Huibiao Zhu; Jian Guo 005 (HASE, 2015)

A Calculus for Wireless Sensor Networks from Quality Perspective. - Xi Wu 005; Huibiao Zhu (HASE, 2015)

A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. - Xi Wu 005; Hanne Riis Nielson; Huibiao Zhu (TASE, 2015)

Formal Verification of PKMv3 Protocol Using DT-Spin. - Xiaoran Zhu; Yuanmin Xu; Jian Guo 005; Xi Wu 005; Huibiao Zhu; Weikai Miao (TASE, 2015)

Modeling and Verifying HDFS Using CSP. - Wanling Xie; Huibiao Zhu; Xi Wu 005; Shuangqing Xiang; Jian Guo 005 (COMPSAC, 2016)

Comparative Modeling and Verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang (HASE, 2016)

Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. - Xi Wu 005; Yongxin Zhao; Huibiao Zhu (HASE, 2016)

A Coordination Language for Databases. - Ximeng Li 001; Xi Wu 005; Alberto Lluch-Lafuente; Flemming Nielson; Hanne Riis Nielson (Log. Methods Comput. Sci., 2016)

Formalization and analysis of the REST architecture from the process algebra perspective. - Xi Wu 005; Huibiao Zhu (Future Gener. Comput. Syst., 2016)

Capabilities for Java: Secure Access to Resources. - Ian J. Hayes; Xi Wu 005; Larissa A. Meinicke (APLAS, 2017)

A Proof System for mCWQ. - Wanling Xie; Xi Wu 005; Huibiao Zhu; Gang Lu; Ailun Liu (COMPSAC (1), 2017)

Formalization and Verification of the PKMv3 Protocol Using CSP. - Yuanmin Xu; Huibiao Zhu; Xiaoran Zhu; Xi Wu 005; Jian Guo 005; Gang Lu (COMPSAC (1), 2017)

Modeling and Verifying HDFS Using Process Algebra. - Wanling Xie; Huibiao Zhu; Xi Wu 005; Shuangqing Xiang; Jian Guo 005; Phan Cong Vinh (Mob. Networks Appl., 2017)

Formal Modeling and Security Analysis for OpenFlow-Based Networks. - Yongxin Zhao; Xi Wu 005; Jing Liu; Yilong Yang 001 (ICECCS, 2018)

Type Capabilities for Object-Oriented Programming Languages. - Xi Wu 005; Yi Lu 003; Patrick A. Meiring; Ian J. Hayes; Larissa A. Meinicke (ICFEM, 2018)

Formal analysis of a calculus for WSNs from quality perspective. - Xi Wu 005; Huibiao Zhu (Sci. Comput. Program., 2018)

Comparative modelling and verification of Pthreads and Dthreads. - Yuan Fei; Huibiao Zhu; Xi Wu 005; Huixing Fang; Shengchao Qin (J. Softw. Evol. Process., 2018)

Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP. - Xiaohong Chen 007; Xi Wu 005; Mengyao Zhao; Haiying Sun (TASE, 2019)

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. - Chao Xu; Xi Wu 005; Huibiao Zhu; Miroslav Popovic (TASE, 2019)

UTP Semantics of a Calculus for Mobile Ad Hoc Networks. - Xi Wu 005; Huibiao Zhu; Wanling Xie (UTP, 2019)

Modeling and Verifying Basic Modules of Floodlight. - Shuangqing Xiang; Xi Wu 005; Huibiao Zhu; Wanling Xie; Lili Xiao; Phan Cong Vinh (Mob. Networks Appl., 2019)

Formal Verification of mCWQ Using Extended Hoare Logic. - Wanling Xie; Huibiao Zhu; Xi Wu 005; Phan Cong Vinh (Mob. Networks Appl., 2019)

Explaining bug provenance with trace witnesses. - Jixiang Shen; Xi Wu 005; Neville Grech; Bernhard Scholz; Yannis Smaragdakis (SOAP@PLDI, 2020)

A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks. - Jiawei Jiang; Yongxin Zhao; Xi Wu 005; Genwang Gou (SEKE, 2020)

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. - Shuangqing Xiang; Huibiao Zhu; Xi Wu 005; Lili Xiao; Marcello M. Bonsangue; Wanling Xie; Lei Zhang (Sci. Comput. Program., 2020)

The Choice Construct in the Soufflé Language. - Xiaowen Hu; Joshua Karp; David Zhao 001; Abdul Zreika; Xi Wu 005; Bernhard Scholz (APLAS, 2021)

Formal Analysis of TSN Scheduler for Real-Time Communications. - Jin Lv; Yongxin Zhao; Xi Wu 005; Yongjian Li; Qiang Wang 020 (IEEE Trans. Reliab., 2021)

Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution. - Panfeng Qiu; Xi Wu 005; Yongxin Zhao (HPCC/DSS/SmartCity/DependSys, 2022)

Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture. - Weiyu Xu; Xi Wu 005; Yongxin Zhao; Yongjian Li (SEKE, 2022)

Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving. - Xiwei Li; Xi Wu 005; Yongxin Zhao; Yongjian Li (CAiSE, 2023)

A Timed Calculus with Mobility for Wireless Networks. - Wanling Xie; Huibiao Zhu; Xi Wu 005 (CNIOT, 2023)

Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning. - Shuaishuai Feng; Xi Wu 005; Yongxin Zhao; Yongjian Li (SEKE, 2023)

Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S). - Fengyong Peng; Xi Wu 005; Yongxin Zhao; Yongjian Li (SEKE, 2023)

SBFT Tool Competition 2024 - Fuzzing Track. - Philipp Görz; Joschua Schilling; Xi Wu 005; Huaming Chen; Rahul Gopinath (SBFT@ICSE, 2024)

Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S). - Huishan Yang; Xi Wu 005; Fengyong Peng; Yongxin Zhao; Yongjian Li (SEKE, 2024)

Exploring Approaches to Assessing Student Teamwork in Undergraduate Computing Projects. - Alexander Mitchell; Michael James Scott; Bedour Alshaigy; Wendell Bento Geraldes; Rita Garcia; Mirela Gutica; Hieke Keuning; Ellie Lovellette; P. D. Parthasarathy; Seán Russell 001; Sandra Schulz 001; Xi Wu 005 (SIGCSE Virtual (2), 2024)

Assessing Team-Based Capstone Projects: Challenges and Recommendations. - Sara Hooshangi; Asma Shakil; Steve Riddle; Ilknur Aydin; Nayla Nasir; Tejasvi Parupudi; Attiqa Rehman; Michael James Scott; Jan Vahrenhold; Amali Weerasinghe; Xi Wu 005 (ITiCSE (2), 2025)