We stand with Ukraine  

Bo Liu

Orcid: 0000-0002-9026-2543

Affiliations:
  • Southwest University, College of Computer and Information Science, RISE - Centre for Research and Innovation in Software Engineering, Chongqing, China
  • Chongqing University, China (PhD 2012)


According to our database1, Bo Liu authored at least 10 papers between 2018 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Multi-dimensional Abstraction and Decomposition for Separation of Concerns.
[BibTeX]
[DOI]
Zhiming Liu
,
Jiadong Teng
,
Bo Liu
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.
[BibTeX]
[DOI]
Zhiming Liu
,
Jiadong Teng
,
Bo Liu
Proceedings of the Formal Aspects of Component Software - 19th International Conference, 2023

2022
A survey on security in consensus and smart contracts.
[BibTeX]
[DOI]
Xuelian Cao
,
Jianhui Zhang
,
Xuechen Wu
,
Bo Liu
Peer-to-Peer Netw. Appl., 2022

2021
A clock-based dynamic logic for schedulability analysis of CCSL specifications.
[BibTeX]
[DOI]
Yuanrui Zhang
,
Frédéric Mallet
,
Huibiao Zhu
,
Yixiang Chen
,
Bo Liu
,
Zhiming Liu
Sci. Comput. Program., 2021

2020
A survey of model-driven techniques and tools for cyber-physical systems.
[BibTeX]
[DOI]
Bo Liu
,
Yuan-rui Zhang
,
Xuelian Cao
,
Yu Liu
,
Bin Gu
,
Tie-xin Wang
Frontiers Inf. Technol. Electron. Eng., 2020

Modulus Calculations on Prime Number Algorithm for Information Hiding With High Comprehensive Performance.
[BibTeX]
[DOI]
Yu Zhang
,
Sha Wang
,
Teng Li
,
Bo Liu
,
Dong-Bo Pan
IEEE Access, 2020

Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics.
[BibTeX]
[DOI]
Yukun Zhang
,
Bo Liu
,
Liyun Dai
,
Kang Chen
,
Xuelian Cao
Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

2019
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
[BibTeX]
[DOI]
Zhiming Liu
,
Jonathan P. Bowen
,
Bo Liu
,
Shmuel S. Tyszberowicz
,
Tingting Zhang
Proceedings of the Engineering Trustworthy Software Systems - 5th International School, 2019

2018
Parameter Synthesis Problems for Parametric Timed Automata.
[BibTeX]
[DOI]
Liyun Dai
,
Bo Liu
,
Zhiming Liu
,
Taolue Chen
CoRR, 2018

Identifying Microservices Using Functional Decomposition.
[BibTeX]
[DOI]
Shmuel S. Tyszberowicz
,
Robert Heinrich
,
Bo Liu
,
Zhiming Liu
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018


  Loading...