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áo cáo hội nghị khoa học
Bài báo hội nghị quốc tế

1. Đ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

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

3. 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

4. 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

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

6. 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

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

8. 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

9. 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

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

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

12. 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

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

14. 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

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