Ninh-Thuan Truong

According to our database1, Ninh-Thuan Truong authored at least 32 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An Approach to Prevent DDoS Attack Using Real-Time Access Logs Analysis.
Proceedings of the Recent Challenges in Intelligent Information and Database Systems, 2023

2021
Formal Analysis of Database Trigger Systems Using Event-B.
Int. J. Softw. Innov., 2021

VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications.
Int. J. Softw. Eng. Knowl. Eng., 2021

2019
An Approach to Modeling and Estimating Power Consumption of Mobile Applications.
Mob. Networks Appl., 2019

Preservation of Class Invariants in Refactoring UML Models.
Int. J. Softw. Eng. Knowl. Eng., 2019

2018
jFAT: An Automation Framework for Web Application Testing.
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.
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.
Mob. Networks Appl., 2017

A tool support for checking consistency in model refactoring.
Proceedings of the 9th International Conference on Knowledge and Systems Engineering, 2017

Generation of Power State Machine for Android Devices.
Proceedings of the Context-Aware Systems and Applications, 2017

Checking Compliance of Program with SecureUML Model.
Proceedings of the Advanced Topics in Intelligent Information and Database Systems,, 2017

2016
A New Method to Analyze Graphical User Interfaces of Android Applications.
Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

An Approach to Analyzing Execution Preservation in Java Program Refactoring.
Proceedings of the Context-Aware Systems and Applications - 5th International Conference, 2016

2015
Verifying eventuality properties of imprecise system requirements using event-B.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

A Model-Based Method for Modeling and Verifying Event-Based Aspect-Oriented Applications.
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.
EAI Endorsed Trans. Context aware Syst. Appl., 2014

2013
An Approach to Checking the Compliance of User Permission Policy in Software Development.
Int. J. Softw. Eng. Knowl. Eng., 2013

Modeling and Verifying Imprecise Requirements of Systems Using Event-B.
Proceedings of the Knowledge and Systems Engineering, 2013

Modeling and Verifying DML Triggers Using Event-B.
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

2012
An Approach to the Specification of Security Concerns in UML.
Proceedings of the Robot Intelligence Technology and Applications 2012, 2012

Modeling and Verifying WS-CDL Using Event-B.
Proceedings of the Context-Aware Systems and Applications - First International Conference, 2012

2011
Verifying Java Object Invariants at Runtime.
Int. J. Softw. Eng. Knowl. Eng., 2011

Refining Undetermined Events for Specifying Concurrent Programs.
Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

2009
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.
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.
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.
Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2007
Using B to Verify the Weaving of Aspects.
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.
PhD thesis, 2006

Verification of UML Model Elements Using B.
J. Inf. Sci. Eng., 2006

2005
Validation of UML static diagrams using B.
Proceedings of the International Conference on Software Engineering Research and Practice, 2005

Verification of behavioural elements of UML models using B.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

2004
An Approach for the Verification of UML Models Using B.
Proceedings of the 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 2004


  Loading...