Items where Author is "To, Van Khanh"

Article

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)

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

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.

Technical Report

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.

Conference or Workshop Item

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.

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)

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.

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.

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.

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.

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.