SMT for polynomial constraints on real numbers T Van Khanh, M Ogawa Electronic Notes in Theoretical Computer Science 289, 27-40, 2012 | 44 | 2012 |
raSAT: An SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa International Joint Conference on Automated Reasoning, 228-237, 2016 | 21 | 2016 |
raSAT: an SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa Formal Methods in System Design 51 (3), 462-499, 2017 | 18 | 2017 |
rasat: SMT for polynomial inequality TV Khanh, X Vu, M Ogawa Proceedings of the 12th International Workshop on Satisfiability Modulo …, 2014 | 14* | 2014 |
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT P Fontaine, M Ogawa, T Sturm, TV Khanh, VX Tung SC-Square 2018 2189, 110-117, 2018 | 7 | 2018 |
Formal Analysis of Database Trigger Systems Using Event-B AH Le, T Van Khanh, TN Thuan International Journal of Software Innovation (IJSI) 9 (4), 1-16, 2021 | 3 | 2021 |
Checking the consistency between ucm and psm using a graph-based method NT Truong, TMT Tran, VK To, VH Nguyen 2009 First Asian Conference on Intelligent Information and Database Systems …, 2009 | 3 | 2009 |
VTSE–Verification Tool based on Symbolic Execution VK To, TVA Nguyen, TT Nguyen VNU-UET, 2018 | 1 | 2018 |
Checking compliance of program with secureUML model TN Luong, VK To, NT Truong Advanced Topics in Intelligent Information and Database Systems 9, 489-498, 2017 | 1 | 2017 |
Sat and SMT: their algorithm designs and applications M Ogawa, T Van Khanh 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 83-84, 2013 | 1 | 2013 |
raSAT: SMT for Polynomial Inequality VK To, M Ogawa 北陸先端科学技術大学院大学情報科学研究科, 2013 | 1 | 2013 |
Dynamically reconfiguration architecture for embedded systems using Kaffe VQ Dung, NV Ha, T Van Khanh VNU Journal of Science: Mathematics-Physics 23 (1), 2007 | 1 | 2007 |
Checking Temporal Constraints of Events in EBS at Runtime NTT Thanh-Binh Trinh, Hanh-Phuc Nguyen, Dinh-Hai Nguyen, Van-Khanh To Cybernetics and Information Technologies 24 (1), 82-97, 2024 | | 2024 |
On the Compliance of Access Control Policies in Web Applications TN Luong, DH Vo, VK To, NT Truong Context-Aware Systems and Applications, and Nature of Computation and …, 2019 | | 2019 |
VTSE – Verification Tool based on Symbolic Execution T Van Khanh, N Thi Van Anh, N Thi Thuy VNU-UET Technical Report http://eprints.uet.vnu.edu.vn/eprints/3053/, 2018 | | 2018 |
raSAT 0.3 and raSAT 0.4 (exp) for SMT-COMP 2016 VX Tung, T Van Khanh, M Ogawa | | 2016 |
Integrating and checking access permissions in object oriented models TH Dao, VK To, NT Truong, QT Chu, VH Nguyen 2015 2nd National Foundation for Science and Technology Development …, 2015 | | 2015 |
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 VT Đào, TV Khánh, NV Hà Research and Development on Information and Communication Technology, 70-70, 2014 | | 2014 |
SMT for Polynomial Constraints and Its Applications TO VAN KHANH Japan Advanced Institute of Science and Technology, 2013 | | 2013 |
2013 20th Asia-Pacific Software Engineering Conference M Ogawa, TV Khanh | | 2013 |