Wanling Xie

Changzhou University — China

Computer Science · Physical Sciences

7h-index181citations34works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(10), Distributed systems and fault tolerance(10), Mobile Ad Hoc Networks(7), Energy Efficient Wireless Sensor Networks(6), Service-Oriented Architecture and Web Services(6)

Publications34 total

Formalization and Verification of PaxosStore from Process Algebra Perspective
Electronics·2025Open Access
A Timed Calculus with Mobility for Wireless Networks
2023· 1 cited
Group sparse recovery via group square-root elastic net and the iterative multivariate thresholding-based algorithm
AStA Advances in Statistical Analysis·2022· 3 cited
A process calculus BigrTiMo of mobile systemsand its formal semantics
Formal Aspects of Computing·2021· 6 cited
An Axiomatic Approach to BigrTiMo
2020
The Structured Smooth Adjustment for Square-root Regularization: Theory, algorithm and applications
Knowledge-Based Systems·2020· 4 cited
Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra
Science of Computer Programming·2019· 11 citedOpen Access
Nonnegative hierarchical lasso with a mixed $(1, \frac{1}{2})$-penalty and a fast solver
Statistics and Its Interface·2019· 1 cited
UTP Semantics of a Calculus for Mobile Ad Hoc Networks
Lecture notes in computer science·2019· 1 cited
Modeling and Verifying Basic Modules of Floodlight
Mobile Networks and Applications·2018· 2 cited
Formal Verification of mCWQ Using Extended Hoare Logic
Mobile Networks and Applications·2018· 5 cited
A UTP approach for rTiMo
Formal Aspects of Computing·2018· 8 cited
Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks
2018· 8 cited
Modeling and Verifying MooseFS in CSP
2018· 2 cited
Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP
2018· 3 cited
Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude
2018· 6 cited
UTP Semantics for BigrTiMo
Lecture notes in computer science·2018· 2 cited
Modeling and Verifying Identity Authentication Security of HDFS Using CSP
2017· 6 cited
BigrTiMo-A Process Algebra for Structure-Aware Mobile Systems
2017· 4 cited
A Proof System for MDESL
Annals of Computer Science and Information Systems·2017Open Access
page 1 of 2Next →

Frequent Co-authors

Huibiao Zhu(21), Mukul Goyal(8), Shuangqing Xiang(8), Xi Wu(8), Hossein Hosseini(5), Lili Xiao(5), Gang Lu(5), Y. Bashir(4), K. Vairavan(3), Phan Công Vinh(3), Hu Yang(3), Arjan Durresi(2), Seyed Hossein Hosseini(2), D. Rohm(2), Qiwen Xu(2), Yucheng Fang(2), Shengchao Qin(2), Liu Ai-lun(2), Yuan Fei(2), J. Martocci(1)