Publications
34 is the number of my scientific publications have been published since 2007.
2023
Thi-Hanh Nguyen, Duc-Hanh Dang:
TC4MT: A specification-driven testing framework for model transformations.
Duc-Hanh Dang, Duc Minh Le, Van-Vinh Le:
AGL: Incorporating behavioral aspects into domain-driven design.
Van-Vinh Le, Nghia-Trong Be, Duc-Hanh Dang:
On automatic generation of executable domain models for domain-driven design.
2022
Ngoc-Khai Nguyen, Anh-Hoang Truong, Duc-Hanh Dang:
Finding memory bound of cloned objects in software transactional memory programs.
2021
Duc-Hieu Nguyen, Van-Vinh Le, Thi-Hanh Nguyen, Duc-Hanh Dang:
A method to ensure compliance with attribute and role based access control policy for executing BPMN models.
2020
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
Generative software module development for domain-driven design with annotation-based domain specific language.
Minh-Hue Chu, Duc-Hanh Dang:
Automatic extraction of analysis class diagrams from use cases.
2019
Chu Thi Minh Hue, Duc-Hanh Dang, Nguyen Ngoc Binh, Anh-Hoang Truong:
USLTG: test case automatic generation by transforming use cases.
Thi-Hanh Nguyen, Duc-Hanh Dang, Quang-Trung Nguyen:
On analyzing rule-dependencies to generate test cases for model transformations.
Duc Minh Le, Duc-Hanh Dang, Ha Thanh Vu:
jDomainApp: A module-based domain-driven software framework.
2018
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
On domain driven design using annotation-based domain specific language.
Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, Minh-Duc Le:
USL: A domain-specific language for precise specification of use cases and its transformations.
Chu Thi Minh Hue, Duc-Hanh Dang, Nguyen Ngoc Binh:
A transformation-based method for test case automatic generation from use cases.
Thi-Hanh Nguyen, Duc-Hanh Dang:
An approach for testing model transformations.
2017
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
Generative software module development: A domain-driven design perspective.
Minh-Hue Chu, Duc-Hanh Dang, Ngoc-Binh Nguyen, Minh-Duc Le, Thi-Hanh Nguyen:
USL: towards precise specification of use cases for model-driven development.
2016
Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu:
A type system for counting logs of multi-threaded nested transactional programs.
Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang:
Calculating statically maximum log memory used by multi-threaded transactional programs.
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
Domain-driven design using meta-attributes: A DSL-based approach.
Duc Minh Le, Duc-Hanh Dang, Viet-Ha Nguyen:
Domain-driven design patterns: A metadata-based approach.
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung:
On model finding with constraint patterns.
2014
Duc-Hanh Dang, Jordi Cabot:
On automating inference of OCL constraints from counterexamples and examples.
2013
Duc-Hanh Dang, Jordi Cabot:
Automating inference of OCL business rules from user scenarios.
2012
Duc-Hanh Dang, Martin Gogolla:
An approach for quality assurance of model transformations.
2010
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla:
Checking the conformance between models based on scenario synchronization.
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla:
On scenario synchronization.
2009
Duc-Hanh Dang:
On integrating triple graph grammars and OCL for model-driven development.
Duc-Hanh Dang, Martin Gogolla:
Precise model-driven transformations based on graphs and metamodels.
2008
Tanveer Mustafa, Karsten Sohr, Duc-Hanh Dang, Michael Drouineaud, Stefan Kowski:
Implementing advanced RBAC administration functionality with USE.
Duc-Hanh Dang:
Triple graph grammars and OCL for validating system behavior.
Duc-Hanh Dang, Martin Gogolla:
On integrating OCL and triple graph grammars.
2007
Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell:
Transformation of UML models to CSP: A case study for graph transformation tools.
Martin Gogolla, Fabian Büttner, Duc-Hanh Dang:
From graph transformation to OCL using USE.
Duc-Hanh Dang:
Validation of system behavior from an integrated semantics of use case and design models.