default search action
Xi Wu 0005
Person information
- affiliation: University of Queensland, School of Information Technology and Electrical Engineering, Brisbane, QLD, Australia
- affiliation: East China Normal University, Shanghai Key Laboratory of Trustworthy Computing, China
Other persons with the same name
- Xi Wu — disambiguation page
- Xi Wu 0001 — Google Inc, Mountain View, CA, USA (and 2 more)
- Xi Wu 0002 — North China University of Technology, College of Science, China
- Xi Wu 0003
— Hefei University of Technology, China
- Xi Wu 0004
- Xi Wu 0006
- Xi Wu 0007 — University of Southern Mississippi, School of Computing, Hattiesburg, MS, USA
- Xi Wu 0008
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c29]Philipp Görz
SBFT Tool Competition 2024 - Fuzzing Track. SBFT@ICSE 2024: 25-28 - 2023
- [c28]Wanling Xie
A Timed Calculus with Mobility for Wireless Networks. CNIOT 2023: 653-657 - 2022
- [c27]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: 1675-1681 - 2021
- [c26]Xiaowen Hu
The Choice Construct in the Soufflé Language. APLAS 2021: 163-181 - [i1]Xiaowen Hu, Joshua Karp, David Zhao, Abdul Zreika, Xi Wu, Bernhard Scholz:
The Choice Construct in the Souffle Language. CoRR abs/2108.11212 (2021) - 2020
- [j10]Shuangqing Xiang
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. Sci. Comput. Program. 187: 102343 (2020) - [c25]Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis:
Explaining bug provenance with trace witnesses. SOAP@PLDI 2020: 14-19
2010 – 2019
- 2019
- [j9]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): 100-114 (2019) - [j8]Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh
Formal Verification of mCWQ Using Extended Hoare Logic. Mob. Networks Appl. 24(1): 134-144 (2019) - [c24]Chao Xu, Xi Wu, Huibiao Zhu, Miroslav Popovic
Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP. TASE 2019: 240-247 - [c23]Xi Wu, Huibiao Zhu, Wanling Xie:
UTP Semantics of a Calculus for Mobile Ad Hoc Networks. UTP 2019: 198-216 - 2018
- [j7]Xi Wu, Huibiao Zhu:
Formal analysis of a calculus for WSNs from quality perspective. Sci. Comput. Program. 154: 134-153 (2018) - [j6]Yuan Fei
Comparative modelling and verification of Pthreads and Dthreads. J. Softw. Evol. Process. 30(3) (2018) - [c22]Yongxin Zhao, Xi Wu, Jing Liu, Yilong Yang
Formal Modeling and Security Analysis for OpenFlow-Based Networks. ICECCS 2018: 201-204 - [c21]Xi Wu
Type Capabilities for Object-Oriented Programming Languages. ICFEM 2018: 215-230 - 2017
- [j5]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): 318-331 (2017) - [c20]Ian J. Hayes, Xi Wu, Larissa A. Meinicke
Capabilities for Java: Secure Access to Resources. APLAS 2017: 67-84 - [c19]Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu:
A Proof System for mCWQ. COMPSAC (1) 2017: 45-50 - [c18]Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu:
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) 2017: 499-504 - 2016
- [j4]Ximeng Li, Xi Wu, Alberto Lluch-Lafuente
A Coordination Language for Databases. Log. Methods Comput. Sci. 13(1) (2016) - [j3]Xi Wu, Huibiao Zhu:
Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56: 153-168 (2016) - [c17]Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo:
Modeling and Verifying HDFS Using CSP. COMPSAC 2016: 221-226 - [c16]Yuan Fei, Huibiao Zhu, Xi Wu, Huixing Fang
Comparative Modeling and Verification of Pthreads and Dthreads. HASE 2016: 132-140 - [c15]Xi Wu, Yongxin Zhao, Huibiao Zhu:
Integrating a Calculus with Mobility and Quality for Wireless Sensor Networks. HASE 2016: 220-227 - 2015
- [c14]Xi Wu, Ximeng Li, Alberto Lluch-Lafuente
Klaim-DB: A Modeling Language for Distributed Database Applications. COORDINATION 2015: 197-212 - [c13]Xi Wu, Huibiao Zhu:
Probabilistic Analysis of a Calculus for Wireless Sensor Networks. FTSCS 2015: 155-171 - [c12]Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo:
Formalization and Verification of REST Architecture in Viewpoints. HASE 2015: 197-206 - [c11]Xi Wu, Huibiao Zhu:
A Calculus for Wireless Sensor Networks from Quality Perspective. HASE 2015: 223-231 - [c10]Xi Wu, Hanne Riis Nielson
A SAT-Based Analysis of a Calculus for Wireless Sensor Networks. TASE 2015: 23-30 - [c9]Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao:
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE 2015: 71-78 - 2014
- [j2]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. 97-D(9): 2356-2370 (2014) - [c8]Xi Wu, Si Liu
Reasoning about Group-Based Mobility in MANETs. PRDC 2014: 244-253 - [c7]Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu:
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE 2014: 90-97 - [c6]Xiaofeng Wu, Huibiao Zhu, Xi Wu:
Observation-Oriented Semantics for Calculus of Wireless Systems. UTP 2014: 105-124 - 2013
- [j1]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): 393-421 (2013) - [c5]Peng Liu, Huibiao Zhu, Shengchao Qin
Linking the Semantics of BPEL Using Maude. APSEC (1) 2013: 422-431 - [c4]Peng Liu, Huibiao Zhu, Shengchao Qin
Linking Algebraic Semantics and Operational Semantics for Web Services Using Maude. ICECCS 2013: 260-263 - [c3]Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin:
Formalization and Verification of REST on HTTP Using CSP. TTSS 2013: 75-93 - 2012
- [c2]Xi Wu, Si Liu
Modeling and Verifying the Ariadne Protocol Using CSP. ECBS 2012: 24-32 - [c1]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: 87-102
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-13 23:50 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: