| Exploiting attributed type graphs to generate metamodel instances using an SMT solver H Wu, R Monahan, JF Power 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 29 | 2013 |
| Metamodel instance generation: A systematic literature review H Wu, R Monahan, JF Power arXiv preprint arXiv:1211.6322, 2012 | 13 | 2012 |
| MaxUSE: A Tool for Finding Achievable Constraints and Conflicts for Inconsistent UML Class Diagrams H Wu 13th International Conference on integrated Formal Methods, 2017 | 11 | 2017 |
| Generating Metamodel Instances Satisfying Coverage Criteria via SMT Solving H Wu The 4th International Conference on Model-Driven Engineering and Software …, 2016 | 11 | 2016 |
| Finding Achievable Features and Constraint Conflicts for Inconsistent Metamodels H Wu 13th European Conference on Modelling Foundations and Applications 10376 …, 2017 | 10 | 2017 |
| An SMT-based approach for generating coverage oriented metamodel instances H Wu International Journal of Information System Modeling and Design (IJISMD) 7 …, 2016 | 8 | 2016 |
| Automated Metamodel Instance Generation Satisfying Quantitative Constraints H Wu Maynooth University, 2014 | 4 | 2014 |
| Automated metamodel instance generation satisfying quantitative constraints W Hao National University of Ireland Maynooth, 2013 | 4 | 2013 |
| Test case generation for programming language metamodels H Wu, R Monahan, JF Power Proceedings of the Third International Conference, SLE 2010, 2010 | 2 | 2010 |
| When the Student becomes the Teacher⋆ M Farrell, H Wu | 1 | 2019 |
| Synthesising Call Sequences from OCL Operational Contracts H Wu The 34th ACM/SIGAPP Symposium on Applied Computing, 2019 | 1 | 2019 |
| Applying a MDE approach to a Healthcare Environment: A Case Study of an AE Dept H Gannud, H Wu, J Timoney 2017 28th Irish Signals and Systems Conference (ISSC), 1-7, 2017 | 1 | 2017 |
| A Formal Approach to Finding Metamodel Inconsistencies H Wu, M Farrell Software and System Modeling, 2020 | | 2020 |
| Verifying OCL Operational Contracts via SMT-based Synthesising. H Wu, J Timoney MODELSWARD, 249-259, 2020 | | 2020 |
| 19th International Workshop in OCL and Textual Modeling (OCL 2019) AD Brucker, R Clarisó, H Wu Object Constraint Language and Textual Modeling 2019, 2019 | | 2019 |
| A workflow for healthcare systems via OCL and SMT solving: short paper H Wu, L Hinsberger, J Timoney Proceedings of the International Workshop on Software Engineering in …, 2018 | | 2018 |
| Step 0: An Idea for Automatic OCL Benchmark Generation H Wu 17th International Workshop in OCL and Textual Modeling, 2017 | | 2017 |
| Using ATL in a tool-chain to calculate coverage data for UML class diagrams H Wu, R Monahan, JF Power | | 2010 |
| Characterising the workload of SMT solvers for program verification A Healy, R Monahan, JF Power Automated Reasoning Workshop 2015 Bridging the Gap between Theory and …, 0 | | |
| Principles of Programming Research Group R Monahan, B Pearlmutter, J Power, K Casey, Z Cheng, H Wu, P Gibson, ... | | |
