Hao Wu

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Healthcare Systems

Top Venues

Publications

Hao Wu
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. Sci. Comput. Program. 228 (2023)
Hao Wu
QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants. FASE (2022)
Hao Wu, Marie Farrell
A formal approach to finding inconsistencies in a metamodel. Softw. Syst. Model. 20 (4) (2021)
Hao Wu, Joseph Timoney
Verifying OCL Operational Contracts via SMT-based Synthesising. MODELSWARD (2020)
Hao Wu
Synthesising call sequences from OCL operational contracts. SAC (2019)
Marie Farrell, Hao Wu
When the Student Becomes the Teacher. FMFun (2019)
Hao Wu, Laure Hinsberger, Joseph Timoney
A Workflow for Healthcare Systems via OCL and SMT Solving. SEHS@ICSE (2018)
Hao Wu
Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. ECMFA (2017)
Hao Wu
MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. IFM (2017)
Hao Wu
Step 0: An Idea for Automatic OCL Benchmark Generation. STAF Workshops (2017)
Hao Wu
Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. MODELSWARD (2016)
Hao Wu
An SMT-based Approach for Generating Coverage Oriented Metamodel Instances. Int. J. Inf. Syst. Model. Des. 7 (3) (2016)
Hao Wu, Rosemary Monahan, James F. Power
Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver. TASE (2013)
Hao Wu, Rosemary Monahan, James F. Power
Metamodel Instance Generation: A systematic literature review CoRR (2012)