Lili Xiao

39 papers B 3C 8Misc 3Journal 15Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+.
J. Circuits Syst. Comput.
Lili Xiao, Zhiru Hou, Huibiao Zhu, Mengda He, Shengchao Qin
2024 — conf
A Cost-Effective Data Placement Strategy Based on Battle Royale Optimization in Multi-cloud Edge Environments.
ICA3PP (2)
Sen Zhang, Lili Xiao, Xin Luo, Zhaohui Zhang, Pengwei Wang
2024 C conf
Formal Foundations for Efficient Simulation of MOM Systems: The Refinement Calculus for Object-Oriented Event-Graphs.
ICTAC
Sini Chen, Huibiao Zhu, Ran Li, Lili Xiao, Jiapeng Wang, Ning Ge, Xinbin Cao
2024 J jnl
Formalization and Analysis of Aeolus-based File System from Process Algebra Perspective.
Mob. Networks Appl.
Zhiru Hou, Lili Xiao, Huibiao Zhu, Phan Cong Vinh
2024 — ch.
Modelling and Verifying Programs Under the Total Store Order Memory Model in an Algebraic Semantics Style.
The Practice of Formal Methods (II)
Lili Xiao, Huibiao Zhu, Jonathan P. Bowen, Sini Chen
2024 J jnl
Trace Semantics for C++11 Memory Model.
Formal Aspects Comput.
Lili Xiao, Huibiao Zhu, Sini Chen, Mengda He, Shengchao Qin
2024 B conf
Trace and Algebraic Semantics for Partial Store Order Memory Model.
COMPSAC
Junfu Luo, Lili Xiao, Huibiao Zhu, Ziqing Su
2023 J jnl
Formalization and verification of Kafka messaging mechanism using CSP.
Comput. Sci. Inf. Syst.
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2023 C conf
LTLf Satisfiability Checking via Formula Progression (S).
SEKE
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
2022 B conf
Algebraic Semantics for C++11 Memory Model.
COMPSAC
Lili Xiao, Huibiao Zhu, Mengda He, Shengchao Qin
2022 B conf
Formal Analysis and Verification of DPSTM v2 Architecture Using CSP.
COMPSAC
Peimu Li, Jiaqi Yin, Huibiao Zhu, Lili Xiao, Miroslav Popovic
2022 J jnl
Modeling and Verifying PSO Memory Model Using CSP.
Mob. Networks Appl.
Lili Xiao, Huibiao Zhu, Qiwen Xu, Phan Cong Vinh
2022 J jnl
Modeling and verifying NDN-based IoV using CSP.
J. Softw. Evol. Process.
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Yuan Fei, Lili Xiao, Minghua Zhu
2022 J jnl
UTP semantics for the MCA ARMv8 architecture.
J. Syst. Archit.
Lili Xiao, Huibiao Zhu
2021 — conf
Double-Subset Parallel Transmission for M-ary Spread Spectrum OFDM Communications.
ICCT
Guixin Xuan, Dawei Ma, Zhenyu Zhang, Lili Xiao
2021 — conf
Modeling and Verifying Producer-Consumer Communication in Kafka Using CSP.
ECBS
Junya Xu, Jiaqi Yin, Huibiao Zhu, Lili Xiao
2021 J jnl
Modeling and verifying SDN under Multi-controller architectures using CSP.
Concurr. Comput. Pract. Exp.
Lili Xiao, Huibiao Zhu, Shuangqing Xiang, Phan Cong Vinh
2021 Misc conf
Trace Semantics and Algebraic Laws for MCA ARMv8 Architecture Based on UTP.
SETTA
Lili Xiao, Huibiao Zhu
2021 J jnl
Trace Semantics and Algebraic Laws for Total Store Order Memory Model.
J. Comput. Sci. Technol.
Lili Xiao, Huibiao Zhu, Qi-Wen Xu
2020 C conf
Formal Modelling and Verification of MCAC Router Architecture in ICN.
SEKE
Junya Xu, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 C conf
Formalization and Verification of VANET.
SEKE
Ran Li, Huibiao Zhu, Lili Xiao, Jiaqi Yin, Yuan Fei, Gang Lu
2020 C conf
Modeling and Verifying Data Access Mechanism of NLSR Trust Model.
APSEC
Ningning Chen, Huibiao Zhu, Yuan Fei, Lili Xiao, Jiaqi Yin
2020 C conf
Modeling and Verifying NDN-based IoV Using CSP.
SEKE
Ningning Chen, Huibiao Zhu, Jiaqi Yin, Lili Xiao, Yuan Fei
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
2019 J jnl
Formalization and Verification of TESAC Using CSP.
Int. J. Softw. Eng. Knowl. Eng.
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
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
Modeling and Verifying Storm Using CSP.
HASE
Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao
2019 C conf
Modeling and Verifying TESAC Using CSP.
SEKE
Dongzhen Sun, Huibiao Zhu, Yuan Fei, Lili Xiao, Gang Lu, Jiaqi Yin
2018 — conf
An Improved Digital Chaotic Encoder.
ICMSSP
Lili Xiao, Guixin Xuan, Yongbin Wu
2018 J jnl
BVis: urban traffic visual analysis based on bus sparse trajectories.
J. Vis.
Wenqi Pei, Yadong Wu, Song Wang, Lili Xiao, Hongyu Jiang, Abdul Qayoom
2018 — conf
Blind Estimation of Chaotic Spread Spectrum Sequences by Neural Network.
CISP-BMEI
Lili Xiao, Guixin Xuan, Yongbin Wu
2018 C conf
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.
SEKE
Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao
2018 J jnl
Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.
Int. J. Softw. Eng. Knowl. Eng.
Huiwen Wang, Huibiao Zhu, Lili Xiao, Yuan Fei
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 Misc conf
Modeling and verifying SDN with multiple controllers.
SAC
Lili Xiao, Shuangqing Xiang, Huibiao Zhu
2016 — conf
Construction of shift-based sequence sets for M-ary spread spectrum OFDM communications.
WOCC
Guixin Xuan, Shibiao He, Lili Xiao, Zhenyu Zhang, Fanxin Zeng
2013 J jnl
Strong predictor-corrector Euler-Maruyama methods for stochastic differential equations with Markovian switching.
J. Comput. Appl. Math.
Haibo Li, Lili Xiao, Jun Ye