Extensible Graphical Editors for Palladio. - Misha Strittmatter; Michael Junker; Kiana Rostami; Sebastian Lehrig; Amine Kechaou; Bo Liu 033; Robert Heinrich (Softwaretechnik-Trends, 2016)

Identifying Microservices Using Functional Decomposition. - Shmuel S. Tyszberowicz; Robert Heinrich; Bo Liu 033; Zhiming Liu 001 (SETTA, 2018)

Parameter Synthesis Problems for Parametric Timed Automata. - Liyun Dai; Bo Liu 033; Zhiming Liu 001; Taolue Chen 001 (CoRR, 2018)

Software Abstractions and Human-Cyber-Physical Systems Architecture Modelling. - Zhiming Liu 001; Jonathan P. Bowen; Bo Liu 033; Shmuel S. Tyszberowicz; Tingting Zhang (SETSS, 2019)

Automated Microservice Identification in Legacy Systems with Functional and Non-Functional Metrics. - Yukun Zhang; Bo Liu 033; Liyun Dai; Kang Chen; Xuelian Cao (ICSA, 2020)

Modulus Calculations on Prime Number Algorithm for Information Hiding With High Comprehensive Performance. - Yu Zhang 085; Sha Wang; Teng Li; Bo Liu 033; Dong-Bo Pan (IEEE Access, 2020)

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

A clock-based dynamic logic for schedulability analysis of CCSL specifications. - Yuanrui Zhang; Frédéric Mallet; Huibiao Zhu; Yixiang Chen 001; Bo Liu 033; Zhiming Liu 001 (Sci. Comput. Program., 2021)

Log2MS: a framework for automated refactoring monolith into microservices using execution logs. - Bo Liu 033; Jingliu Xiong; Qiurong Ren; Shmuel S. Tyszberowicz; Zheng Yang (ICWS, 2022)

iTrustEval: A framework for software trustworthiness evaluation with an intelligent AHP-based method. - Yu Liu; Shmuel S. Tyszberowicz; Zhiming Liu 001; Bo Liu 033 (SMC, 2022)

A survey on security in consensus and smart contracts. - Xuelian Cao; Jianhui Zhang; Xuechen Wu; Bo Liu 033 (Peer-to-Peer Netw. Appl., 2022)

Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories. - Zhiming Liu 001; Jiadong Teng; Bo Liu 033 (FACS, 2023)

Multi-dimensional Abstraction and Decomposition for Separation of Concerns. - Zhiming Liu 001; Jiadong Teng; Bo Liu 033 (SETTA, 2023)

Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices. - Geng Chen; Chenlin Li; Shmuel S. Tyszberowicz; Zhiming Liu 001; Bo Liu 033 (Internetware, 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 002; Bo Liu 033 (Internetware, 2024)

A Language-guided Acceleration Method for Smoke Testing of Game Quests. - Jie Hu; Mingyue Zhang 002; Bo Liu 033; Yuechen Wu; Yingfeng Chen (ISSRE (Workshops), 2024)

The rCOS framework for multi-dimensional separation of concerns in model-driven engineering. - Bo Liu 033; Shmuel S. Tyszberowicz; Zhiming Liu 001 (J. Syst. Archit., 2024)