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, 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/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 = {Tue, 31 Mar 2020 14:05:19 +0200},
  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 = {Mon, 14 Jan 2019 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 = {Mon, 08 Oct 2018 11:57:06 +0200},
  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 = {Fri, 09 Nov 2018 12:28:28 +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 = {Tue, 14 May 2019 10:00:50 +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