VNU-UET Repository: No conditions. Results ordered -Date Deposited.
https://eprints.uet.vnu.edu.vn/eprints/
1. This is a multi-institution subject-based repository.
2. Subject Specialities:
(a) Multidisciplinary
(b) Science General
(c) Mathematics and Statistics
(d) Physics and Astronomy
(e) Technology General
(f) Computers and IT
(g) Electrical and Electronic Engineering
(h) Mechanical Engineering and Materials
3. The repository is restricted to:
(a) Journal articles
(b) Bibliographic references
(c) Conference and workshop papers
(d) Theses and dissertations
(e) Unpublished reports and working papers
(f) Books, chapters and sections
(g) Multimedia and audio-visual materials
(h) Software
(i) Patents
(j) Other special item types
4. Deposited items may include:
(a) working drafts
(b) submitted versions (as sent to journals for peer-review)
(c) accepted versions (author's final peer-reviewed drafts)
(d) published versions (publisher-created files)
5. Items are individually tagged with:
(a) their version type and date.
(b) their peer-review status.
(c) their publication status.
6. Principal Languages: English; Vietnamese; French
Fri, 29 Mar 2024 07:32:33 +0700Fri, 29 Mar 2024 07:32:33 +0700en Formal Analysis of Database Trigger Systems Using Event-B
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/4076/
Le, Hong Anh and To, Van Khanh and Truong, Ninh Thuan (2021) Formal Analysis of Database Trigger Systems Using Event-B. International Journal of Software Innovation, 9 (4). ISSN 2166-7160 (In Press) On The Compliance Of Access Control Policies In Web Applications
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3308/
Luong, Thanh Nhan and Vo, Dinh Hieu and To, Van Khanh and Truong, Ninh Thuan (2018) On The Compliance Of Access Control Policies In Web Applications. In: ICCASA 2018 - 7th EAI International Conference on Context-Aware Systems and Applications, 22 November 2018, Vietnam. (In Press) VTSE – Verification Tool based on Symbolic Execution
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/3053/
To, Van Khanh and Nguyen, Thi Van Anh and Nguyen, Thi Thuy (2018) VTSE – Verification Tool based on Symbolic Execution. Technical Report. VNU-UET, VNU-UET. EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2975/
Pascal, Fontain and Mizuhito, Ogawa and Thomas, Sturm and To, Van Khanh and Vu, Xuan Tung (2018) EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. In: Satisfiability Checking and Symbolic Computation, 11 July 2018, United Kingdom. raSAT: an SMT solver for polynomial constraints
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2543/
Tung, Vu Xuan and To, Van Khanh and Ogawa, Mizuhito (2017) raSAT: an SMT solver for polynomial constraints. Formal Methods in System Design . pp. 1-38. ISSN 1572-8102 Checking Compliance of Program with Secure UML Model
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2541/
Luong, Thanh Nhan and To, Van Khanh and Truong, Ninh Thuan (2017) Checking Compliance of Program with Secure UML Model. In: 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan. raSAT: An SMT Solver for Polynomial Constraints
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2153/
Vu, Xuan Tung and To, Van Khanh and Ogawa, Mizuhito (2016) raSAT: An SMT Solver for Polynomial Constraints. In: The 8th International Joint Conference on Automated Reasoning, 2016. Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1772/
Vu, Thi Dao and To, Van Khanh and Nguyen, Viet Ha (2014) Phương pháp sinh các ca kiểm thử tự động từ các mô hình thiết kế UML và ngôn ngữ ràng buộc đối tượng OCL. Tạp chí CNTT & TT: Các công trình nghiên cứu, phát triển và ứng dụng CNTT & TT, V (11). pp. 70-82. SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1501/
Do, Van Duy and To, Van Khanh (2016) SAT Encoding dựa trên mẫu tìm kiếm giải trò chơi Loogic Hitori. In: SSC: the 2016 Student Scientific Contest, 29 April 2016, Hanoi. Integrating and Checking Access Permissions in Object Oriented Models
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1465/
Dao, Thi Huong and To, Van Khanh and Truong, Ninh Thuan and Chu, Quang Ton and Nguyen, Viet Ha (2015) Integrating and Checking Access Permissions in Object Oriented Models. In: NICS: 2nd National Foundation for Science and Technology Development Conference on Information and Computer Science, 16-18 September 2015, Ho Chi Minh city, Vietnam. SAT and SMT: Their algorithm Designs and Applications
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/773/
Ogawa, Mizuhito and To, Van Khanh (2013) SAT and SMT: Their algorithm Designs and Applications. In: 2013: the 20th Asia-Pacific Software Engineering Conference (APSEC 2013), 2-5 December 2015, Bangkok, Thailand.