BibTeX records: Yuan Fei

download as .bib file

@article{DBLP:journals/fac/FeiZY23,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Jiaqi Yin},
  title        = {{FVF-AKA:} {A} Formal Verification Framework of {AKA} Protocols for
                  Multi-server IoT},
  journal      = {Formal Aspects Comput.},
  volume       = {35},
  number       = {4},
  pages        = {21:1--21:36},
  year         = {2023},
  url          = {https://doi.org/10.1145/3599731},
  doi          = {10.1145/3599731},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fac/FeiZY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/FeiZY23,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Jiaqi Yin},
  title        = {Modeling and verifying {NLSR} protocol of {NDN} for {CPS} using {UPPAAL}},
  journal      = {J. Softw. Evol. Process.},
  volume       = {35},
  number       = {7},
  year         = {2023},
  url          = {https://doi.org/10.1002/smr.2384},
  doi          = {10.1002/SMR.2384},
  timestamp    = {Fri, 07 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/smr/FeiZY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/DuFCZ23,
  author       = {Yingjia Du and
                  Yuan Fei and
                  Sini Chen and
                  Huibiao Zhu},
  editor       = {Shi{-}Kuo Chang},
  title        = {Formalization and Verification of Data Auction Mechanism Based on
                  Smart Contract Using {CSP}},
  booktitle    = {The 35th International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July
                  1-10, 2023},
  pages        = {404--409},
  publisher    = {{KSI} Research Inc.},
  year         = {2023},
  url          = {https://doi.org/10.18293/SEKE2023-172},
  doi          = {10.18293/SEKE2023-172},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/seke/DuFCZ23.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}
}
@article{DBLP:journals/monet/YinZF21,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei},
  title        = {Formal analysis and automated validation of privacy-preserving {AICE}
                  protocol in mobile edge computing},
  journal      = {Mob. Networks Appl.},
  volume       = {26},
  number       = {6},
  pages        = {2258--2271},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11036-021-01850-1},
  doi          = {10.1007/S11036-021-01850-1},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/monet/YinZF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/YinZF21,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei},
  title        = {{SC4MEC:} Automated Implementation of {A} Secure Hierarchical Calculus
                  for Mobile Edge Computing},
  booktitle    = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
                  {DATE} 2021, Grenoble, France, February 1-5, 2021},
  pages        = {990--993},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.23919/DATE51398.2021.9474184},
  doi          = {10.23919/DATE51398.2021.9474184},
  timestamp    = {Wed, 21 Jul 2021 10:04:34 +0200},
  biburl       = {https://dblp.org/rec/conf/date/YinZF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/YinZFX21,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei and
                  Qiwen Xu},
  title        = {Formal Modelling and Verification of the {RTPS} Behavior Module},
  booktitle    = {International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2021, Shanghai, China, August 25-27, 2021},
  pages        = {127--134},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/TASE52547.2021.00028},
  doi          = {10.1109/TASE52547.2021.00028},
  timestamp    = {Mon, 11 Oct 2021 17:13:04 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/YinZFX21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/YinZF21,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei},
  title        = {Formal Verification of HPS-based Master-Slave Scheme in {MEC} with
                  Timed Automata},
  booktitle    = {20th {IEEE} International Conference on Trust, Security and Privacy
                  in Computing and Communications, TrustCom 2021, Shenyang, China, October
                  20-22, 2021},
  pages        = {68--75},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/TrustCom53373.2021.00027},
  doi          = {10.1109/TRUSTCOM53373.2021.00027},
  timestamp    = {Sun, 13 Mar 2022 10:52:35 +0100},
  biburl       = {https://dblp.org/rec/conf/trustcom/YinZF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcst/YinZF20,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei},
  title        = {Specification and Verification of the Zab Protocol with {TLA+}},
  journal      = {J. Comput. Sci. Technol.},
  volume       = {35},
  number       = {6},
  pages        = {1312--1323},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11390-020-0538-7},
  doi          = {10.1007/S11390-020-0538-7},
  timestamp    = {Tue, 15 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcst/YinZF20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/monet/FeiZV20,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Phan Cong Vinh},
  title        = {Security Analysis of the Access Control Solution of {NDN} Using {BAN}
                  Logic},
  journal      = {Mob. Networks Appl.},
  volume       = {25},
  number       = {3},
  pages        = {1162--1173},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11036-019-01435-z},
  doi          = {10.1007/S11036-019-01435-Z},
  timestamp    = {Thu, 24 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/monet/FeiZV20.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}
}
@inproceedings{DBLP:conf/hase/YinZFF19,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei and
                  Yucheng Fang},
  editor       = {Dongjin Yu and
                  Vu Nguyen and
                  Congfeng Jiang},
  title        = {Modeling and Verifying Spark on {YARN} Using Process Algebra},
  booktitle    = {19th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2019, Hangzhou, China, January 3-5, 2019},
  pages        = {208--215},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/HASE.2019.00039},
  doi          = {10.1109/HASE.2019.00039},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/hase/YinZFF19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FeiZSY19,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Haiying Sun and
                  Jiaqi Yin},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Shengchao Qin},
  title        = {A Security Calculus for Wireless Networks of Named Data Networking},
  booktitle    = {Formal Methods and Software Engineering - 21st International Conference
                  on Formal Engineering Methods, {ICFEM} 2019, Shenzhen, China, November
                  5-9, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11852},
  pages        = {170--185},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32409-4\_11},
  doi          = {10.1007/978-3-030-32409-4\_11},
  timestamp    = {Mon, 28 Oct 2019 17:04:46 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/FeiZSY19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/YinZFXW19,
  author       = {Jiaqi Yin and
                  Huibiao Zhu and
                  Yuan Fei and
                  Qiwen Xu and
                  Ruobiao Wu},
  editor       = {Angelo Perkusich},
  title        = {Formalization and Verification of {RTPS} StatefulWriter Module Using
                  {CSP}},
  booktitle    = {The 31st International Conference on Software Engineering and Knowledge
                  Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
                  2019},
  pages        = {147--198},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2019},
  url          = {https://doi.org/10.18293/SEKE2019-060},
  doi          = {10.18293/SEKE2019-060},
  timestamp    = {Wed, 03 Feb 2021 08:31:37 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/YinZFXW19.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 00:00:00 +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/smr/FeiZWFQ18,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Xi Wu and
                  Huixing Fang and
                  Shengchao Qin},
  title        = {Comparative modelling and verification of Pthreads and Dthreads},
  journal      = {J. Softw. Evol. Process.},
  volume       = {30},
  number       = {3},
  year         = {2018},
  url          = {https://doi.org/10.1002/smr.1919},
  doi          = {10.1002/SMR.1919},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/smr/FeiZWFQ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccwc/FangZZF18,
  author       = {Yucheng Fang and
                  Huibiao Zhu and
                  Frank Zeyda and
                  Yuan Fei},
  title        = {Modeling and analysis of the disruptor framework in {CSP}},
  booktitle    = {{IEEE} 8th Annual Computing and Communication Workshop and Conference,
                  {CCWC} 2018, Las Vegas, NV, USA, January 8-10, 2018},
  pages        = {803--809},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/CCWC.2018.8301703},
  doi          = {10.1109/CCWC.2018.8301703},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ccwc/FangZZF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FeiZ18,
  author       = {Yuan Fei and
                  Huibiao Zhu},
  editor       = {Jing Sun and
                  Meng Sun},
  title        = {Modeling and Verifying {NDN} Access Control Using {CSP}},
  booktitle    = {Formal Methods and Software Engineering - 20th International Conference
                  on Formal Engineering Methods, {ICFEM} 2018, Gold Coast, QLD, Australia,
                  November 12-16, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11232},
  pages        = {143--159},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02450-5\_9},
  doi          = {10.1007/978-3-030-02450-5\_9},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/FeiZ18.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/seke/FeiZW18,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Huiwen Wang},
  editor       = {{\'{O}}scar Mort{\'{a}}gua Pereira},
  title        = {Security Analysis of the Access Control Solution of {NDN} Using {BAN}
                  Logic {(S)}},
  booktitle    = {The 30th International Conference on Software Engineering and Knowledge
                  Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
                  2018},
  pages        = {659--658},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2018},
  url          = {https://doi.org/10.18293/SEKE2018-124},
  doi          = {10.18293/SEKE2018-124},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FeiZW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FeiZL18,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Xin Li},
  editor       = {Jun Pang and
                  Chenyi Zhang and
                  Jifeng He and
                  Jian Weng},
  title        = {Modeling and Verification of {NLSR} Protocol using {UPPAAL}},
  booktitle    = {2018 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2018, Guangzhou, China, August 29-31, 2018},
  pages        = {108--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/TASE.2018.00022},
  doi          = {10.1109/TASE.2018.00022},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/FeiZL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiuZFXLX17,
  author       = {Ailun Liu and
                  Huibiao Zhu and
                  Yuan Fei and
                  Shuangqing Xiang and
                  Gang Lu 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 Analysis of the Security Protocol in {C-DAX} Based on
                  Process Algebra},
  booktitle    = {41st {IEEE} Annual Computer Software and Applications Conference,
                  {COMPSAC} 2017, Turin, Italy, July 4-8, 2017. Volume 1},
  pages        = {39--44},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/COMPSAC.2017.170},
  doi          = {10.1109/COMPSAC.2017.170},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiuZFXLX17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/LuXZF17,
  author       = {Jianyu Lu and
                  Wanling Xie and
                  Huibiao Zhu and
                  Yuan Fei},
  editor       = {Maria Ganzha and
                  Leszek A. Maciaszek and
                  Marcin Paprzycki},
  title        = {A Proof System for {MDESL}},
  booktitle    = {Communication Papers of the 2017 Federated Conference on Computer
                  Science and Information Systems, FedCSIS 2017, Prague, Czech Republic,
                  September 3-6, 2017},
  series       = {Annals of Computer Science and Information Systems},
  volume       = {13},
  pages        = {387--393},
  year         = {2017},
  url          = {https://doi.org/10.15439/2017F400},
  doi          = {10.15439/2017F400},
  timestamp    = {Mon, 07 Aug 2023 11:27:09 +0200},
  biburl       = {https://dblp.org/rec/conf/fedcsis/LuXZF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/FeiZWF16,
  author       = {Yuan Fei and
                  Huibiao Zhu and
                  Xi Wu and
                  Huixing Fang},
  editor       = {Radu F. Babiceanu and
                  H{\'{e}}l{\`{e}}ne Waeselynck and
                  Raymond A. Paul and
                  Bojan Cukic and
                  Jie Xu},
  title        = {Comparative Modeling and Verification of Pthreads and Dthreads},
  booktitle    = {17th {IEEE} International Symposium on High Assurance Systems Engineering,
                  {HASE} 2016, Orlando, FL, USA, January 7-9, 2016},
  pages        = {132--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/HASE.2016.15},
  doi          = {10.1109/HASE.2016.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/FeiZWF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics