Hong Anh Le

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