Lê Hồng Anh
GV.TSLê Hồng Anh
Đảng ủy viên Trường, Thành viên Hội đồng Trường, Ủy viên HĐ KHĐT Trường, Bí thư Đảng ủy Khoa, Chủ tịch Hội đồng Khoa, Trưởng bộ môn, Trưởng khoa
Họ và tên Lê Hồng Anh
Đơn vị Hội đồng Trường, Hội đồng Khoa học và Đào tạo Trường, Đảng bộ, Khoa Công nghệ Thông tin, Đảng ủy Khoa, Hội đồng Khoa, Bộ môn Khoa học máy tính
Chức vụ Đảng ủy viên Trường, Thành viên Hội đồng Trường, Ủy viên HĐ KHĐT Trường, Bí thư Đảng ủy Khoa, Chủ tịch Hội đồng Khoa, Trưởng bộ môn, Trưởng khoa
Giới tính Nam
Email lehonganh@humg.edu.vn
Địa chỉ liên hệ (qua Bưu điện)
BÀI BÁO TẠP CHÍ
Bài báo tạp chí ISI

1. Hong Anh Le, Analyzing energy leaks of Android applications using Event-B, Mobile Networks and Applications, 2021

2. Hong Anh Le, To Van Khanh, Ninh Thuan Truong, Formal Analysis Of Database Trigger Systems Using Event-B, International Journal of Software Innovation (IJSI), 2020

3. Hong Anh Le,Anh Tu Bui, Ninh-Thuan Truong, An Approach to Modeling and Estimating Power Consumption of Mobile Applications, Mobile Networks and Applications, 2018

4. Hong Anh Le Thi-Huong Dao Ninh-Thuan Truong, A Formal Approach to Checking Consistency in Software Refactoring, Mobile Networks and Applications, 2017

5. Hong Anh Le Shin Nakajima Ninh Thuan Truong, Formal analysis of imprecise system requirements with Event-B, SpringerPlus, 2015

6. Dung Nguyen, Hong Anh Le, A big data framework for satellite images processing using Apache Hadoop and RasterFrames: a case study of surface water extraction in Phu Tho, Viet Nam, International Journal of Advanced Computer Science and Applications, 11, 12, 2020

7. XiliangZhang, HoangNguyen, Xuan-NamBui, HongAnh Le,TrungNguyen-Thoi,HosseinMoayedi, VinyasMahesh, Evaluating and Predicting the Stability of Roadways in Tunnelling and Underground Space Using Artificial Neural Network-Based Particle Swarm Optimization, Tunnelling and Underground Space Technology, 2020

Bài báo tạp chí quốc tế khác

1. Hong Anh Le, Thuan Truong, Formal Modeling and Verification of Context-Aware Systems using Event-B, EAI Endorsed Transactions on Context-aware Systems and Applications, e4, 2014

Bài báo tạp chí khoa học trong nước

1. T. T. Chuyen, N.M Dung, L.H. Anh, N.T Xuan, D.N. Long, Phân tích và mô hình hóa dữ liệu cảm biến quán tính của iPhone sử dụng phương sai Allan, Tạp chí Khoa học kỹ thuật Mỏ - Địa chất, 55, 2016

Báo cáo hội nghị khoa học
Bài báo hội nghị quốc tế

1. Hong Anh Le, Trigger2B: A Tool Generating Event-B Models from Database Triggers, EAI ICCASA, , 2020

2. Hong Anh Le, Bao Ngoc Dinh, Mai Dung Nguyen, Design and Implementation of a real-time web service for monitoring soil moisture and landslide in Lai Chau province Viet Nam, ICCASA, , 2020

3. Đinh Bảo Ngọc, Lê Hồng Anh, Nguyễn Thị Mai Dung, VGIS: an open source GIS server for real-time monitoring systems, TOPICAL ISSUES OF RATIONAL USE OF NATURAL RESOURCES, 104, 2020

4. Hanh Phuc Nguyen, Hong Anh Le, Ninh Thuan Truong, jFAT: An Automation Framework For Web Application Testing, ICCASA, , 2018

5. Phuong Nguyen, Hong Anh Le, Thomas Zinner, A Context-Aware Traffic Engineering Model for Software-Defined Networks (Best paper award), ICTCC, Lecture Notes of ICST, Springer, 2014

6. Hong Anh Le, Ninh Thuan Truong, Formal Modeling and Verification of Context-Aware Systems Using Event-B (Best paper award), ICCASA, Lecture Notes in ICST, Springer, 2013

7. , Modeling and Verifying WS-CDL Using Event-B, In Proc. ICCASA 2012. Lecture Notes in ICST Vol 109, pp. 290-299, Springer, , 2012

8. Hong Anh Le, Ninh Thuan Truong, Modeling and Verifying DML Triggers Using Event-B, ACIIDS, Lecture Notes in CS, Vol 7083, Vol 2, pp. 539-548, Springer, 2013

9. Hong Anh Le, Loan Dinh, Thuan Truong, Modeling and Verifying Imprecise Requirements of Systems Using Event-B, KSE, AISC Vol 244, pp. 313-325, Springer, 2013

10. Hong Anh Le, Shin Nakajima, Thuan Truong, Verifying Eventuality Properties of Imprecise System Requirements, In Proc. The 30th ACM/SIGAPP Symposium On Applied Computing - Software Engineering Track, Salamanca, Spain, pages 1651-1653, April 13–17,, 2015

11. Phuong Nguyen, Hong Anh Le, Finding Similar Artists from the Web of Data: A PageRank based Semantic Similarity Metric, FDSE, Lecture Notes in Computer Science, Vol 9446, Springer, 2015

12. Hong Anh Le, Modeling and Verifying Event-Based Aspect-Oriented Applications, The 10th International Conference on Knowledge, Information and Creativity Support Systems, , 2015

13. Hong Anh Le, Thuan Truong, A New Method to Analyze Graphical User Interfaces of Android Applications, Lecture Notes in ICST, Springer, , 2016

14. An approach to analyzing execution preservation in Java program refactoring, An approach to analyzing execution preservation in Java program refactoring, ICCASA, Lecture Notes in ICST, Springer, 2016

15. Development of a mobile data collection and management system, Development of a mobile data collection and management system, GIS-IDEAS, , 2016

16. Hong Anh LeNinh, Thuan Truong, Aziz Nanthaamornphong, A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications, Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems, , 0

17. Anh-Tu Bui, Hong Anh Le, Ninh-Thuan Truong, Generation of Power State Machine for Android Devices, ICCASA 2017, 49-58, 2017