Xi Wu

54 papers A 1B 5C 9Misc 5Journal 14Unranked 20
YearRankTypeTitle / Venue / Authors
2026 C conf
Bridging the Feedback Loop: A Digital Tool for Enhancing Communication Between Course Coordinators and Tutors.
ACE
Md. Masbaul Alam Polash, Xi Wu, Caleb The-Tjoean, David Lowe
2026 J jnl
NL2ACSL : Interactively translating natural language to ANSI C specification language with large language models.
Knowl. Based Syst.
Wenxian Su, Xi Wu, Yongxin Zhao
2026 J jnl
Revisiting the Replication Study Design Used in Computing Education Research.
CoRR
Rita Garcia, Ellie Lovellette, Xi Wu, Angela M. Zavaleta Bernuy
2025 — conf
Assessing Team-Based Capstone Projects: Challenges and Recommendations.
ITiCSE (2)
Sara Hooshangi, Asma Shakil, Steve Riddle, Ilknur Aydin, Nayla Nasir, Tejasvi Parupudi, Attiqa Rehman, Michael James Scott, Jan Vahrenhold, Amali Weerasinghe, Xi Wu
2025 — conf
Evaluating Assessment Practices in Team-Based Computing Capstone Projects.
ITiCSE-WGR
Sara Hooshangi, Asma Shakil, Steve Riddle, Ilknur Aydin, Nayla Nasir, Tejasvi Parupudi, Attiqa Rehman, Michael James Scott, Jan Vahrenhold, Amali Weerasinghe, Xi Wu
2024 C conf
Detecting Semantic-level Polysemy Ambiguity by Fusing External Semantic Knowledge (S).
SEKE
Huishan Yang, Xi Wu, Fengyong Peng, Yongxin Zhao, Yongjian Li
2024 — conf
Exploring Approaches to Assessing Student Teamwork in Undergraduate Computing Projects.
SIGCSE Virtual (2)
Alexander Mitchell, Michael James Scott, Bedour Alshaigy, Wendell Bento Geraldes, Rita Garcia, Mirela Gutica, Hieke Keuning, Ellie Lovellette, P. D. Parthasarathy, Seán Russell, Sandra Schulz, Xi Wu
2024 — conf
SBFT Tool Competition 2024 - Fuzzing Track.
SBFT@ICSE
Philipp Görz, Joschua Schilling, Xi Wu, Huaming Chen, Rahul Gopinath
2023 — conf
A Timed Calculus with Mobility for Wireless Networks.
CNIOT
Wanling Xie, Huibiao Zhu, Xi Wu
2023 C conf
Anaphora Ambiguity Detection Method Based on Cross-domain Pronoun Substitution (S).
SEKE
Fengyong Peng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 C conf
Dispatching and Scheduling Dependent Tasks Based on Multi-agent Deep Reinforcement Learning.
SEKE
Shuaishuai Feng, Xi Wu, Yongxin Zhao, Yongjian Li
2023 A conf
Perceptual Risk-Aware Adaptive Responsibility Sensitive Safety for Autonomous Driving.
CAiSE
Xiwei Li, Xi Wu, Yongxin Zhao, Yongjian Li
2022 C conf
Formal Verification and Analysis of Time-Sensitive Software-Defined Network Architecture.
SEKE
Weiyu Xu, Xi Wu, Yongxin Zhao, Yongjian Li
2022 — conf
Generating Natural Language Adversarial Examples Based on the Approximating Top-K Combination Token Substitution.
HPCC/DSS/SmartCity/DependSys
Panfeng Qiu, Xi Wu, Yongxin Zhao
2021 J jnl
Formal Analysis of TSN Scheduler for Real-Time Communications.
IEEE Trans. Reliab.
Jin Lv, Yongxin Zhao, Xi Wu, Yongjian Li, Qiang Wang
2021 J jnl
The Choice Construct in the Souffle Language.
CoRR
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2021 B conf
The Choice Construct in the Soufflé Language.
APLAS
Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz
2020 C conf
A Detect-and-Modify Region-based Classifier to Defend Evasion Attacks.
SEKE
Jiawei Jiang, Yongxin Zhao, Xi Wu, Genwang Gou
2020 — conf
Explaining bug provenance with trace witnesses.
SOAP@PLDI
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis
2020 J jnl
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.
Sci. Comput. Program.
Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang
2019 J jnl
Formal Verification of mCWQ Using Extended Hoare Logic.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
2019 J jnl
Modeling and Verifying Basic Modules of Floodlight.
Mob. Networks Appl.
Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh
2019 Misc conf
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP.
TASE
Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
2019 — conf
UTP Semantics of a Calculus for Mobile Ad Hoc Networks.
UTP
Xi Wu, Huibiao Zhu, Wanling Xie
2019 Misc conf
Verifying the Relationship Among Three Descriptions in Problem Frames Using CSP.
TASE
Xiaohong Chen, Xi Wu, Mengyao Zhao, Haiying Sun
2018 J jnl
Comparative modelling and verification of Pthreads and Dthreads.
J. Softw. Evol. Process.
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang, Shengchao Qin
2018 B conf
Formal Modeling and Security Analysis for OpenFlow-Based Networks.
ICECCS
Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
2018 J jnl
Formal analysis of a calculus for WSNs from quality perspective.
Sci. Comput. Program.
Xi Wu, Huibiao Zhu
2018 C conf
Type Capabilities for Object-Oriented Programming Languages.
ICFEM
Xi Wu, Yi Lu, Patrick A. Meiring, Ian J. Hayes, Larissa A. Meinicke
2017 — conf
A Proof System for mCWQ.
COMPSAC (1)
Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu
2017 B conf
Capabilities for Java: Secure Access to Resources.
APLAS
Ian J. Hayes, Xi Wu, Larissa A. Meinicke
2017 — conf
Formalization and Verification of the PKMv3 Protocol Using CSP.
COMPSAC (1)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
2017 J jnl
Modeling and Verifying HDFS Using Process Algebra.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
2016 J jnl
A Coordination Language for Databases.
Log. Methods Comput. Sci.
Ximeng Li, Xi Wu, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2016 — conf
Comparative Modeling and Verification of Pthreads and Dthreads.
HASE
Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
2016 J jnl
Formalization and analysis of the REST architecture from the process algebra perspective.
Future Gener. Comput. Syst.
Xi Wu, Huibiao Zhu
2016 — conf
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks.
HASE
Xi Wu, Yongxin Zhao, Huibiao Zhu
2016 B conf
Modeling and Verifying HDFS Using CSP.
COMPSAC
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
2015 — conf
A Calculus for Wireless Sensor Networks from Quality Perspective.
HASE
Xi Wu, Huibiao Zhu
2015 Misc conf
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks.
TASE
Xi Wu, Hanne Riis Nielson, Huibiao Zhu
2015 Misc conf
Formal Verification of PKMv3 Protocol Using DT-Spin.
TASE
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
2015 — conf
Formalization and Verification of REST Architecture in Viewpoints.
HASE
Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo
2015 C conf
Klaim-DB: A Modeling Language for Distributed Database Applications.
COORDINATION
Xi Wu, Ximeng Li, Alberto Lluch-Lafuente, Flemming Nielson, Hanne Riis Nielson
2015 — conf
Probabilistic Analysis of a Calculus for Wireless Sensor Networks.
FTSCS
Xi Wu, Huibiao Zhu
2014 J jnl
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst.
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014 Misc conf
Modeling and Verifying the TTCAN Protocol Using Timed CSP.
TASE
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
2014 — conf
Observation-Oriented Semantics for Calculus of Wireless Systems.
UTP
Xiaofeng Wu, Huibiao Zhu, Xi Wu
2014 C conf
Reasoning about Group-Based Mobility in MANETs.
PRDC
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao
2013 — conf
Formalization and Verification of REST on HTTP Using CSP.
TTSS
Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
2013 B conf
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude.
ICECCS
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013 — conf
Linking the Semantics of BPEL Using Maude.
APSEC (1)
Peng Liu, Huibiao Zhu, Shengchao Qin, Phillip J. Brooke, Xi Wu
2013 J jnl
Modeling and verifying the Ariadne protocol using process algebra.
Comput. Sci. Inf. Syst.
Xi Wu, Huibiao Zhu, Yongxin Zhao, Zheng Wang, Si Liu
2012 — conf
Formal Modeling and Analysis of the REST Architecture Using CSP.
WS-FM
Xi Wu, Yue Zhang, Huibiao Zhu, Yongxin Zhao, Zailiang Sun, Peng Liu
2012 — conf
Modeling and Verifying the Ariadne Protocol Using CSP.
ECBS
Xi Wu, Si Liu, Huibiao Zhu, Yongxin Zhao, Lei Chen