Lili Xiao

According to our database, Lili Xiao authored at least 30 papers between 2013 and 2023.

Collaborative distances:

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

2023

Formalization and verification of Kafka messaging mechanism using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Comput. Sci. Inf. Syst., 2023

LTLf Satisfiability Checking via Formula Progression (S).

Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

2022

Modeling and verifying NDN-based IoV using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu

J. Softw. Evol. Process., 2022

Modeling and Verifying PSO Memory Model Using CSP.

Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh

Mob. Networks Appl., 2022

UTP semantics for the MCA ARMv8 architecture.

Lili Xiao, Huibiao Zhu

J. Syst. Archit., 2022

Algebraic Semantics for C++11 Memory Model.

Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.

Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic

Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022

2021

Modeling and verifying SDN under Multi-controller architectures using CSP.

Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh

Concurr. Comput. Pract. Exp., 2021

Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP.

Lili Xiao, Huibiao Zhu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2021

Double-Subset Parallel Transmission for M-ary Spread Spectrum OFDM Communications.

Guixin Xuan, Dawei Ma, Zhenyu Zhang, Lili Xiao

Proceedings of the 21st International Conference on Communication Technology, 2021

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.

Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao

Proceedings of the ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, 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

Modeling and Verifying NDN-based IoV Using CSP.

Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formal Modelling and Verification of MCAC Router Architecture in ICN.

Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Formalization and Verification of VANET.

Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

Modeling and Verifying Data Access Mechanism of NLSR Trust Model.

Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

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

Formalization and Verification of TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Int. J. Softw. Eng. Knowl. Eng., 2019

Modeling and Verifying TESAC Using CSP.

Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin

Proceedings of the 31st International Conference on Software Engineering and Knowledge Engineering, 2019

Modeling and Verifying Storm Using CSP.

Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

BVis: urban traffic visual analysis based on bus sparse trajectories.

Wenqi Pei, Yadong Wu, Song Wang, Lili Xiao, Hongyu Jiang, Abdul Qayoom

J. Vis., 2018

Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei

Int. J. Softw. Eng. Knowl. Eng., 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

Modeling and verifying SDN with multiple controllers.

Lili Xiao, Shuangqing Xiang, Huibiao Zhu

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

An Improved Digital Chaotic Encoder.

Lili Xiao, Guixin Xuan, Yongbin Wu

Proceedings of the 3rd International Conference on Multimedia Systems and Signal Processing, 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

Blind Estimation of Chaotic Spread Spectrum Sequences by Neural Network.

Lili Xiao, Guixin Xuan, Yongbin Wu

Proceedings of the 11th International Congress on Image and Signal Processing, 2018

2016

Construction of shift-based sequence sets for M-ary spread spectrum OFDM communications.

Guixin Xuan, Shibiao He, Lili Xiao, Zhenyu Zhang, Fanxin Zeng

Proceedings of the 25th Wireless and Optical Communication Conference, 2016

2013

Strong predictor-corrector Euler-Maruyama methods for stochastic differential equations with Markovian switching.

Haibo Li, Lili Xiao, Jun Ye

J. Comput. Appl. Math., 2013