Hao Wu

19 papers B 3C 4Misc 2Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — conf
Verifying OCL pre/post condition using Cyclone.
STAF Workshops
YueLou Ding, Hao Wu
2024 C conf
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper.
TAP
Hao Wu, Thomas Flinkow, Dominique Méry
2024 — conf
Verifying UML Models Annotated with OCL Strings.
MoDELS (Companion)
Ankit Jha, Rosemary Monahan, Hao Wu
2023 J jnl
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants.
Sci. Comput. Program.
Hao Wu
2023 C conf
Verifying Event-B Hybrid Models Using Cyclone.
ABZ
Hao Wu, Zheng Cheng
2022 J jnl
A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.
J. Object Technol.
Hao Wu
2022 B conf
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.
FASE
Hao Wu
2021 J jnl
A formal approach to finding inconsistencies in a metamodel.
Softw. Syst. Model.
Hao Wu, Marie Farrell
2020 C conf
Verifying OCL Operational Contracts via SMT-based Synthesising.
MODELSWARD
Hao Wu, Joseph Timoney
2019 Misc conf
Synthesising call sequences from OCL operational contracts.
SAC
Hao Wu
2019 — conf
When the Student Becomes the Teacher.
FMFun
Marie Farrell, Hao Wu
2018 — conf
A Workflow for Healthcare Systems via OCL and SMT Solving.
SEHS@ICSE
Hao Wu, Laure Hinsberger, Joseph Timoney
2017 B conf
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels.
ECMFA
Hao Wu
2017 B conf
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams.
IFM
Hao Wu
2017 — conf
Step 0: An Idea for Automatic OCL Benchmark Generation.
STAF Workshops
Hao Wu
2016 J jnl
An SMT-based Approach for Generating Coverage Oriented Metamodel Instances.
Int. J. Inf. Syst. Model. Des.
Hao Wu
2016 C conf
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving.
MODELSWARD
Hao Wu
2013 Misc conf
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver.
TASE
Hao Wu, Rosemary Monahan, James F. Power
2012 J jnl
Metamodel Instance Generation: A systematic literature review
CoRR
Hao Wu, Rosemary Monahan, James F. Power