Ninh-Thuan Truong

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