Modeling Effects of Physical Factors on Controller Area Network in Cyber-physical Systems. - Bo Shen 006; Xingshe Zhou 001; Ru Wang (GreenCom/iThings/CPScom, 2013)

BER Analysis for Controller Area Network Impaired by the Impulse Noise in Cyber-Physical Systems. - Bo Shen 006; Xingshe Zhou 001; Ru Wang (CIT, 2014)

Delay-guaranteed scheduling strategy in cyber-physical systems: a game-theoretic approach. - Bo Shen 006; Xingshe Zhou 001; Ru Wang (GAMENETS, 2014)

Mixed scheduling with heterogeneous delay constraints in cyber-physical systems. - Bo Shen 006; Xingshe Zhou 001; Mucheol Kim (Future Gener. Comput. Syst., 2016)

A delay-aware schedule method for distributed information fusion with elastic and inelastic traffic. - Bo Shen 006; Seungmin Rho; Xingshe Zhou 001; Ru Wang (Inf. Fusion, 2017)

Deadline-aware rate allocation for IoT services in data center network. - Bo Shen 006; Naveen K. Chilamkurti; Ru Wang; Xingshe Zhou 001; Shiwei Wang; Wen Ji (J. Parallel Distributed Comput., 2018)

Modeling and Real-Time Verification for CPS based on Time Automata. - Mingfu Tuo; Xiaoqiang Zhao; Bo Shen 006; Wenliang Wu (QRS Companion, 2022)

Comprehensive evaluation of the intelligence levels for unmanned swarms based on the collective OODA loop and group extension cloud model. - Wenliang Wu; Xingshe Zhou 001; Bo Shen 006 (Connect. Sci., 2022)

Safety Verification Technology of CPS Based on Theorem Proving. - Mingfu Tuo; Xiaoqiang Zhao; Wenliang Wu; Bo Shen 006 (QRS Companion, 2023)

Sl4u: a scenario description language for unmanned swarm. - Yue Zhao 023; Yuan Yao 004; Tong He; Xingshe Zhou 001; Bo Shen 006 (J. Supercomput., 2024)