Achieving model quality through model validation, verification and exploration M Gogolla, F Hilken, KH Doan Computer Languages, Systems & Structures 54, 474-511, 2018 | 58 | 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 | 16 | 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 | 8 | 2019 |
Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment KH Doan, M Gogolla Modellierung 2018, 135-150, 2018 | 8 | 2018 |
Quality improvement of conceptual uml and ocl schemata through model validation and verification M Gogolla, KH Doan Conceptual Modeling Perspectives, 155-168, 2017 | 7 | 2017 |
Removing undesirable concepts in text-to-image generative models with learnable prompts A Bui, K Doan, T Le, P Montague, T Abraham, D Phung arXiv e-prints, arXiv: 2403.12326, 2024 | 6 | 2024 |
Assessing uml model quality by utilizing metrics KH Doan, M Gogolla 2018 11th International Conference on the Quality of Information and …, 2018 | 6 | 2018 |
Checking UML and OCL model behavior with filmstripping and classifying terms M Gogolla, F Hilken, KH Doan, N Desai Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of …, 2017 | 6 | 2017 |
Erasing Undesirable Concepts in Diffusion Models with Adversarial Preservation A Bui, L Vuong, K Doan, T Le, P Montague, T Abraham, D Phung arXiv preprint arXiv:2410.15618, 2024 | 4 | 2024 |
Towards a developer-oriented process for verifying behavioral properties in UML and OCL models KH Doan, M Gogolla, F Hilken Software Technologies: Applications and Foundations: STAF 2016 Collocated …, 2016 | 4 | 2016 |
Class-prototype conditional diffusion model for continual learning with generative replay K Doan, Q Tran, T Nguyen, DQ Phung, T Le CoRR, 2023 | 3 | 2023 |
Developing User and Recording Interfaces for Design Time and Runtime Models. M Gogolla, N Desai, KH Doan, H Bruneliere, R Eramo, A Gomez STAF (Co-Located Events), 39-48, 2019 | 3 | 2019 |
Sketching a Model-Based Technique for Integrated Design and Run Time Description: Short Paper-Tool Demonstration A Kästner, M Gogolla, KH Doan, N Desai Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 2 | 2018 |
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. M Gogolla, KH Doan SetVR@ Diagrams, 76-83, 2018 | 2 | 2018 |
Logical reasoning with object diagrams in a UML and OCL tool KH Doan, M Gogolla Diagrammatic Representation and Inference: 10th International Conference …, 2018 | 2 | 2018 |
Discovery the quality of UML models through an exploration of dataset in practice KH Doan, TL Nguyen, MH Tran International Conference on Intelligence of Things, 184-193, 2022 | 1 | 2022 |
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 |
Connective Viewpoints of Signal-to-Noise Diffusion Models K Doan, LT Vuong, T Nguyen, AT Bui, Q Tran, TT Do, D Phung, T Le arXiv preprint arXiv:2408.04221, 2024 | | 2024 |
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 |