BibTeX records: Jiaqi Yin

download as .bib file

@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   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {29},
  number    = {11{\&}12},
  pages     = {1741--1760},
  year      = {2019},
  url       = {https://doi.org/10.1142/S0218194019400199},
  doi       = {10.1142/S0218194019400199},
  timestamp = {Tue, 18 Feb 2020 00:00:00 +0100},
  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, 14 Aug 2019 08:44:10 +0200},
  biburl    = {https://dblp.org/rec/conf/seke/YinZFXW19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ShengZYYL19,
  author    = {Feng Sheng and
               Huibiao Zhu and
               Zongyuan Yang and
               Jiaqi Yin and
               Gang Lu},
  editor    = {Angelo Perkusich},
  title     = {Verifying Static Aspects of {UML} models using Prolog {(S)}},
  booktitle = {The 31st International Conference on Software Engineering and Knowledge
               Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12,
               2019},
  pages     = {259--342},
  publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year      = {2019},
  url       = {https://doi.org/10.18293/SEKE2019-175},
  doi       = {10.18293/SEKE2019-175},
  timestamp = {Wed, 14 Aug 2019 08:44:10 +0200},
  biburl    = {https://dblp.org/rec/conf/seke/ShengZYYL19.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, 14 Aug 2019 08:44:10 +0200},
  biburl    = {https://dblp.org/rec/conf/seke/SunZFXLY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/FangZY19,
  author    = {Yucheng Fang and
               Huibiao Zhu and
               Jiaqi Yin},
  editor    = {Dominique M{\'{e}}ry and
               Shengchao Qin},
  title     = {Verifying Opacity of a Modified {PSTM}},
  booktitle = {2019 International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2019, Guilin, China, July 29-31, 2019},
  pages     = {232--239},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/TASE.2019.00008},
  doi       = {10.1109/TASE.2019.00008},
  timestamp = {Mon, 09 Dec 2019 18:38:09 +0100},
  biburl    = {https://dblp.org/rec/conf/tase/FangZY19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcta/HuangDGCYD17,
  author    = {S. Huang and
               Quanzhen Duan and
               Tian Guo and
               Yaping Cheng and
               Jiaqi Yin and
               Yuemin Ding},
  title     = {A 300-mA load {CMOS} low-dropout regulator without an external capacitor
               for SoC and embedded applications},
  journal   = {I. J. Circuit Theory and Applications},
  volume    = {45},
  number    = {12},
  pages     = {2281--2289},
  year      = {2017},
  url       = {https://doi.org/10.1002/cta.2356},
  doi       = {10.1002/cta.2356},
  timestamp = {Thu, 01 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ijcta/HuangDGCYD17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics