Yucheng Fang

According to our database, Yucheng Fang authored at least 8 papers between 2010 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Verifying Opacity of a Modified PSTM.

Yucheng Fang, Huibiao Zhu, Jiaqi Yin

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Modeling and Verifying Storm Using CSP.

Hongyan Zhao, Huibiao Zhu, Yucheng Fang, Lili Xiao

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

Modeling and Verifying Spark on YARN Using Process Algebra.

Jiaqi Yin, Huibiao Zhu, Yuan Fei, Yucheng Fang

Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019

2018

Modeling and Verifying Leader Election Algorithm in CSP (S).

Yucheng Fang, Huibiao Zhu, Huiwen Wang

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Formalization and Verification of Mobile Systems Calculus Using the Rewriting Engine Maude.

Wanling Xie, Huibiao Zhu, Min Zhang, Gang Lu, Yucheng Fang

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and Verifying MooseFS in CSP.

Yucheng Fang, Huibiao Zhu, Gang Lu, Lili Xiao, Wanling Xie

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Modeling and analysis of the disruptor framework in CSP.

Yucheng Fang, Huibiao Zhu, Frank Zeyda, Yuan Fei

Proceedings of the IEEE 8th Annual Computing and Communication Workshop and Conference, 2018

2010

Logistic Regression for Transductive Transfer Learning from Multiple Sources.

Yuhong Zhang, Xuegang Hu, Yucheng Fang

Proceedings of the Advanced Data Mining and Applications - 6th International Conference, 2010