Items where Author is "Le, Hong Anh"

Le, Hong Anh and To, Van Khanh and Truong, Ninh Thuan (2021) Formal Analysis of Database Trigger Systems Using Event-B. International Journal of Software Innovation, 9 (4). ISSN 2166-7160 (In Press)

Nguyen, Hanh Phuc and Truong, Ninh Thuan and Le, Hong Anh (2018) jFAT: An automation framework for web application testing. In: 7th EAI International Conference on Context-Aware Systems and Applications (ICCASA 2018), 22 November 2018, Vietnam.

Le, Hong Anh and Bui, Anh Tu and Truong, Ninh Thuan (2018) An approach to modeling and estimating power consumption of mobile applications. Mobile networks and Applications . ISSN 1383-469X (In Press)

Bui, Anh Tu and Le, Hong Anh and Truong, Ninh Thuan (2017) Generation of Power State Machine for Android devices. In: 6th EAI International Conference on Context-Aware Systems and Applications (ICCASA), 23-24 November 2017, Quy Nhon.

Le, Hong Anh and Dao, Thi Huong and Truong, Ninh Thuan (2017) A formal approach to checking consistency in software refactoring. Mobile networks and Applications, 22 (2). pp. 356-366. ISSN 1383-469X

Dao, Thi Huong and Le, Hong Anh and Truong, Ninh Thuan (2016) An approach to analyzing execution preservation in Java program refactoring. In: 5th EAI International Conference on Context-Aware Systems and Applications, 24-25 November 2016, Vietnam.

Le, Hong Anh and Shin, Nakajima and Truong, Ninh Thuan (2016) Formal analysis of imprecise system requirements with Event‑B. SpringerPlus, 5 (1000).

Dao, Thi Huong and Le, Hong Anh and Truong, Ninh Thuan (2016) An approach to verifying consistency of software refactoring process. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Le, Hong Anh and Truong, Ninh Thuan (2016) A New Method to Analyze Graphical User Interfaces of Android Applications. In: 5th EAI International Conference on Context-Aware Systems and Applications (ICCASA), 24-25 November 2016, Viet Nam.

Le, Hong Anh and Truong, Ninh Thuan and Nakajima, Shin (2015) Verifying eventuality properties of imprecise system requirements using event-B. In: SAC 2015, 2015.

Le, Hong Anh and Truong, Ninh Thuan (2014) Formal Modeling and Verification of Context-Aware Systems using Event-B. In: 2014: the 2nd International Conference on Context-Aware Systems and Applications (ICCASA), 25-26 November 2013, Phu Quoc, Vietnam.