Wanling Xie

According to our database, Wanling Xie authored at least 23 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

A Timed Calculus with Mobility for Wireless Networks.

Wanling Xie, Huibiao Zhu, Xi Wu

Proceedings of the 2023 4th International Conference on Computing, 2023

2021

A process calculus BigrTiMo of mobile systems and its formal semantics.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Formal Aspects Comput., 2021

2020

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra.

Shuangqing Xiang, Huibiao Zhu, Xi Wu, Lili Xiao, Marcello M. Bonsangue, Wanling Xie, Lei Zhang

Sci. Comput. Program., 2020

The Structured Smooth Adjustment for Square-root Regularization: Theory, algorithm and applications.

Wanling Xie, Hu Yang

Knowl. Based Syst., 2020

An Axiomatic Approach to BigrTiMo.

Wanling Xie, Huibiao Zhu, Shengchao Qin

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Formal Verification of mCWQ Using Extended Hoare Logic.

Wanling Xie, Huibiao Zhu, Xi Wu, Phan Cong Vinh

Mob. Networks Appl., 2019

Modeling and Verifying Basic Modules of Floodlight.

Shuangqing Xiang, Xi Wu, Huibiao Zhu, Wanling Xie, Lili Xiao, Phan Cong Vinh

Mob. Networks Appl., 2019

UTP Semantics of a Calculus for Mobile Ad Hoc Networks.

Xi Wu, Huibiao Zhu, Wanling Xie

Proceedings of the Unifying Theories of Programming - 7th International Symposium, 2019

2018

A UTP approach for rTiMo.

Wanling Xie, Shuangqing Xiang, Huibiao Zhu

Formal Aspects Comput., 2018

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks.

Shuangqing Xiang, Huibiao Zhu, Lili Xiao, Wanling Xie

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

UTP Semantics for BigrTiMo.

Wanling Xie, Huibiao Zhu, Shengchao Qin

Proceedings of the Formal Methods and Software Engineering, 2018

Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.

Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Lili Xiao, Wanling Xie, Gang Lu

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and Verifying MooseFS in CSP.

Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh

Mob. Networks Appl., 2017

BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems.

Wanling Xie, Huibiao Zhu, Qiwen Xu

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

A Proof System for MDESL.

Jianyu Lu, Wanling Xie, Huibiao Zhu, Yuan Fei

Proceedings of the Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, 2017

A Proof System for mCWQ.

Wanling Xie, Xi Wu, Huibiao Zhu, Gang Lu, Ailun Liu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Modeling and Analysis of the Security Protocol in C-DAX Based on Process Algebra.

Ailun Liu, Huibiao Zhu, Yuan Fei, Shuangqing Xiang, Gang Lu, Wanling Xie

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

Assertion-Based Reasoning Method for Calculus of Wireless System.

Luyao Wang, Wanling Xie, Huibiao Zhu

Proceedings of the Models, Algorithms, Logics and Tools, 2017

Modeling and Verifying Identity Authentication Security of HDFS Using CSP.

Chao Xu, Huibiao Zhu, Wanling Xie

Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017

2016

UTP Semantics for rTiMo.

Wanling Xie, Shuangqing Xiang

Proceedings of the Unifying Theories of Programming - 6th International Symposium, 2016

Modeling and Verifying HDFS Using CSP.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016