Xiaosong Gu

According to our database, Xiaosong Gu authored at least 7 papers between 2008 and 2022.

Collaborative distances:

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

2022

Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction.

Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma

CoRR, 2022

A design method for an intelligent manufacturing and service system for rehabilitation assistive devices and special groups.

Zilin Wang, Lizhen Cui, Wei Guo, Lei Zhao, Xin Yuan, Xiaosong Gu, Weizhong Tang, Lingguo Bu, Weiming Huang

Adv. Eng. Informatics, 2022

Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction.

Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma

Proceedings of the 41st International Symposium on Reliable Distributed Systems, 2022

2021

Raft with Out-of-Order Executions.

Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang

Int. J. Softw. Informatics, 2021

A synthetical development approach for rehabilitation assistive smart product-service systems: A case study.

Guo Jia, Guiyi Zhang, Xin Yuan, Xiaosong Gu, Heshan Liu, Zhijun Fan, Lingguo Bu

Adv. Eng. Informatics, 2021

2019

Cortical Activations and BCI Performances at Different Speeds of Visual and Proprioceptive Stimulation.

Mengya Wang, Long Chen, Zhongpeng Wang, Lei Zhang, Xiaosong Gu, Dong Ming

Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019

2008

Study on the expert system of overhead lines icing and icing melting.

Heyun Liu, Wenbin Tang, Xiaohui Ma, Xiaosong Gu

Proceedings of the 3rd International Conference on Intelligent System and Knowledge Engineering, 2008