HỆ THỐNG THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ
Thông tin nhà nghiên cứu KH&CN
Mã NNC: CB.027255
PGS. TS Trương Ninh Thuận
Cơ quan/đơn vị công tác: Trường Đại học Công nghệ
Lĩnh vực nghiên cứu: Khoa học máy tính và thông tin,
- Danh sách các Bài báo/Công bố KH&CN
- Danh sách các Nhiệm vụ KH&CN đã tham gia
| [1] |
Formal Analysis of Database Trigger Systems Using Event-B Hong Anh Le, Van-Khanh To, Ninh-Thuan TruongInternational Journal of Software Innovation, Volume 9 - Năm xuất bản: 2021; ISSN/ISBN: |
| [2] |
VeRA: Verifying RBAC and Authorization Constraints Models of Web Applications Thanh-Nhan Luong, Hanh Phuc Nguyen, Ninh-Thuan TruongInt. J. Softw. Eng. Knowl. Eng 31(5): 655-675 - Năm xuất bản: 2021; ISSN/ISBN: |
| [3] |
Preservation of Class Invariants in refactoring UML models Thi-Huong Dao, Xuan-Truong Nguyen, Ninh-Thuan TruongInternational Journal of Software Engineering and Knowledge Engineering - Năm xuất bản: 2018; ISSN/ISBN: |
| [4] |
An approach to modeling and estimating power consumption of mobile applications Hong-Anh Le, Anh-Tu Bui, Ninh-Thuan TruongMobile Networks and Applications, Springer - Năm xuất bản: 2018; ISSN/ISBN: 1383-469X |
| [5] |
Checking Compliance of Program with Secure UML Model Thanh Nhan Luong and Van Khanh To and Ninh Thuan Truong9th Asian Conference on Intelligent Information and Database Systems - Năm xuất bản: 2017; ISSN/ISBN: |
| [6] |
A Tool Support for Checking Consistency in Model Refactoring Thi Huong Dao and Thanh Binh Trinh and Ninh Thuan TruongKSE: the 2017 International Conference on Knowledge and Systems Engineering - Năm xuất bản: 2017; ISSN/ISBN: |
| [7] |
An Approach to Analyzing Execution Preservation in Java Program Refactoring Thi-Huong Dao, Hong Anh Le, Ninh-Thuan TruongInternational Conference on Context-Aware Systems and Applications (ICCASA) - Năm xuất bản: 2016; ISSN/ISBN: |
| [8] |
A New Method to Analyze Graphical User Interfaces of Android Applications Hong Anh Le, Ninh-Thuan TruongInternational Conference on Context-Aware Systems and Applications (ICCASA) - Năm xuất bản: 2016; ISSN/ISBN: |
| [9] |
Verifying eventuality properties of imprecise system requirements using event-B Hong Anh Le, Ninh-Thuan Truong, Shin NakajimaSymposium On Applied Computing (SAC) - Năm xuất bản: 2015; ISSN/ISBN: 978-1-4503-3196-8 |
| [10] |
Formal Modeling and Verification of Context-Aware Systems using Event-B Hong Anh Le, Ninh-Thuan TruongEAI Endorsed Trans. Context-aware Syst. & Appl. 1(2): e4 (2014) - Năm xuất bản: 2014; ISSN/ISBN: 2409-0026 |
| [11] |
Formal analysis of imprecise system requirements with Event-B Hong Anh Le, Shin Nakajima and Ninh Thuan TruongSpringerPlus 2016(5):1000 - Năm xuất bản: 2016; ISSN/ISBN: 2193-1801 |
| [12] |
A Formal Approach to Checking Consistency in Software Refactoring Hong Anh Le, Thi-Huong Dao, Ninh-Thuan TruongMobile Networks and Applications. Volume 22, Number 2. pp 356-366 - Năm xuất bản: 2017; ISSN/ISBN: 1572-8153 |
| [13] |
Formal Modeling and Verification of Context-Aware Systems Using Event-B Hong Anh Le, Ninh Thuan TruongInternational Conference on Context-Aware Systems and Applications (ICCASA) - Năm xuất bản: 2013; ISSN/ISBN: |
| [14] |
Modeling and Verifying Imprecise Requirements of Systems Using Event-B Hong Anh Le, Ninh Thuan TruongIntern. Conf. on Knowledge and Systems Engineering, Springer. - Năm xuất bản: 2013; ISSN/ISBN: |
| [15] |
An approach to checking the compliance of user permission policy in software development Truong Ninh Thuan, Nguyen Viet HaInternational Journal of Software Engineering and Knowledge Engineering Vol. 23, No. 8 (2013) 1139–1151 - Năm xuất bản: 2013; ISSN/ISBN: 0218-1940 |
| [16] |
Formalizing and checking web service discovery models using B Ninh Thuan Truong, Thanh Binh Trinh, and Van Hieu VuTạp chí Tin học và điều khiển học, Tập 28, số 1, 2012, pp 77-87 - Năm xuất bản: 2012; ISSN/ISBN: |
| [17] |
Modeling and Verifying DML Triggers Using Event-B Hong Anh Le and Ninh Thuan TruongAsian Conference on Intelligent Information and Database Systems (ACIIDS 2013), Springer, pp: 539-548 - Năm xuất bản: 2013; ISSN/ISBN: |
| [18] |
Modeling and Verifying WS-CDL Using Event-B Hong Anh Le and Ninh Thuan TruongInternational Conference on Context-Aware Systems and Applications (ICCASA 2012), Springer, pp: 290-299 - Năm xuất bản: 2012; ISSN/ISBN: |
| [19] |
Checking the Conformance between the Implementation and PSM Specifications in Component Models To Van Khanh, Pham Van Viet, Truong Ninh Thuan, Nguyen Viet HaTạp chí Khoa học (ĐHQGHN), Vol. 24, No. 3S, pp. 131-139. - Năm xuất bản: 2008; ISSN/ISBN: |
| [20] |
Verifying Java Object Invariants at Runtime Thu-Trang Nguyen, Ninh-Thuan Truong, and Viet-Ha NguyenInternational Journal of Software Engineering and Knowledge Engineering, Vol.21, No.4, 2011 - Năm xuất bản: 2011; ISSN/ISBN: 0218-1940 |
| [21] |
Refining Undetermined Events for Specifying Concurrent Programs Thanh-Binh Trinh, Ninh-Thuan Truong, and Viet-Ha Nguyen3rd Intern. Conf. on Knowledge and Systems Engineering, IEEE published, 2011 - Năm xuất bản: 2011; ISSN/ISBN: |
| [22] |
A Runtime Approach to Verify Scenario in Multi-agent Systems, Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen2nd Intern. Conf. on Knowledge and Systems Engineering, IEEE published, 2010 - Năm xuất bản: 2010; ISSN/ISBN: |
| [23] |
Checking consistency between UCM and PSM using graph-based method Truong Ninh Thuan, Tran Thi Mai Thuong, To Van Khanh, and Nguyen Viet Ha1st Asian Conf. on Intelligent Information and Database System, IEEE published, 2009 - Năm xuất bản: 2009; ISSN/ISBN: |
| [24] |
Analyzing RBAC Security Policy of Implementation Using AST Tuan-Hung Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen1st Intern. Conf. on Knowledge and Systems Engineering, IEEE published, 2009 - Năm xuất bản: 2009; ISSN/ISBN: |
| [25] |
Checking the compliance of Timing constraints in Software Applications Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong and Viet-Ha Nguyen1st Intern. Conf. on Knowledge and Systems Engineering. IEEE published, 2009 - Năm xuất bản: 2009; ISSN/ISBN: |
| [26] |
Coordinated consensus analysis of multiagent systems using Event-B Ninh-Thuan Truong, Thanh-Binh Trinh and Viet-Ha Nguyen7th Software Engineering and Formal Methods Conference, IEEE Computer Society, 2009. - Năm xuất bản: 2009; ISSN/ISBN: |
| [27] |
Checking the conformability in CORBA component model specifications Tran Thi Mai Thuong, Vo Van Thanh and Trương Ninh ThuanTạp chí Khoa học (ĐHQGHN), Vol 24, No 2,pp 92-101 - Năm xuất bản: 2008; ISSN/ISBN: |
| [28] |
Validation des propriétés d´un scénario UML/OCL à partir de sa dérivation en B, Truong Ninh Thuan and J. SouquièresActes de la conférence Approches Formelles dans l´Assitance au Développement de Logiciels (AFADL), France, 2004 - Năm xuất bản: 2004; ISSN/ISBN: |
| [29] |
An approach for the verification of UML models using B Truong Ninh Thuan and J. Souquières11th International Conference on the Engineering of Computer Based Systems (ECBS), IEEE Computer Society, 2004 - Năm xuất bản: 2004; ISSN/ISBN: |
| [30] |
Verification of behavioral elements of UML models using B Truong Ninh Thuan and J. Souquières20th Annual ACM Symposium on Applied Computing (SAC), ACM press, 2005 - Năm xuất bản: 2005; ISSN/ISBN: |
| [31] |
Validation of UML static diagrams using B Truong Ninh Thuan and J. SouquièresInternational conference on Software Engineering Research and Practice (SERP), CSREA press, 2005 - Năm xuất bản: 2005; ISSN/ISBN: |
| [32] |
Checking static crosscuts of AspectJ model using B notation Truong Ninh Thuan and Nguyen Viet HaModeling of Complex Systems and Environments (MCSE), pp.21-25 HoChiMinh city, Vietnam, 2007 - Năm xuất bản: 2007; ISSN/ISBN: |
| [33] |
Using B to verify the weaving of aspects Truong Ninh Thuan and Nguyen Viet HaProceeding of the 14th Asia-Pacific Software Engineering Conference. pp.199-205. IEEE Computer Society, Nagoya, Japan, 2007 - Năm xuất bản: 2007; ISSN/ISBN: |
| [34] |
Computing heap space cost of Java Card applets Tuan-Hung Pham, Anh-Hoang Truong, and Ninh-Thuan TruongAddendum proceedings of the International Conference on Research, Innovation and Vision for Future (RIVF’08), pp.190-195, HoChiMinh city, 2008 - Năm xuất bản: 2008; ISSN/ISBN: |
| [35] |
Consistency between UCM and PSMs in component models Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet HaAddendum proceedings of the International Conference on Research, Innovation and Vision for Future (RIVF’08), pp.184-189, HoChiMinh city, 2008 - Năm xuất bản: 2008; ISSN/ISBN: |
| [36] |
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong and Wei-Ngan ChinSoftware Engineering And Formal Methods (SEFM’08), pp.259-267, IEEE Computer Society, South Africa, 2008 - Năm xuất bản: 2008; ISSN/ISBN: |
| [37] |
Verification of UML model elements using B Ninh-Thuan Truong and Jeanine SouquieresJournal of Information Science and Engineering. vol 22, No 2, 2006 - Năm xuất bản: 2006; ISSN/ISBN: 1016-2364 |
| [1] |
Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm Cơ quan quản lý nhiệm vụ/cấp kinh phí: Quỹ phát triển khoa học và công nghệ quốc giaThời gian thực hiện: 01/03/2015 - 01/08/2018; vai trò: Chủ trì đề tài |
| [2] |
Nghiên cứu về kiểm chứng phần mềm trong ngữ cảnh tiến hóa Cơ quan quản lý nhiệm vụ/cấp kinh phí: NafostedThời gian thực hiện: 2010 - 2012; vai trò: Thành viên |
| [3] |
Kiểm chứng các hệ thống phần mềm sử dụng phương pháp B Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà NộiThời gian thực hiện: 2011 - 2012; vai trò: Chủ trì |
| [4] |
Kiểm chứng đặc tả an ninh hệ thống Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà NộiThời gian thực hiện: 2009 - 2010; vai trò: Chủ trì đề tài |
| [5] |
Kiểm chứng các hệ thống phần mềm hướng thành phần Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà NộiThời gian thực hiện: 2007 - 2008; vai trò: Chủ trì đề tài |