Concepedia

Hao Wu

HW

Statistics

Publications

6

Citations

100

H-Index

6

Active since

2012

Affiliations

National University of Ireland, Maynooth(Current)

Hao Wu is an author at National University of Ireland, Maynooth specializing in computer science, meta-modeling, and computing.

Publications per year

2012–2023

6

Publications

6

Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver

Hao Wu, Rosemary Monahan, James F. Power · 2013 · 24 citations

Computing, Computer Science, Formal Methods +12

QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants

Hao Wu · Science of Computer Programming · 2023 · 23 citations · Full text

Computing, Computer Science, Diagramming +13

Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving

Hao Wu · 2016 · 19 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +16

A formal approach to finding inconsistencies in a metamodel

Hao Wu, Marie Farrell · Software & Systems Modeling · 2021 · 14 citations · Full text

Computing, Computer Science, Design Automation +12

Metamodel Instance Generation: A systematic literature review

Hao Wu, Rosemary Monahan, James F. Power · MURAL - Maynooth University Research Archive Library (National University of Ireland, Maynooth) · 2012 · 10 citations · Full text

Computing, Computer Science, Model-based Systems Engineering +15

1–5 of 6