An Approach for the Verification of UML Models Using B. - Ninh-Thuan Truong; Jeanine Souquières (ECBS, 2004)

Verification of behavioural elements of UML models using B. - Ninh-Thuan Truong; Jeanine Souquières (SAC, 2005)

Validation of UML static diagrams using B. - Ninh-Thuan Truong; Jeanine Souquières (Software Engineering Research and Practice, 2005)

Verification of UML Model Elements Using B. - Ninh-Thuan Truong; Jeanine Souquières (J. Inf. Sci. Eng., 2006)

Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet. - Ninh-Thuan Truong (2006)

Using B to Verify the Weaving of Aspects. - Ninh-Thuan Truong; Viet Ha Nguyen 001 (APSEC, 2007)

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. - Tuan-Hung Pham; Anh-Hoang Truong; Ninh-Thuan Truong; Wei-Ngan Chin (SEFM, 2008)

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 001 (ACIIDS, 2009)

Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. - Ninh-Thuan Truong; Thanh-Binh Trinh; Viet Ha Nguyen 001 (SEFM, 2009)

Refining Undetermined Events for Specifying Concurrent Programs. - Thanh-Binh Trinh; Ninh-Thuan Truong; Viet Ha Nguyen 001 (KSE, 2011)

Verifying Java Object Invariants at Runtime. - Thu-Trang Nguyen; Ninh-Thuan Truong; Viet Ha Nguyen 001 (Int. J. Softw. Eng. Knowl. Eng., 2011)

Modeling and Verifying WS-CDL Using Event-B. - Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2012)

An Approach to the Specification of Security Concerns in UML. - Vinh Xuan Tran; Ninh-Thuan Truong; Anne T. A. Nguyen (RiTA, 2012)

Modeling and Verifying DML Triggers Using Event-B. - Hong Anh Le; Ninh-Thuan Truong (ACIIDS (2), 2013)

Modeling and Verifying Imprecise Requirements of Systems Using Event-B. - Hong Anh Le; Loan Dinh Thi; Ninh-Thuan Truong (KSE (1), 2013)

An Approach to Checking the Compliance of User Permission Policy in Software Development. - Ninh-Thuan Truong; Viet Ha Nguyen 001 (Int. J. Softw. Eng. Knowl. Eng., 2013)

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)

A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications. - Hong Anh Le; Ninh-Thuan Truong; Aziz Nanthaamornphong (KICSS, 2015)

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

An Approach to Analyzing Execution Preservation in Java Program Refactoring. - Thi-Huong Dao; Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2016)

A New Method to Analyze Graphical User Interfaces of Android Applications. - Hong Anh Le; Ninh-Thuan Truong (ICCASA, 2016)

Checking Compliance of Program with SecureUML Model. - Thanh-Nhan Luong; Van-Khanh To; Ninh-Thuan Truong (ACIIDS (Extended Posters), 2017)

Generation of Power State Machine for Android Devices. - Anh Tu Bui; Hong Anh Le; Ninh-Thuan Truong (ICCASA/ICTCC, 2017)

A tool support for checking consistency in model refactoring. - Thi-Huong Dao; Thanh-Binh Trinh; Ninh-Thuan Truong (KSE, 2017)

A Formal Approach to Checking Consistency in Software Refactoring. - Hong Anh Le; Thi-Huong Dao; Ninh-Thuan Truong (Mob. Networks Appl., 2017)

On the Compliance of Access Control Policies in Web Applications. - Thanh-Nhan Luong; Dinh-Hieu Vo; Van-Khanh To; Ninh-Thuan Truong (ICCASA/ICTCC, 2018)

jFAT: An Automation Framework for Web Application Testing. - Hanh Phuc Nguyen; Hong Anh Le; Ninh-Thuan Truong (ICCASA/ICTCC, 2018)

Preservation of Class Invariants in Refactoring UML Models. - Thi-Huong Dao; Xuan-Truong Nguyen; Ninh-Thuan Truong (Int. J. Softw. Eng. Knowl. Eng., 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)

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)

Formal Analysis of Database Trigger Systems Using Event-B. - Hong Anh Le; Van-Khanh To; Ninh-Thuan Truong (Int. J. Softw. Innov., 2021)

An Approach to Prevent DDoS Attack Using Real-Time Access Logs Analysis. - Hanh Phuc Nguyen; Thanh-Nhan Luong; Thi-Huong Dao; Ninh-Thuan Truong (ACIIDS (Companion), 2023)