Xiaosong Gu

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 6

Top Topics

Service Systems

Pspace Complete

Temporal Properties

Automated Verification

Top Venues

Adv. Eng. Informatics

Int. J. Softw. Informatics

Publications

Zilin Wang, Lizhen Cui, Wei Guo, Lei Zhao, Xin Yuan, Xiaosong Gu, Weizhong Tang, Lingguo Bu, Weiming Huang
A design method for an intelligent manufacturing and service system for rehabilitation assistive devices and special groups. Adv. Eng. Informatics 51 (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction. CoRR (2022)
Xiaosong Gu, Wei Cao, Yicong Zhu, Xuan Song, Yu Huang, Xiaoxing Ma
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction. SRDS (2022)
Guo Jia, Guiyi Zhang, Xin Yuan, Xiaosong Gu, Heshan Liu, Zhijun Fan, Lingguo Bu
A synthetical development approach for rehabilitation assistive smart product-service systems: A case study. Adv. Eng. Informatics 48 (2021)
Xiaosong Gu, Hengfeng Wei, Lei Qiao, Yu Huang
Raft with Out-of-Order Executions. Int. J. Softw. Informatics 11 (4) (2021)
Mengya Wang, Long Chen, Zhongpeng Wang, Lei Zhang, Xiaosong Gu, Dong Ming
Cortical Activations and BCI Performances at Different Speeds of Visual and Proprioceptive Stimulation. EMBC (2019)
Heyun Liu, Wenbin Tang, Xiaohui Ma, Xiaosong Gu
Study on the expert system of overhead lines icing and icing melting. ISKE (2008)