Ninh-Thuan Truong

Van-Khanh To

Int. J. Softw. Innov., 2021

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

[BibT_eX]

[DOI]

Thanh-Nhan Luong

Hanh Phuc Nguyen

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

2019

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

[BibT_eX]

[DOI]

Anh Tu Bui

Mob. Networks Appl., 2019

Preservation of Class Invariants in Refactoring UML Models.

[BibT_eX]

[DOI]

Xuan-Truong Nguyen

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

2018

jFAT: An Automation Framework for Web Application Testing.

[BibT_eX]

[DOI]

Hanh Phuc Nguyen

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Mob. Networks Appl., 2017

A tool support for checking consistency in model refactoring.

[BibT_eX]

[DOI]

Thanh-Binh Trinh

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

Generation of Power State Machine for Android Devices.

[BibT_eX]

[DOI]

Anh Tu Bui

Proceedings of the Context-Aware Systems and Applications, 2017

Checking Compliance of Program with SecureUML Model.

[BibT_eX]

[DOI]

Thanh-Nhan Luong

Van-Khanh To

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

2016

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

[BibT_eX]

[DOI]

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

An Approach to Analyzing Execution Preservation in Java Program Refactoring.

[BibT_eX]

[DOI]

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

2015

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2013

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Loan Dinh Thi

Proceedings of the Knowledge and Systems Engineering, 2013

Modeling and Verifying DML Triggers Using Event-B.

[BibT_eX]

[DOI]

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

2012

An Approach to the Specification of Security Concerns in UML.

[BibT_eX]

[DOI]

Vinh Xuan Tran

Anne T. A. Nguyen

Proceedings of the Robot Intelligence Technology and Applications 2012, 2012

Modeling and Verifying WS-CDL Using Event-B.

[BibT_eX]

[DOI]

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

2011

Verifying Java Object Invariants at Runtime.

[BibT_eX]

[DOI]

Thu-Trang Nguyen

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

Refining Undetermined Events for Specifying Concurrent Programs.

[BibT_eX]

[DOI]

Thanh-Binh Trinh

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

2009

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

[BibT_eX]

[DOI]

Thanh-Binh Trinh

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2007

Using B to Verify the Weaving of Aspects.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

PhD thesis, 2006

Verification of UML Model Elements Using B.

[BibT_eX]

[DOI]

J. Inf. Sci. Eng., 2006

2005

Validation of UML static diagrams using B.

[BibT_eX]

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

Verification of behavioural elements of UML models using B.

[BibT_eX]

[DOI]

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

2004

An Approach for the Verification of UML Models Using B.

[BibT_eX]

[DOI]