Wanling Xie

24 papers B 2C 2Misc 2Journal 8Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Impact of Multinational Venture Capital on the Startups' Performance: Insights From Europe.
IEEE Trans. Engineering Management
Yang Liu, Yufei Qiu, Fangjing Bu, Wanling Xie, Lining Han
2023 — conf
A Timed Calculus with Mobility for Wireless Networks.
CNIOT
Wanling Xie, Huibiao Zhu, Xi Wu
2021 J jnl
A process calculus BigrTiMo of mobile systems and its formal semantics.
Formal Aspects Comput.
Wanling Xie, Huibiao Zhu, Qiwen Xu
2020 Misc conf
An Axiomatic Approach to BigrTiMo.
TASE
Wanling Xie, Huibiao Zhu, Shengchao Qin
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
2020 J jnl
The Structured Smooth Adjustment for Square-root Regularization: Theory, algorithm and applications.
Knowl. Based Syst.
Wanling Xie, Hu Yang
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 — conf
UTP Semantics of a Calculus for Mobile Ad Hoc Networks.
UTP
Xi Wu, Huibiao Zhu, Wanling Xie
2018 J jnl
A UTP approach for rTiMo.
Formal Aspects Comput.
Wanling Xie, Shuangqing Xiang, Huibiao Zhu
2018 — conf
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.
COMPSAC (1)
Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang
2018 — conf
Modeling and Verifying MooseFS in CSP.
COMPSAC (1)
Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie
2018 — conf
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP.
COMPSAC (2)
Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu
2018 Misc conf
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.
TASE
Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie
2018 C conf
UTP Semantics for BigrTiMo.
ICFEM
Wanling Xie, Huibiao Zhu, Shengchao Qin
2017 — conf
A Proof System for MDESL.
FedCSIS (Communication Papers)
Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei
2017 — conf
A Proof System for mCWQ.
COMPSAC (1)
Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu
2017 — conf
Assertion-Based Reasoning Method for Calculus of Wireless System.
Models, Algorithms, Logics and Tools
Luyao Wang, Wanling Xie, Huibiao Zhu
2017 B conf
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.
ICECCS
Wanling Xie, Huibiao Zhu, Qiwen Xu
2017 — conf
Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra.
COMPSAC (1)
Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie
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
2017 C conf
Modeling and Verifying Identity Authentication Security of HDFS Using CSP.
APSEC
Chao Xu, Huibiao Zhu, Wanling Xie
2016 B conf
Modeling and Verifying HDFS Using CSP.
COMPSAC
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
2016 — conf
UTP Semantics for rTiMo.
UTP
Wanling Xie, Shuangqing Xiang