Hong Anh Le

According to our database, Hong Anh Le authored at least 20 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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, Dieu Tien Bui

Remote. Sens., November, 2023

2021

Analyzing Energy Leaks of Android Applications Using Event-B.

Hong Anh Le

Mob. Networks 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

A method for integrating GIS and big data platforms.

Hong Anh Le

EAI Endorsed Trans. Context aware Syst. Appl., 2021

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

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2020

Trigger2B: A Tool Generating Event-B Models from Database Triggers.

Hong Anh Le

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2020

2019

An Approach to Modeling and Estimating Power Consumption of Mobile Applications.

Hong Anh Le, Anh Tu Bui, Ninh-Thuan Truong

Mob. Networks Appl., 2019

2018

jFAT: An Automation Framework for Web Application Testing.

Hanh Phuc Nguyen, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

2017

A Formal Approach to Checking Consistency in Software Refactoring.

Hong Anh Le, Thi-Huong Dao, Ninh-Thuan Truong

Mob. Networks Appl., 2017

Generation of Power State Machine for Android Devices.

Anh Tu Bui, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, 2017

2016

A New Method to Analyze Graphical User Interfaces of Android Applications.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

An Approach to Analyzing Execution Preservation in Java Program Refactoring.

Thi-Huong Dao, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

2015

Verifying eventuality properties of imprecise system requirements using event-B.

Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications.

Hong Anh Le, Ninh-Thuan Truong, Aziz Nanthaamornphong

Proceedings of the Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems, 2015

Finding Similar Artists from the Web of Data: A PageRank Based Semantic Similarity Metric.

Phuong T. Nguyen, Hong Anh Le

Proceedings of the Future Data and Security Engineering - Second International Conference, 2015

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

A Context-Aware Traffic Engineering Model for Software-Defined Networks.

Phuong T. Nguyen, Hong Anh Le, Thomas Zinner

Proceedings of the Nature of Computation and Communication - International Conference, 2014

2013

Modeling and Verifying Imprecise Requirements of Systems Using Event-B.

Hong Anh Le, Loan Dinh Thi, Ninh-Thuan Truong

Proceedings of the Knowledge and Systems Engineering, 2013

Modeling and Verifying DML Triggers Using Event-B.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012

Modeling and Verifying WS-CDL Using Event-B.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012