Strong predictor-corrector Euler-Maruyama methods for stochastic differential equations with Markovian switching. - Haibo Li; Lili Xiao; Jun Ye (J. Comput. Appl. Math., 2013)

Construction of shift-based sequence sets for M-ary spread spectrum OFDM communications. - Guixin Xuan; Shibiao He; Lili Xiao; Zhenyu Zhang 001; Fanxin Zeng (WOCC, 2016)

Blind Estimation of Chaotic Spread Spectrum Sequences by Neural Network. - Lili Xiao; Guixin Xuan; Yongbin Wu (CISP-BMEI, 2018)

Modeling and Verifying MooseFS in CSP. - Yucheng Fang; Huibiao Zhu; Gang Lu; Lili Xiao; Wanling Xie (COMPSAC (1), 2018)

Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using CSP. - Huiwen Wang; Huibiao Zhu; Lili Xiao; Wanling Xie; Gang Lu (COMPSAC (2), 2018)

An Improved Digital Chaotic Encoder. - Lili Xiao; Guixin Xuan; Yongbin Wu (ICMSSP, 2018)

Modeling and verifying SDN with multiple controllers. - Lili Xiao; Shuangqing Xiang; Huibiao Zhu (SAC, 2018)

Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined Networks. - Shuangqing Xiang; Huibiao Zhu; Lili Xiao; Wanling Xie (TASE, 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)

BVis: urban traffic visual analysis based on bus sparse trajectories. - Wenqi Pei; Yadong Wu; Song Wang 010; Lili Xiao; Hongyu Jiang; Abdul Qayoom (J. Vis., 2018)

Modeling and Verifying Storm Using CSP. - Hongyan Zhao; Huibiao Zhu; Yucheng Fang; Lili Xiao (HASE, 2019)

Modeling and Verifying TESAC Using CSP. - Dongzhen Sun; Huibiao Zhu; Yuan Fei; Lili Xiao; Gang Lu; Jiaqi Yin (SEKE, 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 Basic Modules of Floodlight. - Shuangqing Xiang; Xi Wu 005; Huibiao Zhu; Wanling Xie; Lili Xiao; Phan Cong Vinh (Mob. Networks Appl., 2019)

Modeling and Verifying Data Access Mechanism of NLSR Trust Model. - Ningning Chen; Huibiao Zhu; Yuan Fei; Lili Xiao; Jiaqi Yin (APSEC, 2020)

Formalization and Verification of VANET. - Ran Li; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Formal Modelling and Verification of MCAC Router Architecture in ICN. - Junya Xu; Huibiao Zhu; Lili Xiao; Jiaqi Yin; Yuan Fei; Gang Lu (SEKE, 2020)

Modeling and Verifying NDN-based IoV Using CSP. - Ningning Chen; Huibiao Zhu; Jiaqi Yin; Lili Xiao; Yuan Fei (SEKE, 2020)

Modeling and verifying the topology discovery mechanism of OpenFlow controllers in software-defined networks using process algebra. - Shuangqing Xiang; Huibiao Zhu; Xi Wu 005; Lili Xiao; Marcello M. Bonsangue; Wanling Xie; Lei Zhang (Sci. Comput. Program., 2020)

Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (ECBS, 2021)

Double-Subset Parallel Transmission for M-ary Spread Spectrum OFDM Communications. - Guixin Xuan; Dawei Ma; Zhenyu Zhang 001; Lili Xiao (ICCT, 2021)

Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP. - Lili Xiao; Huibiao Zhu (SETTA, 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 Total Store Order Memory Model. - Lili Xiao; Huibiao Zhu; Qi-Wen Xu (J. Comput. Sci. Technol., 2021)

Formal Analysis and Verification of DPSTM v2 Architecture Using CSP. - Peimu Li; Jiaqi Yin; Huibiao Zhu; Lili Xiao; Miroslav Popovic (COMPSAC, 2022)

Algebraic Semantics for C++11 Memory Model. - Lili Xiao; Huibiao Zhu; Mengda He; Shengchao Qin (COMPSAC, 2022)

UTP semantics for the MCA ARMv8 architecture. - Lili Xiao; Huibiao Zhu (J. Syst. Archit., 2022)

Modeling and Verifying PSO Memory Model Using CSP. - Lili Xiao; Huibiao Zhu; Qiwen Xu; Phan Cong Vinh (Mob. Networks Appl., 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)

LTLf Satisfiability Checking via Formula Progression (S). - Tong Niu; Yicong Xu; Shengping Xiao; Lili Xiao; Yanhong Huang; Jianwen Li (SEKE, 2023)

Formalization and verification of Kafka messaging mechanism using CSP. - Junya Xu; Jiaqi Yin; Huibiao Zhu; Lili Xiao (Comput. Sci. Inf. Syst., 2023)

Trace and Algebraic Semantics for Partial Store Order Memory Model. - Junfu Luo; Lili Xiao; Huibiao Zhu; Ziqing Su (COMPSAC, 2024)

A Cost-Effective Data Placement Strategy Based on Battle Royale Optimization in Multi-cloud Edge Environments. - Sen Zhang; Lili Xiao; Xin Luo; Zhaohui Zhang 001; Pengwei Wang 001 (ICA3PP (2), 2024)

Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs. - Sini Chen; Huibiao Zhu; Ran Li; Lili Xiao; Jiapeng Wang; Ning Ge 002; Xinbin Cao (ICTAC, 2024)

Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style. - Lili Xiao; Huibiao Zhu; Jonathan P. Bowen; Sini Chen (The Practice of Formal Methods (II), 2024)

Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective. - Zhiru Hou; Lili Xiao; Huibiao Zhu; Phan Cong Vinh (Mob. Networks Appl., 2024)

Trace Semantics for C++11 Memory Model. - Lili Xiao; Huibiao Zhu; Sini Chen; Mengda He; Shengchao Qin (Formal Aspects Comput., 2024)