Hong Anh Le

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 12

Top Topics

Android Application

Finding Similar

Geospatial Data

Top Venues

Mob. Networks Appl.

EAI Endorsed Trans. Context aware Syst. Appl.

Publications

Nguyen Gia Trong, Pham Ngoc Quang, Nguyen Van Cuong, Hong Anh Le, Hoang Long Nguyen, Dieu Tien Bui
Spatial Prediction of Fluvial Flood in High-Frequency Tropical Cyclone Area Using TensorFlow 1D-Convolution Neural Networks and Geospatial Data. Remote. Sens. 15 (22) (2023)
Hong Anh Le
A method for integrating GIS and big data platforms. EAI Endorsed Trans. Context aware Syst. Appl. 7 (23) (2021)
Hong Anh Le
Analyzing Energy Leaks of Android Applications Using Event-B. Mob. Networks Appl. 26 (3) (2021)
Hong Anh Le, Van-Khanh To, Ninh-Thuan Truong
Formal Analysis of Database Trigger Systems Using Event-B. Int. J. Softw. Innov. 9 (4) (2021)
Hong Anh Le, Bao Ngoc Dinh, Dung Nguyen
Design and Implementation of a Real-Time Web Service for Monitoring Soil Moisture and Landslide in Lai Chau Province, Viet Nam. ICCASA/ICTCC (2020)
Hong Anh Le
Trigger2B: A Tool Generating Event-B Models from Database Triggers. ICCASA/ICTCC (2020)
Hong Anh Le, Anh Tu Bui, Ninh-Thuan Truong
An Approach to Modeling and Estimating Power Consumption of Mobile Applications. Mob. Networks Appl. 24 (1) (2019)
Hanh Phuc Nguyen, Hong Anh Le, Ninh-Thuan Truong
jFAT: An Automation Framework for Web Application Testing. ICCASA/ICTCC (2018)
Hong Anh Le, Thi-Huong Dao, Ninh-Thuan Truong
A Formal Approach to Checking Consistency in Software Refactoring. Mob. Networks Appl. 22 (2) (2017)
Anh Tu Bui, Hong Anh Le, Ninh-Thuan Truong
Generation of Power State Machine for Android Devices. ICCASA/ICTCC (2017)
Thi-Huong Dao, Hong Anh Le, Ninh-Thuan Truong
An Approach to Analyzing Execution Preservation in Java Program Refactoring. ICCASA (2016)
Hong Anh Le, Ninh-Thuan Truong
A New Method to Analyze Graphical User Interfaces of Android Applications. ICCASA (2016)
Phuong T. Nguyen, Hong Anh Le
Finding Similar Artists from the Web of Data: A PageRank Based Semantic Similarity Metric. FDSE (2015)
Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima
Verifying eventuality properties of imprecise system requirements using event-B. SAC (2015)
Hong Anh Le, Ninh-Thuan Truong, Aziz Nanthaamornphong
A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications. KICSS (2015)
Hong Anh Le, Ninh-Thuan Truong
Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Trans. Context aware Syst. Appl. 1 (2) (2014)
Phuong T. Nguyen, Hong Anh Le, Thomas Zinner
A Context-Aware Traffic Engineering Model for Software-Defined Networks. ICTCC (2014)
Hong Anh Le, Ninh-Thuan Truong
Modeling and Verifying DML Triggers Using Event-B. ACIIDS (2) (2013)
Hong Anh Le, Ninh-Thuan Truong
Formal Modeling and Verification of Context-Aware Systems Using Event-B. ICCASA (2013)
Hong Anh Le, Loan Dinh Thi, Ninh-Thuan Truong
Modeling and Verifying Imprecise Requirements of Systems Using Event-B. KSE (1) (2013)
Hong Anh Le, Ninh-Thuan Truong
Modeling and Verifying WS-CDL Using Event-B. ICCASA (2012)