Hao Wu

Papers

[1] Hao Wu and Zheng Cheng. Verifying Event-B Hybrid Models using Cyclone 9th International Conference on Rigorous State Based Methods (ABZ), 2023 (DOI, PDF)

[2] Hao Wu. QMaxUSE: A New Tool for Verifying UML Class Diagrams and OCL Invariants Science of Computer Programming (SCP), 2023 (DOI, PDF)

[3] Hao Wu. A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants 18th European Conference on Modelling Foundations and Applications (ECMFA - STAF), 2022. (in Journal of Object Technology DOI, PDF)

[4] Hao Wu. QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants 25th International Conference on Fundamental Approaches to Software Engineering (FASE - ETAPS), 2022 (DOI, PDF)

[5] Hao Wu and Marie Farrell. A Formal Approach to Finding Inconsistencies in a Metamodel Software and Systems Modeling (SoSyM) , Jan, 2021. (DOI, PDF). This paper is dedicated to my mentor James F. Power

[6] Hao Wu and Joseph Timoney. Verifying OCL Operational Contracts via SMT-based Synthesising 8th International Conference on Model-Driven Engineering and Software Development, 2020 (PDF).

[7] Marie Farrell and Hao Wu. When the Student becomes the Teacher
1st International Workshop on Formal Methods - Fun for Everybody (FMFun@iFM), 2019 (PDF).

[8] Hao Wu. Synthesising Call Sequences from OCL Operational Contracts
34th ACM/SIGAPP Symposium on Applied Computing (SAC), Software Engineering Track, 2019 (DOI,PDF).

[9] Hao Wu, Laure Hinsberger and Joseph Timoney. A Workflow for Healthcare System via OCL and SMT Solving ACM/IEEE 2018 International Workshop on Software Engineering in Healthcare Systems (SEHS - ICSE), 2018 (DOI, PDF).

[10] Hao Wu. MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams 13th International Conference on integrated Formal Methods (iFM), 2017 (DOI, PDF).

[11] Hao Wu. Step 0: An Idea for Automatic OCL Benchmark Generation 17th International Workshop on OCL and Textual Modeling (OCL), 2017 (DOI, PDF).

[12] Hao Wu. Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels 13th European Conference on Modeling Foundations and Application (ECMFA - STAF), 2017 (DOI, PDF).

[13] Hussein Gannud, Hao Wu and Joseph Timoney. Applying a MDE Approach to a Healthcare Environment: a case study of an AE dept. 28th Irish Signals and Systems Conference (ISSC), 2017 (DOI, PDF).

[14] Hao Wu. An SMT-based Approach for Generating Coverage Oriented Metamodel Instances International Journal of Information System Modelling and Design: vol7, issue 3, 2016 (DOI, PDF).

[15] Hao Wu. Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2016 (nominated for best paper) (DOI, PDF).

[16] Hao Wu, Rosemary Monahan and James F. Power. Exploiting Attributed Type Graphs to Generate Metamodel Instances using an SMT Solver 7th International Symposium on Theoretical Aspects of Software Engineering (TASE), 2013 (DOI, PDF).

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

[18] Hao Wu, Rosemary Monahan and James F. Power. Test Case Generation for Programming Language Metamodels 1st Doctoral Symposium of the 3rd International Conference on Software Language Engineering (SLE), 2010 (PDF).

[19] Hao Wu, Rosemary Monahan and James F. Power. Using ATL in a tool chain to calcualte coverage data for UML class diagrams 2nd International Workshop on Model Transformation with ATL, 2010 (PDF).

Thesis

Hao Wu. Automated Metamodel Instance Generation Satisfying Quantitative Constraints, 2014 (PDF).