Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lili Xiao
@article{DBLP:journals/comsis/XuYZX23,
author = {Junya Xu and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao},
title = {Formalization and verification of Kafka messaging mechanism using
{CSP}},
journal = {Comput. Sci. Inf. Syst.},
volume = {20},
number = {1},
pages = {277--306},
year = {2023},
url = {https://doi.org/10.2298/csis210707057x},
doi = {10.2298/CSIS210707057X},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comsis/XuYZX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/NiuXXXHL23,
author = {Tong Niu and
Yicong Xu and
Shengping Xiao and
Lili Xiao and
Yanhong Huang and
Jianwen Li},
editor = {Shi{-}Kuo Chang},
title = {LTLf Satisfiability Checking via Formula Progression {(S)}},
booktitle = {The 35th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July
1-10, 2023},
pages = {357--362},
publisher = {{KSI} Research Inc.},
year = {2023},
url = {https://doi.org/10.18293/SEKE2023-143},
doi = {10.18293/SEKE2023-143},
timestamp = {Wed, 06 Sep 2023 16:44:18 +0200},
biburl = {https://dblp.org/rec/conf/seke/NiuXXXHL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/XiaoZ22,
author = {Lili Xiao and
Huibiao Zhu},
title = {{UTP} semantics for the {MCA} ARMv8 architecture},
journal = {J. Syst. Archit.},
volume = {125},
pages = {102438},
year = {2022},
url = {https://doi.org/10.1016/j.sysarc.2022.102438},
doi = {10.1016/J.SYSARC.2022.102438},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/XiaoZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/XiaoZXV22,
author = {Lili Xiao and
Huibiao Zhu and
Qiwen Xu and
Phan Cong Vinh},
title = {Modeling and Verifying {PSO} Memory Model Using {CSP}},
journal = {Mob. Networks Appl.},
volume = {27},
number = {5},
pages = {2068--2083},
year = {2022},
url = {https://doi.org/10.1007/s11036-022-01989-5},
doi = {10.1007/S11036-022-01989-5},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/monet/XiaoZXV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/ChenZYFXZ22,
author = {Ningning Chen and
Huibiao Zhu and
Jiaqi Yin and
Yuan Fei and
Lili Xiao and
Minghua Zhu},
title = {Modeling and verifying NDN-based IoV using {CSP}},
journal = {J. Softw. Evol. Process.},
volume = {34},
number = {10},
year = {2022},
url = {https://doi.org/10.1002/smr.2371},
doi = {10.1002/SMR.2371},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/smr/ChenZYFXZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/XiaoZHQ22,
author = {Lili Xiao and
Huibiao Zhu and
Mengda He and
Shengchao Qin},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {Algebraic Semantics for {C++11} Memory Model},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {1--6},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00240},
doi = {10.1109/COMPSAC54236.2022.00240},
timestamp = {Thu, 11 Aug 2022 16:32:00 +0200},
biburl = {https://dblp.org/rec/conf/compsac/XiaoZHQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiYZXP22,
author = {Peimu Li and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao and
Miroslav Popovic},
editor = {Hong Va Leong and
Sahra Sedigh Sarvestani and
Yuuichi Teranishi and
Alfredo Cuzzocrea and
Hiroki Kashiwazaki and
Dave Towey and
Ji{-}Jiang Yang and
Hossain Shahriar},
title = {Formal Analysis and Verification of {DPSTM} v2 Architecture Using
{CSP}},
booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
{COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
pages = {872--877},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/COMPSAC54236.2022.00138},
doi = {10.1109/COMPSAC54236.2022.00138},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/LiYZXP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/XiaoZXV21,
author = {Lili Xiao and
Huibiao Zhu and
Shuangqing Xiang and
Phan Cong Vinh},
title = {Modeling and verifying {SDN} under Multi-controller architectures
using {CSP}},
journal = {Concurr. Comput. Pract. Exp.},
volume = {33},
number = {2},
year = {2021},
url = {https://doi.org/10.1002/cpe.5334},
doi = {10.1002/CPE.5334},
timestamp = {Sat, 09 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/XiaoZXV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/XuYZX21,
author = {Junya Xu and
Jiaqi Yin and
Huibiao Zhu and
Lili Xiao},
title = {Modeling and Verifying Producer-Consumer Communication in Kafka Using
{CSP}},
booktitle = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
Novi Sad, Serbia},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3459960.3459961},
doi = {10.1145/3459960.3459961},
timestamp = {Tue, 13 Jul 2021 21:02:59 +0200},
biburl = {https://dblp.org/rec/conf/ecbseerc/XuYZX21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icct/XuanM0X21,
author = {Guixin Xuan and
Dawei Ma and
Zhenyu Zhang and
Lili Xiao},
title = {Double-Subset Parallel Transmission for M-ary Spread Spectrum {OFDM}
Communications},
booktitle = {21st International Conference on Communication Technology, {ICCT}
2021, Tianjin, China, October 13-16, 2021},
pages = {212--215},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICCT52962.2021.9657942},
doi = {10.1109/ICCT52962.2021.9657942},
timestamp = {Tue, 11 Jan 2022 10:02:53 +0100},
biburl = {https://dblp.org/rec/conf/icct/XuanM0X21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/XiaoZ21,
author = {Lili Xiao and
Huibiao Zhu},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {Trace Semantics and Algebraic Laws for {MCA} ARMv8 Architecture Based
on {UTP}},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {81--101},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_5},
doi = {10.1007/978-3-030-91265-9\_5},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/XiaoZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/XiangZWXBXZ20,
author = {Shuangqing Xiang and
Huibiao Zhu and
Xi Wu and
Lili Xiao and
Marcello M. Bonsangue and
Wanling Xie and
Lei Zhang},
title = {Modeling and verifying the topology discovery mechanism of OpenFlow
controllers in software-defined networks using process algebra},
journal = {Sci. Comput. Program.},
volume = {187},
pages = {102343},
year = {2020},
url = {https://doi.org/10.1016/j.scico.2019.102343},
doi = {10.1016/J.SCICO.2019.102343},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/XiangZWXBXZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/ChenZFXY20,
author = {Ningning Chen and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Jiaqi Yin},
title = {Modeling and Verifying Data Access Mechanism of {NLSR} Trust Model},
booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore,
December 1-4, 2020},
pages = {198--207},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/APSEC51365.2020.00028},
doi = {10.1109/APSEC51365.2020.00028},
timestamp = {Sat, 20 Mar 2021 14:55:58 +0100},
biburl = {https://dblp.org/rec/conf/apsec/ChenZFXY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuXYFLL20,
author = {Ran Li and
Huibiao Zhu and
Lili Xiao and
Jiaqi Yin and
Yuan Fei and
Gang Lu},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Formalization and Verification of {VANET}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {1--6},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-011},
doi = {10.18293/SEKE2020-011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuYXFC20,
author = {Ningning Chen and
Huibiao Zhu and
Jiaqi Yin and
Lili Xiao and
Yuan Fei},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Modeling and Verifying NDN-based IoV Using {CSP}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {31--36},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-066},
doi = {10.18293/SEKE2020-066},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuYXFC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZhuXYFLX20,
author = {Junya Xu and
Huibiao Zhu and
Lili Xiao and
Jiaqi Yin and
Yuan Fei and
Gang Lu},
editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro},
title = {Formal Modelling and Verification of {MCAC} Router Architecture in
{ICN}},
booktitle = {The 32nd International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July
9-19, 2020},
pages = {222--227},
publisher = {{KSI} Research Inc.},
year = {2020},
url = {https://doi.org/10.18293/SEKE2020-048},
doi = {10.18293/SEKE2020-048},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZhuXYFLX20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/SunZFXLY19,
author = {Dongzhen Sun and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Gang Lu and
Jiaqi Yin},
title = {Formalization and Verification of {TESAC} Using {CSP}},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {29},
number = {11{\&}12},
pages = {1741--1760},
year = {2019},
url = {https://doi.org/10.1142/S0218194019400199},
doi = {10.1142/S0218194019400199},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/SunZFXLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/XiangWZXXV19,
author = {Shuangqing Xiang and
Xi Wu and
Huibiao Zhu and
Wanling Xie and
Lili Xiao and
Phan Cong Vinh},
title = {Modeling and Verifying Basic Modules of Floodlight},
journal = {Mob. Networks Appl.},
volume = {24},
number = {1},
pages = {100--114},
year = {2019},
url = {https://doi.org/10.1007/s11036-018-1141-9},
doi = {10.1007/S11036-018-1141-9},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/monet/XiangWZXXV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/ZhaoZFX19,
author = {Hongyan Zhao and
Huibiao Zhu and
Yucheng Fang and
Lili Xiao},
editor = {Dongjin Yu and
Vu Nguyen and
Congfeng Jiang},
title = {Modeling and Verifying Storm Using {CSP}},
booktitle = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
{HASE} 2019, Hangzhou, China, January 3-5, 2019},
pages = {192--199},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/HASE.2019.00037},
doi = {10.1109/HASE.2019.00037},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/hase/ZhaoZFX19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/SunZFXLY19,
author = {Dongzhen Sun and
Huibiao Zhu and
Yuan Fei and
Lili Xiao and
Gang Lu and
Jiaqi Yin},
editor = {Angelo Perkusich},
title = {Modeling and Verifying {TESAC} Using {CSP}},
booktitle = {The 31st International Conference on Software Engineering and Knowledge
Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
2019},
pages = {265--348},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2019},
url = {https://doi.org/10.18293/SEKE2019-122},
doi = {10.18293/SEKE2019-122},
timestamp = {Wed, 03 Feb 2021 08:31:37 +0100},
biburl = {https://dblp.org/rec/conf/seke/SunZFXLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijseke/WangZXF18,
author = {Huiwen Wang and
Huibiao Zhu and
Lili Xiao and
Yuan Fei},
title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using
{CSP}},
journal = {Int. J. Softw. Eng. Knowl. Eng.},
volume = {28},
number = {11-12},
pages = {1657--1677},
year = {2018},
url = {https://doi.org/10.1142/S0218194018400223},
doi = {10.1142/S0218194018400223},
timestamp = {Wed, 22 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijseke/WangZXF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jvis/PeiWWXJQ18,
author = {Wenqi Pei and
Yadong Wu and
Song Wang and
Lili Xiao and
Hongyu Jiang and
Abdul Qayoom},
title = {BVis: urban traffic visual analysis based on bus sparse trajectories},
journal = {J. Vis.},
volume = {21},
number = {5},
pages = {873--883},
year = {2018},
url = {https://doi.org/10.1007/s12650-018-0489-z},
doi = {10.1007/S12650-018-0489-Z},
timestamp = {Tue, 20 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jvis/PeiWWXJQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bmei/XiaoXW18,
author = {Lili Xiao and
Guixin Xuan and
Yongbin Wu},
editor = {Wei Li and
Qingli Li and
Lipo Wang},
title = {Blind Estimation of Chaotic Spread Spectrum Sequences by Neural Network},
booktitle = {11th International Congress on Image and Signal Processing, BioMedical
Engineering and Informatics, {CISP-BMEI} 2018, Beijing, China, October
13-15, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CISP-BMEI.2018.8633136},
doi = {10.1109/CISP-BMEI.2018.8633136},
timestamp = {Thu, 02 Feb 2023 10:46:28 +0100},
biburl = {https://dblp.org/rec/conf/bmei/XiaoXW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/FangZLXX18,
author = {Yucheng Fang and
Huibiao Zhu and
Gang Lu and
Lili Xiao and
Wanling Xie},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Modeling and Verifying MooseFS in {CSP}},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
pages = {270--275},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.00043},
doi = {10.1109/COMPSAC.2018.00043},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/FangZLXX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WangZXXL18,
author = {Huiwen Wang and
Huibiao Zhu and
Lili Xiao and
Wanling Xie and
Gang Lu},
editor = {Sorel Reisman and
Sheikh Iqbal Ahamed and
Claudio Demartini and
Thomas M. Conte and
Ling Liu and
William R. Claycomb and
Motonori Nakamura and
Edmundo Tovar and
Stelvio Cimato and
Chung{-}Horng Lung and
Hiroki Takakura and
Ji{-}Jiang Yang and
Toyokazu Akiyama and
Zhiyong Zhang and
Kamrul Hasan},
title = {Modeling and Verifying OpenFlow Scheduled Bundle Mechanism Using {CSP}},
booktitle = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
{COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 2},
pages = {376--381},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/COMPSAC.2018.10261},
doi = {10.1109/COMPSAC.2018.10261},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WangZXXL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmssp/XiaoXW18,
author = {Lili Xiao and
Guixin Xuan and
Yongbin Wu},
title = {An Improved Digital Chaotic Encoder},
booktitle = {Proceedings of the 3rd International Conference on Multimedia Systems
and Signal Processing, {ICMSSP} 2018, Shenzhen, China, April 28-30,
2018},
pages = {114--118},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3220162.3220180},
doi = {10.1145/3220162.3220180},
timestamp = {Tue, 26 Sep 2023 10:54:07 +0200},
biburl = {https://dblp.org/rec/conf/icmssp/XiaoXW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/XiaoXZ18,
author = {Lili Xiao and
Shuangqing Xiang and
Huibiao Zhu},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Modeling and verifying {SDN} with multiple controllers},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {419--422},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167381},
doi = {10.1145/3167132.3167381},
timestamp = {Wed, 25 Sep 2019 18:12:13 +0200},
biburl = {https://dblp.org/rec/conf/sac/XiaoXZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/WangZFX18,
author = {Huiwen Wang and
Huibiao Zhu and
Yuan Fei and
Lili Xiao},
editor = {{\'{O}}scar Mort{\'{a}}gua Pereira},
title = {Formalization and Verification of the OpenFlow Bundle Mechanism Using
{CSP}},
booktitle = {The 30th International Conference on Software Engineering and Knowledge
Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
2018},
pages = {169--168},
publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
year = {2018},
url = {https://doi.org/10.18293/SEKE2018-127},
doi = {10.18293/SEKE2018-127},
timestamp = {Wed, 03 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/WangZFX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/XiangZXX18,
author = {Shuangqing Xiang and
Huibiao Zhu and
Lili Xiao and
Wanling Xie},
editor = {Jun Pang and
Chenyi Zhang and
Jifeng He and
Jian Weng},
title = {Modeling and Verifying TopoGuard in OpenFlow-Based Software Defined
Networks},
booktitle = {2018 International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2018, Guangzhou, China, August 29-31, 2018},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/TASE.2018.00019},
doi = {10.1109/TASE.2018.00019},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tase/XiangZXX18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wocc/XuanHXZZ16,
author = {Guixin Xuan and
Shibiao He and
Lili Xiao and
Zhenyu Zhang and
Fanxin Zeng},
title = {Construction of shift-based sequence sets for M-ary spread spectrum
{OFDM} communications},
booktitle = {25th Wireless and Optical Communication Conference, {WOCC} 2016, Chengdu,
China, May 21-23, 2016},
pages = {1--5},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/WOCC.2016.7506573},
doi = {10.1109/WOCC.2016.7506573},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/wocc/XuanHXZZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcam/LiXY13,
author = {Haibo Li and
Lili Xiao and
Jun Ye},
title = {Strong predictor-corrector Euler-Maruyama methods for stochastic differential
equations with Markovian switching},
journal = {J. Comput. Appl. Math.},
volume = {237},
number = {1},
pages = {5--17},
year = {2013},
url = {https://doi.org/10.1016/j.cam.2012.07.001},
doi = {10.1016/J.CAM.2012.07.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcam/LiXY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-06 23:52 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
