We stand with Ukraine  

Bo Shen

Affiliations:
  • Northwestern Polytechnical University, School of Computer Science and Engineering, China


According to our database1, Bo Shen authored at least 10 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Sl4u: a scenario description language for unmanned swarm.
[BibTeX]
[DOI]
Yue Zhao
,
Yuan Yao
,
Tong He
,
Xingshe Zhou
,
Bo Shen
J. Supercomput., March, 2024

2023
Safety Verification Technology of CPS Based on Theorem Proving.
[BibTeX]
[DOI]
Mingfu Tuo
,
Xiaoqiang Zhao
,
Wenliang Wu
,
Bo Shen
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022
Comprehensive evaluation of the intelligence levels for unmanned swarms based on the collective OODA loop and group extension cloud model.
[BibTeX]
[DOI]
Wenliang Wu
,
Xingshe Zhou
,
Bo Shen
Connect. Sci., 2022

Modeling and Real-Time Verification for CPS based on Time Automata.
[BibTeX]
[DOI]
Mingfu Tuo
,
Xiaoqiang Zhao
,
Bo Shen
,
Wenliang Wu
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

2018
Deadline-aware rate allocation for IoT services in data center network.
[BibTeX]
[DOI]
Bo Shen
,
Naveen K. Chilamkurti
,
Ru Wang
,
Xingshe Zhou
,
Shiwei Wang
,
Wen Ji
J. Parallel Distributed Comput., 2018

2017
A delay-aware schedule method for distributed information fusion with elastic and inelastic traffic.
[BibTeX]
[DOI]
Bo Shen
,
Seungmin Rho
,
Xingshe Zhou
,
Ru Wang
Inf. Fusion, 2017

2016
Mixed scheduling with heterogeneous delay constraints in cyber-physical systems.
[BibTeX]
[DOI]
Bo Shen
,
Xingshe Zhou
,
Mucheol Kim
Future Gener. Comput. Syst., 2016

2014
Delay-guaranteed scheduling strategy in cyber-physical systems: a game-theoretic approach.
[BibTeX]
[DOI]
Bo Shen
,
Xingshe Zhou
,
Ru Wang
Proceedings of the 2014 5th International Conference on Game Theory for Networks, 2014

BER Analysis for Controller Area Network Impaired by the Impulse Noise in Cyber-Physical Systems.
[BibTeX]
[DOI]
Bo Shen
,
Xingshe Zhou
,
Ru Wang
Proceedings of the 14th IEEE International Conference on Computer and Information Technology, 2014

2013
Modeling Effects of Physical Factors on Controller Area Network in Cyber-physical Systems.
[BibTeX]
[DOI]
Bo Shen
,
Xingshe Zhou
,
Ru Wang
Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013


  Loading...