Ninh-Thuan Truong

Publication Activity (10 Years)

Years Active: 2004-2021
Publications (10 Years): 14

Top Venues

ICCASA

ICCASA/ICTCC

Int. J. Softw. Eng. Knowl. Eng.

Mob. Networks Appl.

Nancy 2 University, France (PHD)

Education History

Nancy 2 University, France

PHD

Publications

Hong Anh Le, Van-Khanh To, Ninh-Thuan Truong
Formal Analysis of Database Trigger Systems Using Event-B. Int. J. Softw. Innov. 9 (4) (2021)
Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan Truong
VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications. Int. J. Softw. Eng. Knowl. Eng. 31 (5) (2021)
Thi-Huong Dao, Xuan-Truong Nguyen, Ninh-Thuan Truong
Preservation of Class Invariants in Refactoring UML Models. Int. J. Softw. Eng. Knowl. Eng. 29 (2) (2019)
Hong Anh Le, Anh Tu Bui, Ninh-Thuan Truong
An Approach to Modeling and Estimating Power Consumption of Mobile Applications. Mob. Networks Appl. 24 (1) (2019)
Thanh-Nhan Luong, Dinh-Hieu Vo, Van-Khanh To, Ninh-Thuan Truong
On the Compliance of Access Control Policies in Web Applications. ICCASA/ICTCC (2018)
Hanh Phuc Nguyen, Hong Anh Le, Ninh-Thuan Truong
jFAT: An Automation Framework for Web Application Testing. ICCASA/ICTCC (2018)
Thanh-Nhan Luong, Van-Khanh To, Ninh-Thuan Truong
Checking Compliance of Program with SecureUML Model. ACIIDS (Extended Posters) (2017)
Hong Anh Le, Thi-Huong Dao, Ninh-Thuan Truong
A Formal Approach to Checking Consistency in Software Refactoring. Mob. Networks Appl. 22 (2) (2017)
Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong
A tool support for checking consistency in model refactoring. KSE (2017)
Anh Tu Bui, Hong Anh Le, Ninh-Thuan Truong
Generation of Power State Machine for Android Devices. ICCASA/ICTCC (2017)
Thi-Huong Dao, Hong Anh Le, Ninh-Thuan Truong
An Approach to Analyzing Execution Preservation in Java Program Refactoring. ICCASA (2016)
Hong Anh Le, Ninh-Thuan Truong
A New Method to Analyze Graphical User Interfaces of Android Applications. ICCASA (2016)
Hong Anh Le, Ninh-Thuan Truong, Shin Nakajima
Verifying eventuality properties of imprecise system requirements using event-B. SAC (2015)
Hong Anh Le, Ninh-Thuan Truong, Aziz Nanthaamornphong
A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications. KICSS (2015)
Hong Anh Le, Ninh-Thuan Truong
Formal Modeling and Verification of Context-Aware Systems using Event-B. EAI Endorsed Trans. Context aware Syst. Appl. 1 (2) (2014)
Hong Anh Le, Ninh-Thuan Truong
Modeling and Verifying DML Triggers Using Event-B. ACIIDS (2) (2013)
Hong Anh Le, Ninh-Thuan Truong
Formal Modeling and Verification of Context-Aware Systems Using Event-B. ICCASA (2013)
Hong Anh Le, Loan Dinh Thi, Ninh-Thuan Truong
Modeling and Verifying Imprecise Requirements of Systems Using Event-B. KSE (1) (2013)
Ninh-Thuan Truong, Viet Ha Nguyen
An Approach to Checking the Compliance of User Permission Policy in Software Development. Int. J. Softw. Eng. Knowl. Eng. 23 (8) (2013)
Hong Anh Le, Ninh-Thuan Truong
Modeling and Verifying WS-CDL Using Event-B. ICCASA (2012)
Vinh Xuan Tran, Ninh-Thuan Truong, Anne T. A. Nguyen
An Approach to the Specification of Security Concerns in UML. RiTA (2012)
Thu-Trang Nguyen, Ninh-Thuan Truong, Viet Ha Nguyen
Verifying Java Object Invariants at Runtime. Int. J. Softw. Eng. Knowl. Eng. 21 (4) (2011)
Thanh-Binh Trinh, Ninh-Thuan Truong, Viet Ha Nguyen
Refining Undetermined Events for Specifying Concurrent Programs. KSE (2011)
Ninh-Thuan Truong, Thi-Mai-Thuong Tran, Van-Khanh To, Viet Ha Nguyen
Checking the Consistency between UCM and PSM Using a Graph-Based Method. ACIIDS (2009)
Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B. SEFM (2009)
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM (2008)
Ninh-Thuan Truong, Viet Ha Nguyen
Using B to Verify the Weaving of Aspects. APSEC (2007)
Ninh-Thuan Truong, Jeanine Souquières
Verification of UML Model Elements Using B. J. Inf. Sci. Eng. 22 (2) (2006)
Ninh-Thuan Truong, Jeanine Souquières
Verification of behavioural elements of UML models using B. SAC (2005)
Ninh-Thuan Truong, Jeanine Souquières
Validation of UML static diagrams using B. Software Engineering Research and Practice (2005)
Ninh-Thuan Truong, Jeanine Souquières
An Approach for the Verification of UML Models Using B. ECBS (2004)

Ninh-Thuan Truong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ninh-Thuan Truong