2022

Wu, Hao (2022) A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants. The Journal of Object Technology, 21 (3). 3:1. ISSN 1660-1769

2021

Wu, Hao and Farrell, Marie (2021) A formal approach to finding inconsistencies in a metamodel. Software and Systems Modeling, 20 (4). pp. 1271-1298. ISSN 1619-1366

2019

Wu, Hao (2019) Synthesising Call Sequences from OCL Operational Contracts. In: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, New York, United States, pp. 1871-1873. ISBN 9781450359337

2018

Wu, Hao, Hinsberger, Laure and Timoney, Joseph (2018) A workflow for healthcare systems via OCL and SMT solving: Short paper. In: SEHS'18, 27 May 2018, Gothenburg, Sweden.

2017

Gannud, Hussein, Wu, Hao and Timoney, Joseph (2017) Applying a MDE approach to a healthcare environment: A case study of an AE dept. In: 2017 28th Irish Signals and Systems Conference (ISSC). Institute of Electrical and Electronic Engineers, Red Hook, NY, USA. ISBN 978-1-5386-1046-6

Wu, Hao (2017) Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In: Modelling Foundations and Applications : Proceedings. Lecture Notes in Computer Science (10376). Springer, Cham, Switzerland, pp. 179-196. ISBN 978-3-319-61481-6

Wu, Hao (2017) MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. In: Integrated Formal Methods : Proceedings. Lecture Notes in Computer Science (10510). Springer, Cham, Switzerland, pp. 348-356. ISBN 978-3-319-66844-4

Wu, Hao (2017) Step 0: An Idea for Automatic OCL Benchmark Generation. In: Software Technologies: Applications and Foundations : Revised Selected Papers. Lecture Notes in Computer Science (10748). Springer, Cham, Switzerland, pp. 356-364. ISBN 978-3-319-74729-3

2013

Wu, Hao (2013) Automated Metamodel Instance Generation Satisfying Quantitative Constraints. PhD thesis, National University of Ireland Maynooth.

Wu, Hao, Monahan, Rosemary and Power, James F. (2013) Exploiting attributed type graphs to generate metamodel instances using an SMT solver. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013. IEEE, pp. 175-182. ISBN 9780768550534

2012

Wu, Hao, Monahan, Rosemary and Power, James F. (2012) Metamodel Instance Generation: A systematic literature review. arXiv.

2010

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Test Case Generation for Programming Language Metamodels. Proceedings of the Third International Conference, SLE 2010. ISSN 978-3-642-19439-9

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. In: 2nd International Workshop on Model Transformation with ATL (MtATL), June 30th 2010, Malaga, Spain . (Unpublished)

Wu, Hao, Monahan, Rosemary and Power, James F. (2010) Using ATL in a tool-chain to calculate coverage data for UML class diagrams. Proceedings of the 2nd International Workshop on Model Transformation with ATL. pp. 60-64. ISSN 1613-0073