Follow
Khanh-Hoang Doan
Khanh-Hoang Doan
Hanoi University of Mining and Geology
Verified email at informatik.uni-bremen.de - Homepage
Title
Cited by
Cited by
Year
Achieving model quality through model validation, verification and exploration
M Gogolla, F Hilken, KH Doan
Computer Languages, Systems & Structures 54, 474-511, 2018
582018
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
162016
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
82019
Extending a UML and OCL tool for meta-modeling: Applications towards model quality assessment
KH Doan, M Gogolla
Modellierung 2018, 135-150, 2018
82018
Quality improvement of conceptual uml and ocl schemata through model validation and verification
M Gogolla, KH Doan
Conceptual Modeling Perspectives, 155-168, 2017
72017
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
62024
Assessing uml model quality by utilizing metrics
KH Doan, M Gogolla
2018 11th International Conference on the Quality of Information and …, 2018
62018
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
62017
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
42024
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
42016
Class-prototype conditional diffusion model for continual learning with generative replay
K Doan, Q Tran, T Nguyen, DQ Phung, T Le
CoRR, 2023
32023
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
32019
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
22018
Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool.
M Gogolla, KH Doan
SetVR@ Diagrams, 76-83, 2018
22018
Logical reasoning with object diagrams in a UML and OCL tool
KH Doan, M Gogolla
Diagrammatic Representation and Inference: 10th International Conference …, 2018
22018
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
12022
Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment.
KH Doan, M Gogolla
MoDELS (Satellite Events), 251, 2017
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20