Hao Wu

According to our database, Hao Wu authored at least 18 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper.

Hao Wu, Thomas Flinkow, Dominique Méry

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Verifying UML Models Annotated with OCL Strings.

Ankit Jha, Rosemary Monahan, Hao Wu

Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024

2023

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

Hao Wu

Sci. Comput. Program., June, 2023

Verifying Event-B Hybrid Models Using Cyclone.

Hao Wu, Zheng Cheng

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

2022

A Query-based Approach for Verifying UML Class Diagrams with OCL Invariants.

Hao Wu

J. Object Technol., 2022

QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.

Hao Wu

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

A formal approach to finding inconsistencies in a metamodel.

Hao Wu, Marie Farrell

Softw. Syst. Model., 2021

2020

Verifying OCL Operational Contracts via SMT-based Synthesising.

Hao Wu, Joseph Timoney

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019

Synthesising call sequences from OCL operational contracts.

Hao Wu

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

When the Student Becomes the Teacher.

Marie Farrell, Hao Wu

Proceedings of the Formal Methods - Fun for Everybody - First International Workshop, 2019

2018

A Workflow for Healthcare Systems via OCL and SMT Solving.

Hao Wu, Laure Hinsberger, Joseph Timoney

Proceedings of the 2018 IEEE/ACM International Workshop on Software Engineering in Healthcare Systems, 2018

2017

Step 0: An Idea for Automatic OCL Benchmark Generation.

Hao Wu

Proceedings of the Software Technologies: Applications and Foundations, 2017

MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams.

Hao Wu

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels.

Hao Wu

Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017

2016

An SMT-based Approach for Generating Coverage Oriented Metamodel Instances.

Hao Wu

Int. J. Inf. Syst. Model. Des., 2016

Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving.

Hao Wu

Proceedings of the MODELSWARD 2016, 2016

2013

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

Hao Wu, Rosemary Monahan, James F. Power

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

Metamodel Instance Generation: A systematic literature review

Hao Wu, Rosemary Monahan, James F. Power

CoRR, 2012