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)

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. - Ninh-Thuan Truong; Thanh-Binh Trinh; Viet Ha Nguyen 001 (SEFM, 2009)

Refining Undetermined Events for Specifying Concurrent Programs. - Thanh-Binh Trinh; Ninh-Thuan Truong; Viet Ha Nguyen 001 (KSE, 2011)

A tool support for checking consistency in model refactoring. - Thi-Huong Dao; Thanh-Binh Trinh; Ninh-Thuan Truong (KSE, 2017)