| Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 33 | 2018 |
| A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. M Balaban, P Bennett, KH Doan, G Georg, M Gogolla, I Khitron, M Kifer OCL@ MoDELS, 57-72, 2016 | 8 | 2016 |
| Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment KH Doan, M Gogolla Modellierung 2018, 2018 | 5 | 2018 |
| Assessing UML Model Quality by Utilizing Metrics KH Doan, M Gogolla 2018 11th International Conference on the Quality of Information and …, 2018 | 4 | 2018 |
| Checking UML and OCL model behavior with filmstripping and classifying terms M Gogolla, F Hilken, KH Doan, N Desai International Conference on Tests and Proofs, 119-128, 2017 | 4 | 2017 |
| Quality improvement of conceptual UML and OCL schemata through model validation and verification M Gogolla, KH Doan Conceptual Modeling Perspectives, 155-168, 2017 | 3 | 2017 |
| Towards a developer-oriented process for verifying behavioral properties in UML and OCL models KH Doan, M Gogolla, F Hilken Federation of International Conferences on Software Technologies …, 2016 | 3 | 2016 |
| Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition KH Doan, M Gogolla 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 2 | 2019 |
| Logical reasoning with object diagrams in a UML and OCL tool KH Doan, M Gogolla International Conference on Theory and Application of Diagrams, 774-778, 2018 | 2 | 2018 |
| Developing User and Recording Interfaces for Design Time and Runtime Models. M Gogolla, N Desai, KH Doan STAF (Co-Located Events), 39-48, 2019 | 1 | 2019 |
| Sketching a Model-Based Technique for Integrated Design and Run Time Description A Kästner, M Gogolla, KH Doan, N Desai Federation of International Conferences on Software Technologies …, 2018 | 1 | 2018 |
| Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. M Gogolla, KH Doan SetVR@ Diagrams, 76-83, 2018 | 1 | 2018 |
| Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. KH Doan, M Gogolla MODELS (Satellite Events), 251, 2017 | 1 | 2017 |
| Achieving UML and OCL Model Quality by Utilizing Metamodeling KH Doan Universität Bremen, 2020 | | 2020 |
| Logic mờ ứng dụng trong hệ thông tin địa lý ĐK Hoàng Trường Đại học Bách Khoa Hà Nội, 2012 | | 2012 |
| Gomes, Cláudio 784 Goseva-Popstojanova, Katerina 514 Goulão, Miguel 403 Govindarajan, Ram Prasath 44 J Gray, A Di Sandro, KH Doan, DJ Dobbs, B Doherty, F Durán, S Dutre, ... | | |
