Hao Wu, Laure Hinsberger and Joseph Timoney. A Workflow for Healthcare Systems via OCL and SMT Solving. In Proceedings of ACM/IEEE 2018 International Workshop on Software Engineering in Healthcare Systems (SEHS 2018), May 2018 [to appear].
 Hao Wu. MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams. In Proceedings of 13th International Conference on integrated Formal Methods (iFM 2017), September 2017 [PDF] [GIT].
 Hao Wu. Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels. In Proceedings of 13th European Conference on Modelling Foundations and Applications (ECMFA@STAF 2017), July 2017 [PDF] [PREPRINT] [GIT].
 Hussein Gannud, Hao Wu and Joseph Timoney. Applying a MDE Approach to a Healthcare Environment: a case study of an AE dept. In Proceedings of 28th Irish Signals and Systems Conference (ISSC), June 2017 [PDF].
 Hao Wu. Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving. In Proceedings of 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), February 2016. (nominated for best paper) [PDF] [GIT].
 Hao Wu, Rosemary Monahan and James F. Power. Exploiting Attributed Type Graphs to Generate Metamodel Instances using an SMT Solver. In Proceedings of 7th International Symposium On Theoretical Aspects of Software Engineering (TASE), July 2013. [PDF] [GIT].
 Hao Wu, Rosemary Monahan and James F. Power. Metamodel Instance Generation: A systematic literature review. arXiv.org, 2012. [PDF].
 Hao Wu, Rosemary Monahan and James F. Power. Test Case Generation for Programming Language Metamodels. In Proceedings of 1st Doctoral Symposium of the 3rd International Conference on Software Language Engineering (SLE), October 2010. [PDF].
 Hao Wu, Rosemary Monahan and James F. Power. Using ATL in a tool chain to calculate coverage data for UML class diagrams. In Proceedings of 2nd International Workshop on Model Transformation with ATL, October 2010. [PDF].