Lê Hồng Anh
GV.TSLê Hồng Anh
Phó Trưởng phòng, Trưởng bộ môn, Thành viên Hội đồng Trường, Đảng ủy viên Khoa, Chủ tịch Hội đồng Khoa, Ủy viên HĐ KHĐT Trường, 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, Khoa Công nghệ Thông tin, Đảng ủy Khoa, Hội đồng Khoa, Bộ môn Khoa học máy tính, Phòng Đảm bảo chất lượng giáo dục
Chức vụ Phó Trưởng phòng, Trưởng bộ môn, Thành viên Hội đồng Trường, Đảng ủy viên Khoa, Chủ tịch Hội đồng Khoa, Ủy viên HĐ KHĐT Trường, Trưởng khoa
Giới tính Nam
Địa chỉ 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. 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

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

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

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

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

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

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

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

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

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

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

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

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