Interaction analysis of annotated specification and program codes in Extended Static Checking. - Truong-Thang Nguyen; Manh-Dong Tran (RIVF, 2015)

Fine-Grained Elasticity for Big Data Stream Processing of IoT Applications. - Linh Manh Pham; Manh-Dong Tran (RIVF, 2023)