Items where Author is "Truong, Ninh Thuan"

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)

Bui, Anh Tu and Nguyen, Van Viet and Truong, Ninh Thuan (2020) Generating test data for energy property in mobile applications. In: 2020 7th NAFOSTED Conference on Information and Computer Science (NICS).

Luong, Thanh Nhan and Truong, Ninh Thuan (2020) VeRA: Verifying RBAC and authorization constraints models of web applications. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940 (In Press)

Luong, Thanh Nhan and Vo, Dinh Hieu and Truong, Ninh Thuan (2019) An Approach to Analyze Software Security Requirements in ABAC Mode. In: The NAFOSTED Conference on Information and Computer Science (NICS). (In Press)

Dang, Thi Huong Giang and Vu, Minh Trung and Vuong, Quang Huy and Nguyen, Viet Thang and Quach, Cong Hoang and Truong, Ninh Thuan and Pham, Minh Trien (2019) Design and Implement Low-cost UAV for Agriculture Monitoring. In: The 5th International Conference on Engineering Mechanics and Automation, 11-12 October 2019, Hanoi.

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.

Luong, Thanh Nhan and Vo, Dinh Hieu and To, Van Khanh and Truong, Ninh Thuan (2018) On The Compliance Of Access Control Policies In Web Applications. In: ICCASA 2018 - 7th EAI International Conference on Context-Aware Systems and Applications, 22 November 2018, Vietnam. (In Press)

Dao, Thi Huong and Nguyen, Xuan Truong and Truong, Ninh Thuan (2018) Preservation of Class invariants in refactoring UML models. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940 (In Press)

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.

Dao, Thi Huong and Trinh, Thanh Binh and Truong, Ninh Thuan (2017) A Tool Support for Checking Consistency in Model Refactoring. In: KSE: the 2017 International Conference on Knowledge and Systems Engineering, 2017, Hue, Vietnam.

Luong, Thanh Nhan and To, Van Khanh and Truong, Ninh Thuan (2017) Checking Compliance of Program with Secure UML Model. In: 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.

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

Bui, Anh Tu and Truong, Ninh Thuan (2016) Kiểm chứng phần mềm dựa trên phân tích chương trình. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Nguyen, Hanh Phuc and Truong, Ninh Thuan (2016) Mô hình hóa và kiểm chứng các hệ thống thứ lỗi và cân bằng tải. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

Luong, Thanh Nhan and Truong, Ninh Thuan (2016) Phương pháp kiểm chứng các tính chất an ninh của phần mềm. In: SW4PHD: the 2016 Scientific Workshop for PhD Students, 26 March 2016, Hanoi.

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.

Dao, Thi Huong and To, Van Khanh and Truong, Ninh Thuan and Chu, Quang Ton and Nguyen, Viet Ha (2015) Integrating and Checking Access Permissions in Object Oriented Models. In: NICS: 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science, 16-18 September 2015, Ho Chi Minh city, Vietnam.

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.

Truong, Ninh Thuan and Nguyen, Viet Ha (2013) An Approach to Checking Security Policy in Software Development. International journal of software engineering and knowledge engineering (IJSEKE) . ISSN 0218-1940

Nguyen, Thu Trang and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Verifying Java Object Invariants at Runtime. International Journal of Software Engineering and Knowledge Engineering, 21 (04). pp. 605-619.

Trinh, Thanh Binh and Truong, Ninh Thuan and Nguyen, Viet Ha (2011) Refining Undetermined Events for Specifying Concurrent Programs. In: KSE: the 2011 International Conference on Knowledge and Systems Engineering, October 2011, Vietnam.

Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.

Truong, Ninh Thuan and Nguyen, Viet Ha (2007) Using B to Verify the Weaving of Aspects. In: 14th Asia-Pacific Software Engineering Conference (APSEC'07).