BibTeX records: Yucheng Fang

download as .bib file

@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/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, 27 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hase/YinZFF19.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}
}

@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/compsac/XieZZLF18,
  author       = {Wanling Xie and
                  Huibiao Zhu and
                  Min Zhang and
                  Gang Lu and
                  Yucheng Fang},
  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        = {Formalization and Verification of Mobile Systems Calculus Using the
                  Rewriting Engine Maude},
  booktitle    = {2018 {IEEE} 42nd Annual Computer Software and Applications Conference,
                  {COMPSAC} 2018, Tokyo, Japan, 23-27 July 2018, Volume 1},
  pages        = {213--218},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/COMPSAC.2018.00034},
  doi          = {10.1109/COMPSAC.2018.00034},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/XieZZLF18.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/seke/FangZW18,
  author       = {Yucheng Fang and
                  Huibiao Zhu and
                  Huiwen Wang},
  editor       = {{\'{O}}scar Mort{\'{a}}gua Pereira},
  title        = {Modeling and Verifying Leader Election Algorithm in {CSP} {(S)}},
  booktitle    = {The 30th International Conference on Software Engineering and Knowledge
                  Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3,
                  2018},
  pages        = {342--341},
  publisher    = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School},
  year         = {2018},
  url          = {https://doi.org/10.18293/SEKE2018-067},
  doi          = {10.18293/SEKE2018-067},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/FangZW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/adma/ZhangHF10,
  author       = {Yuhong Zhang and
                  Xuegang Hu and
                  Yucheng Fang},
  editor       = {Longbing Cao and
                  Jiang Zhong and
                  Yong Feng},
  title        = {Logistic Regression for Transductive Transfer Learning from Multiple
                  Sources},
  booktitle    = {Advanced Data Mining and Applications - 6th International Conference,
                  {ADMA} 2010, Chongqing, China, November 19-21, 2010, Proceedings,
                  Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6441},
  pages        = {175--182},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-17313-4\_18},
  doi          = {10.1007/978-3-642-17313-4\_18},
  timestamp    = {Fri, 05 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adma/ZhangHF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.