A Type System for the Safe Instantiation of Components. - Marc Bezem; Hoang Truong 001 (FOCLASA, 2003)

Guaranteeing Resource Bounds for Component Software. - Hoang Truong 001 (FMOODS, 2005)

Finding Resource Bounds in the Presence of Explicit Deallocation. - Hoang Truong 001; Marc Bezem (ICTAC, 2005)

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. - Tuan-Hung Pham; Anh-Hoang Truong; Ninh-Thuan Truong; Wei-Ngan Chin (SEFM, 2008)

Checking Interface Interaction Protocols Using Aspect-Oriented Programming. - Anh-Hoang Truong; Thanh-Binh Trinh; Dang Van Hung; Viet Ha Nguyen 001; Nguyen Thi Thu Trang; Pham Dinh Hung (SEFM, 2008)

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. - Tuan-Hung Pham; Anh-Hoang Truong; Wei-Ngan Chin; Takenobu Aoshima (TTSS, 2009)

On Scenario Synchronization. - Duc-Hanh Dang; Anh-Hoang Truong; Martin Gogolla (ATVA, 2010)

Checking the Conformance between Models Based on Scenario Synchronization. - Duc-Hanh Dang; Anh-Hoang Truong; Martin Gogolla (J. Univers. Comput. Sci., 2010)

FixBag: A Fixpoint Calculator for Quantified Bag Constraints. - Tuan-Hung Pham; Minh-Thai Trinh; Anh-Hoang Truong; Wei-Ngan Chin (CAV, 2011)

Real-Time Relational Interface Behavior Modeling and Specification. - Trinh-Dong Nguyen; Dang Van Hung; Anh-Hoang Truong (KSE, 2011)

A type system for finding upper resource bounds of multi-threaded programs with nested transactions. - Xuan-Tung Vu; Thi Mai Thuong Tran; Anh-Hoang Truong; Martin Steffen (SoICT, 2012)

A type system for counting instances of software components. - Marc Bezem; Dag Hovland; Hoang Truong 001 (Theor. Comput. Sci., 2012)

Modeling and Specification of Real-Time Interfaces with UTP. - Dang Van Hung; Hoang Truong 001 (Theories of Programming and Formal Methods, 2013)

Finding Round-Off Error Using Symbolic Execution. - Anh-Hoang Truong; Huy-Vu Tran; Bao-Ngoc Nguyen (KSE (1), 2013)

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. - Thi Mai Thuong Tran; Martin Steffen; Hoang Truong 001 (SEFM, 2013)

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. - Anh-Hoang Truong; Dang Van Hung; Duc-Hanh Dang; Xuan-Tung Vu (ICDCIT, 2016)

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. - Anh-Hoang Truong; Ngoc-Khai Nguyen; Dang Van Hung; Duc-Hanh Dang (ICTAC, 2016)

On Model Finding with Constraint Patterns. - Duc-Hanh Dang; Anh-Hoang Truong; Dang Van Hung (SoMeT, 2016)

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. - Ngoc-Khai Nguyen; Anh-Hoang Truong (SoICT, 2017)

USLTG: Test Case Automatic Generation by Transforming Use Cases. - Chu Thi Minh Hue; Duc-Hanh Dang; Nguyen Ngoc Binh; Anh-Hoang Truong (Int. J. Softw. Eng. Knowl. Eng., 2019)

Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs. - Ngoc-Khai Nguyen; Anh-Hoang Truong; Duc-Hanh Dang (Int. J. Softw. Eng. Knowl. Eng., 2022)