Hong Anh Le
Hong Anh Le
Hanoi University of Mining and Geology
Verified email at humg.edu.vn
Title
Cited by
Cited by
Year
Modeling and verifying ws-cdl using event-b
HA Le, NT Truong
International Conference on Context-Aware Systems and Applications, 290-299, 2012
82012
Modeling and verifying imprecise requirements of systems using Event-B
HA Le, LD Thi, NT Truong
Knowledge and Systems Engineering, 313-325, 2014
62014
Evaluating and predicting the stability of roadways in tunnelling and underground space using artificial neural network-based particle swarm optimization
X Zhang, H Nguyen, XN Bui, HA Le, T Nguyen-Thoi, H Moayedi, ...
Tunnelling and Underground Space Technology 103, 103517, 2020
42020
Verifying eventuality properties of imprecise system requirements using Event-B
HA Le, NT Truong, S Nakajima
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1651-1653, 2015
42015
Formal Modeling and Verification of Context-Aware Systems Using Event-B
HA Le, NT Truong
International Conference on Context-Aware Systems and Applications, 250-259, 2013
42013
A context-aware traffic engineering model for software-defined networks
PT Nguyen, HA Le, T Zinner
International Conference on Nature of Computation and Communication, 73-82, 2014
32014
Modeling and verifying DML triggers using event-B
HA Le, NT Truong
Asian Conference on Intelligent Information and Database Systems, 539-548, 2013
22013
A formal approach to checking consistency in software refactoring
HA Le, TH Dao, NT Truong
Mobile networks and Applications 22 (2), 356-366, 2017
12017
Formal analysis of imprecise system requirements with Event-B
HA Le, S Nakajima, NT Truong
SpringerPlus 5 (1), 1000, 2016
12016
An approach to analyzing execution preservation in Java program refactoring
TH Dao, HA Le, NT Truong
International Conference on Context-Aware Systems and Applications, 101-110, 2016
12016
Finding Similar Artists from the Web of Data: A PageRank Based Semantic Similarity Metric
PT Nguyen, HA Le
International Conference on Future Data and Security Engineering, 98-108, 2015
12015
An approach to modeling and estimating power consumption of mobile applications
HA Le, AT Bui, NT Truong
Mobile networks and Applications 24 (1), 124-133, 2019
2019
jFAT: An automation framework for web application testing
HP Nguyen, HA Le, NT Truong
Context-Aware Systems and Applications, and Nature of Computation and …, 2018
2018
Generation of Power State Machine for Android Devices
AT Bui, HA Le, NT Truong
Context-Aware Systems and Applications, and Nature of Computation and …, 2017
2017
A New Method to Analyze Graphical User Interfaces of Android Applications
HA Le, NT Truong
International Conference on Context-Aware Systems and Applications, 111-120, 2016
2016
An approach to verifying consistency of software refactoring process
TH Dao, HA Le, NT Truong
2016
A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications
HA Le, NT Truong, A Nanthaamornphong
International Conference on Knowledge, Information, and Creativity Support …, 2015
2015
Formal Analysis of Database Trigger Systems Using Event-B
HA Le, VK To, NT Truong
International Journal of Software Innovation 9 (4), 0
Modeling and Verifying Event-Based Aspect-Oriented Applications
HA Le
The system can't perform the operation now. Try again later.
Articles 1–19