Ninh-Thuan Truong

According to our database, Ninh-Thuan Truong authored at least 31 papers between 2004 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2021

Formal Analysis of Database Trigger Systems Using Event-B.

Hong Anh Le, Van-Khanh To, Ninh-Thuan Truong

Int. J. Softw. Innov., 2021

VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications.

Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan Truong

Int. J. Softw. Eng. Knowl. Eng., 2021

2019

An Approach to Modeling and Estimating Power Consumption of Mobile Applications.

Hong Anh Le, Anh Tu Bui, Ninh-Thuan Truong

Mob. Networks Appl., 2019

Preservation of Class Invariants in Refactoring UML Models.

Thi-Huong Dao, Xuan-Truong Nguyen, Ninh-Thuan Truong

Int. J. Softw. Eng. Knowl. Eng., 2019

2018

jFAT: An Automation Framework for Web Application Testing.

Hanh Phuc Nguyen, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

On the Compliance of Access Control Policies in Web Applications.

Thanh-Nhan Luong, Dinh-Hieu Vo, Van-Khanh To, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, and Nature of Computation and Communication, 2018

2017

A Formal Approach to Checking Consistency in Software Refactoring.

Hong Anh Le, Thi-Huong Dao, Ninh-Thuan Truong

Mob. Networks Appl., 2017

A tool support for checking consistency in model refactoring.

Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong

Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

Generation of Power State Machine for Android Devices.

Anh Tu Bui, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications, 2017

Checking Compliance of Program with SecureUML Model.

Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong

Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2016

A New Method to Analyze Graphical User Interfaces of Android Applications.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

An Approach to Analyzing Execution Preservation in Java Program Refactoring.

Thi-Huong Dao, Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

2015

Verifying eventuality properties of imprecise system requirements using event-B.

Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications.

Hong Anh Le, Ninh-Thuan Truong, Aziz Nanthaamornphong

Proceedings of the Recent Advances and Future Prospects in Knowledge, Information and Creativity Support Systems, 2015

2014

Formal Modeling and Verification of Context-Aware Systems using Event-B.

Hong Anh Le, Ninh-Thuan Truong

EAI Endorsed Trans. Context aware Syst. Appl., 2014

2013

An Approach to Checking the Compliance of User Permission Policy in Software Development.

Ninh-Thuan Truong, Viet Ha Nguyen

Int. J. Softw. Eng. Knowl. Eng., 2013

Modeling and Verifying Imprecise Requirements of Systems Using Event-B.

Hong Anh Le, Loan Dinh Thi, Ninh-Thuan Truong

Proceedings of the Knowledge and Systems Engineering, 2013

Modeling and Verifying DML Triggers Using Event-B.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012

An Approach to the Specification of Security Concerns in UML.

Vinh Xuan Tran, Ninh-Thuan Truong, Anne T. A. Nguyen

Proceedings of the Robot Intelligence Technology and Applications 2012, 2012

Modeling and Verifying WS-CDL Using Event-B.

Hong Anh Le, Ninh-Thuan Truong

Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

2011

Verifying Java Object Invariants at Runtime.

Thu-Trang Nguyen, Ninh-Thuan Truong, Viet Ha Nguyen

Int. J. Softw. Eng. Knowl. Eng., 2011

Refining Undetermined Events for Specifying Concurrent Programs.

Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2009

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.

Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen

Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Checking the Consistency between UCM and PSM Using a Graph-Based Method.

Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen

Proceedings of the First Asian Conference on Intelligent Information and Database Systems, 2009

2008

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.

Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007

Using B to Verify the Weaving of Aspects.

Ninh-Thuan Truong, Viet Ha Nguyen

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet.

Ninh-Thuan Truong

PhD thesis, 2006

Verification of UML Model Elements Using B.

Ninh-Thuan Truong, Jeanine Souquières

J. Inf. Sci. Eng., 2006

2005

Validation of UML static diagrams using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Verification of behavioural elements of UML models using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004

An Approach for the Verification of UML Models Using B.

Ninh-Thuan Truong, Jeanine Souquières

Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004