Modeling and Verifying WS-CDL Using Event-B. - Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2012)

Modeling and Verifying DML Triggers Using Event-B. - Hong Anh Le; Ninh-Thuan Truong (ACIIDS (2), 2013)

Modeling and Verifying Imprecise Requirements of Systems Using Event-B. - Hong Anh Le; Loan Dinh Thi; Ninh-Thuan Truong (KSE (1), 2013)

A Context-Aware Traffic Engineering Model for Software-Defined Networks. - Phuong T. Nguyen 001; Hong Anh Le; Thomas Zinner (ICTCC, 2014)

Formal Modeling and Verification of Context-Aware Systems using Event-B. - Hong Anh Le; Ninh-Thuan Truong (EAI Endorsed Trans. Context aware Syst. Appl., 2014)

Finding Similar Artists from the Web of Data: A PageRank Based Semantic Similarity Metric. - Phuong T. Nguyen 001; Hong Anh Le (FDSE, 2015)

A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications. - Hong Anh Le; Ninh-Thuan Truong; Aziz Nanthaamornphong (KICSS, 2015)

Verifying eventuality properties of imprecise system requirements using event-B. - Hong Anh Le; Ninh-Thuan Truong; Shin Nakajima 001 (SAC, 2015)

An Approach to Analyzing Execution Preservation in Java Program Refactoring. - Thi-Huong Dao; Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2016)

A New Method to Analyze Graphical User Interfaces of Android Applications. - Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2016)

Generation of Power State Machine for Android Devices. - Anh Tu Bui; Hong Anh Le; Ninh-Thuan Truong (ICCASA/ICTCC, 2017)

A Formal Approach to Checking Consistency in Software Refactoring. - Hong Anh Le; Thi-Huong Dao; Ninh-Thuan Truong (Mob. Networks Appl., 2017)

jFAT: An Automation Framework for Web Application Testing. - Hanh Phuc Nguyen; Hong Anh Le; Ninh-Thuan Truong (ICCASA/ICTCC, 2018)

An Approach to Modeling and Estimating Power Consumption of Mobile Applications. - Hong Anh Le; Anh Tu Bui; Ninh-Thuan Truong (Mob. Networks Appl., 2019)

Trigger2B: A Tool Generating Event-B Models from Database Triggers. - Hong Anh Le (ICCASA/ICTCC, 2020)

Design and Implementation of a Real-Time Web Service for Monitoring Soil Moisture and Landslide in Lai Chau Province, Viet Nam. - Hong Anh Le; Bao Ngoc Dinh; Dung Nguyen (ICCASA/ICTCC, 2020)

A method for integrating GIS and big data platforms. - Hong Anh Le (EAI Endorsed Trans. Context aware Syst. Appl., 2021)

Formal Analysis of Database Trigger Systems Using Event-B. - Hong Anh Le; Van-Khanh To; Ninh-Thuan Truong (Int. J. Softw. Innov., 2021)

Analyzing Energy Leaks of Android Applications Using Event-B. - Hong Anh Le (Mob. Networks Appl., 2021)

Spatial Prediction of Fluvial Flood in High-Frequency Tropical Cyclone Area Using TensorFlow 1D-Convolution Neural Networks and Geospatial Data. - Nguyen Gia Trong; Pham Ngoc Quang; Nguyen Van Cuong; Hong Anh Le; Hoang Long Nguyen 009; Dieu Tien Bui (Remote. Sens., 2023)