Verifying Linear Duration Constraints of Timed Automata. - Pham Hong Thai; Dang Van Hung (ICTAC, 2004)

Towards a Template Language for Component-based Programming. - Dang Van Hung; Pham Hong Thai (Software Engineering Research and Practice, 2007)