Bo Liu

22 papers A 2B 2C 2Misc 2Journal 8Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
GraphRAG-ASCOC: A lightweight framework for adaptive synonym-aware clustering and ontology completion.
Expert Syst. Appl.
Duyun Wang, Shmuel S. Tyszberowicz, Peilin Han, Zhiming Liu, Mingyue Zhang, Bo Liu
2025 C conf
Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach.
APSEC
Chenxi Lv, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025 B conf
Fair and Efficient Federated Learning Client Selection via Dynamic Contribution Evaluation.
IJCNN
Zhengnan Zhang, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2025 — conf
GraphRAG-KM: An Automated Framework for Transforming Industrial Documents into Ontology and Conceptual Models.
KSEM (2)
Duyun Wang, Peilin Han, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu
2025 C conf
Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy.
APSEC
Yihui Guo, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024 — conf
A Language-guided Acceleration Method for Smoke Testing of Game Quests.
ISSRE (Workshops)
Jie Hu, Mingyue Zhang, Bo Liu, Yuechen Wu, Yingfeng Chen
2024 — conf
DSL-MoLab: supporting model-based development of TDL-specific systems enabled by DSL.
Internetware
Jie Hu, Yaozhong Zhang, Xiujuan Qin, Lvlun Wei, Fangwei Chen, Shmuel S. Tyszberowicz, Mingyue Zhang, Bo Liu
2024 — conf
Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices.
Internetware
Geng Chen, Chenlin Li, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2024 J jnl
The rCOS framework for multi-dimensional separation of concerns in model-driven engineering.
J. Syst. Archit.
Bo Liu, Shmuel S. Tyszberowicz, Zhiming Liu
2023 — conf
Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.
FACS
Zhiming Liu, Jiadong Teng, Bo Liu
2023 Misc conf
Multi-dimensional Abstraction and Decomposition for Separation of Concerns.
SETTA
Zhiming Liu, Jiadong Teng, Bo Liu
2022 J jnl
A survey on security in consensus and smart contracts.
Peer-to-Peer Netw. Appl.
Xuelian Cao, Jianhui Zhang, Xuechen Wu, Bo Liu
2022 A conf
Log2MS: a framework for automated refactoring monolith into microservices using execution logs.
ICWS
Bo Liu, Jingliu Xiong, Qiurong Ren, Shmuel S. Tyszberowicz, Zheng Yang
2022 B conf
iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method.
SMC
Yu Liu, Shmuel S. Tyszberowicz, Zhiming Liu, Bo Liu
2021 J jnl
A clock-based dynamic logic for schedulability analysis of CCSL specifications.
Sci. Comput. Program.
Yuanrui Zhang, Frédéric Mallet, Huibiao Zhu, Yixiang Chen, Bo Liu, Zhiming Liu
2020 J jnl
A survey of model-driven techniques and tools for cyber-physical systems.
Frontiers Inf. Technol. Electron. Eng.
Bo Liu, Yuan-rui Zhang, Xuelian Cao, Yu Liu, Bin Gu, Tie-xin Wang
2020 A conf
Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics.
ICSA
Yukun Zhang, Bo Liu, Liyun Dai, Kang Chen, Xuelian Cao
2020 J jnl
Modulus Calculations on Prime Number Algorithm for Information Hiding With High Comprehensive Performance.
IEEE Access
Yu Zhang, Sha Wang, Teng Li, Bo Liu, Dong-Bo Pan
2019 — conf
Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling.
SETSS
Zhiming Liu, Jonathan P. Bowen, Bo Liu, Shmuel S. Tyszberowicz, Tingting Zhang
2018 Misc conf
Identifying Microservices Using Functional Decomposition.
SETTA
Shmuel S. Tyszberowicz, Robert Heinrich, Bo Liu, Zhiming Liu
2018 J jnl
Parameter Synthesis Problems for Parametric Timed Automata.
CoRR
Liyun Dai, Bo Liu, Zhiming Liu, Taolue Chen
2016 J jnl
Extensible Graphical Editors for Palladio.
Softwaretechnik-Trends
Misha Strittmatter, Michael Junker, Kiana Rostami, Sebastian Lehrig, Amine Kechaou, Bo Liu, Robert Heinrich