Bo Liu

According to our database, Bo Liu authored at least 17 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

The rCOS framework for multi-dimensional separation of concerns in model-driven engineering.

Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu

J. Syst. Archit., 2024

A Language-guided Acceleration Method for Smoke Testing of Game Quests.

Jie Hu, Mingyue Zhang, Bo Liu, Yuechen Wu, Yingfeng Chen

Proceedings of the 35th IEEE International Symposium on Software Reliability Engineering, 2024

DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL.

Jie Hu, Yaozhong Zhang, Xiujuan Qin, Lvlun Wei, Fangwei Chen, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices.

Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Proceedings of the 15th Asia-Pacific Symposium on Internetware, 2024

2023

Multi-dimensional Abstraction and Decomposition for Separation of Concerns.

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.

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.

Xuelian Cao, Jianhui Zhang, Xuechen Wu, Bo Liu

Peer-to-Peer Netw. Appl., 2022

iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method.

Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Log2MS: a framework for automated refactoring monolith into microservices using execution logs.

Bo Liu, Jingliu Xiong, Qiurong Ren, Shmuel S. Tyszberowicz, Zheng Yang

Proceedings of the IEEE International Conference on Web Services, 2022

2021

A clock-based dynamic logic for schedulability analysis of CCSL specifications.

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.

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.

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.

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.

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.

Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen

CoRR, 2018

Identifying Microservices Using Functional Decomposition.

Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2018

2016

Extensible Graphical Editors for Palladio.

Misha Strittmatter, Michael Junker, Kiana Rostami, Sebastian Lehrig, Amine Kechaou, Bo Liu, Robert Heinrich

Softwaretechnik-Trends, 2016