Login / Signup
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
SRDS
CoRR
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)