Items where Author is "Tran, Hoang Viet"

Article

Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet-Ha and Aoki, Toshiaki (2020) A framework for assume-guarantee regression verification of evolving software. Sci. Comput. Program., 193 . p. 102439.

Tran, Hoang Viet and Pham, Ngoc Hung and Nguyen, Viet Ha (2019) ON LOCALLY MINIMUM AND STRONGEST ASSUMPTION GENERATION METHOD FOR COMPONENT-BASED SOFTWARE VERIFICATION. IEICE Transactions on Information and Systems . ISSN 0916-8532 (In Press)

Tran, Hoang Viet and Pham, Ngoc Hung (2018) On Locally Strongest Assumption Generation Method for Component-Based Software Verification. VNU Journal of Science: Computer Science and Communication Engineering, 34 (2). pp. 16-32. ISSN 2588-1086

Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2016) A Framework for Modeling and Modular Verifying of Component-Based System Designs. VNU Journal of Computer Science and Communication Engineering, 32 (2). pp. 31-42. ISSN 0866-8612

Conference or Workshop Item

Tran, Nguyen Huong and Do, Minh Kha and Tran, Hoang Viet and Pham, Ngoc Hung (2020) Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values. In: 12th International Conference on Knowledge and Systems Engineering (KSE 2020), 12-14 November, 2020, Can Tho, Vietnam. (In Press)

Tran, Hoang Viet and Nguyen, Quang-Trung and Pham, Ngoc Hung (2019) On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems. In: THE 10TH INTERNATIONAL SYMPOSIUM ON INFORMATION AND COMMUNICATION TECHNOLOGY, December 4 – 6, 2019, Ha Long Bay, Quang Ninh, Vietnam. (In Press)

Tran, Hoang Viet and Pham, Ngoc Hung and Dang, Van Hung (2018) On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software. In: 2018 10th International Conference on Knowledge and Systems Engineering (KSE), 1-3 November 2018, Ho Chi Minh city, Vietnam. (In Press)

Le, Chi Luan and Tran, Hoang Viet and Pham, Ngoc Hung (2017) On Implementation of the Assumption Generation Method for Component-Based Software Verification. In: The 9th Asian Conference on Intelligent Information and Database Systems, 3-5 April 2017, Kanazawa, Japan.

Tran, Hoang Viet and Le, Chi Luan and Pham, Ngoc Hung (2016) A Strongest Assumption Generation Method for Component-Based Software Verification. In: The 2016 IEEE RIVF International Conference on Computing and Communication Technologies, 7-9 November 2016, Hanoi, Vietnam.

Tran, Hoang Viet and Le, Chi Luan and Nguyen, Quang Trung and Pham, Ngoc Hung (2014) An Efficient Method for Automated Generating Models of Component-Based Software. In: 2014: The 6th International Conference on Knowledge and Systems Engineering (KSE 2014), 9-11 October 2014, Hanoi, Vietnam.