APSEC 2025
Tue 2 - Fri 5 December 2025
Macao, China
Toggle navigation
Attending
Venue: Wynn Palace
Registration
Transportation
Accommodation
Traval Grant
Tracks
APSEC 2025
Keynotes
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Organization
APSEC 2025 Committees
Organizing Committee
Steering Committee
Track Committees
Technical Track
Early Research Achievements (ERA)
Software Engineering in Practices (SEIP)
Tutorials
Doctoral Symposium
Student Research Competition
Tool Demonstration
Workshops
Contributors
People Index
Search
Series
Series
APSEC 2025
APSEC 2024
APSEC 2023
APSEC 2022
Sign in
Sign up
APSEC 2025
(
series
) /
Zhiming Liu
APSEC 2025 profile
conf.research.org general profile
FM 2026 profile
ICSE 2019 profile
Internetware 2024 profile
STAF 2023 profile
Not registered as user
Name:
Zhiming Liu
Affiliation:
Southwest University
Contributions
2025
APSEC
Unified Modelling and Consistency Verification of UML Multi-View Models Using Alloy
Automating Requirements Modelling with LLMs: An Iterative Contrastive Optimisation Approach
Show activities from other conferences
Share
Using general profile
x
Fri 24 Oct 19:51