Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhiming Liu
conf.researchr.org general profile
APSEC 2025 profile
FM 2026 profile
ICSE 2019 profile
ICSE 2026 profile
Internetware 2024 profile
STAF 2023 profile
Not registered as user
Name:
Zhiming Liu
Affiliation:
Southwest University
Contributions
2026
FM
Author of Incremental Synthesis of Safe Controller Guided by Learning-Enabled Barrier Certificates with Efficient LP Verification within the Research Track-track
Committee Member in Program Committee within the Research Track-track
International Conference on Program Comprehension
Author of From Generation to Reasoning: Chain-of-Thought Guided Merge Conflict Resolution within the Research Track-track
2025
APSEC
Author of Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy within the Early Research Achievements (ERA)-track
Author of Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach within the Early Research Achievements (ERA)-track
2024
Internetware
Author of Mono2MS: Deep Fusion of Multi-Source Features for Partitioning Monolith into Microservices within the Research Track-track
2023
HEDA
Committee Member in Program Committee within the HEDA-track
2019
ICSE
Author of RM2PT: A Tool for Automated Prototype Generation from Requirements Model within the Demonstrations-track
Share
x
Thu 22 Oct 22:36