A Comparison of Textual Modeling Languages: OCL, Alloy, FOML. - Mira Balaban; Phillipa Bennett; Khanh-Hoang Doan; Geri Georg; Martin Gogolla; Igal Khitron; Michael Kifer (OCL@MoDELS, 2016)

Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. - Khanh-Hoang Doan; Martin Gogolla; Frank Hilken (STAF Workshops, 2016)

Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification. - Martin Gogolla; Khanh-Hoang Doan (Conceptual Modeling Perspectives, 2017)

Extending a UML and OCL Tool for Multi-levels: Applications Towards Model Quality Assessment. - Khanh-Hoang Doan; Martin Gogolla (MoDELS (Satellite Events), 2017)

Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms. - Martin Gogolla; Frank Hilken; Khanh-Hoang Doan; Nisha Desai 001 (TAP@STAF, 2017)

Logical Reasoning with Object Diagrams in a UML and OCL Tool. - Khanh-Hoang Doan; Martin Gogolla (Diagrams, 2018)

Visualizing and Analyzing Discrete Sets with a UML and OCL Software Design Tool. - Martin Gogolla; Khanh-Hoang Doan (SetVR@Diagrams, 2018)

Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment. - Khanh-Hoang Doan; Martin Gogolla (Modellierung, 2018)

Assessing UML Model Quality by Utilizing Metrics. - Khanh-Hoang Doan; Martin Gogolla (QUATIC, 2018)

Sketching a Model-Based Technique for Integrated Design and Run Time Description - Short Paper - Tool Demonstration. - Andreas Kästner; Martin Gogolla; Khanh-Hoang Doan; Nisha Desai 001 (STAF Workshops, 2018)

Achieving model quality through model validation, verification and exploration. - Martin Gogolla; Frank Hilken; Khanh-Hoang Doan (Comput. Lang. Syst. Struct., 2018)

Quality Improvement for UML and OCL Models Through Bad Smell and Metrics Definition. - Khanh-Hoang Doan; Martin Gogolla (MoDELS (Companion), 2019)

Developing User and Recording Interfaces for Design Time and Runtime Models. - Martin Gogolla; Nisha Desai 001; Khanh-Hoang Doan (STAF (Co-Located Events), 2019)

Achieving UML and OCL Model Quality by Utilizing Metamodeling. - Khanh-Hoang Doan (2020)