Trinh Thanh Binh

RESEARCH INTERESTS

• Software Testing

SELECTED PUBLICATIONS

• Thi-Huong Dao, Thanh-Binh Trinh, Ninh-Thuan Truong, A Tool Support for Checking Consistency in Model Refactoring. In Proc. of the 9th International Conf. on Knowledge and Systems Engineering, pp. 108-113, Springer LNCS, 2017.
• Thi-Huong Dao, Thanh-Binh Trinh, Verifying the reliability of web services transactions using temporal logic and NuSMV, The first NAFOSTED Conference on Information and Computer Science, 2014
• Ninh Thuan Truong, Thanh Binh Trinh and Van Hieu Vu, Formalizing and checking web service discovery model using B. Journal of computer science and cybernetics, 2012
• Ninh Thuan Truong, Thanh Binh Trinh and Viet Ha Nguyen, Automated analysis of consensus protocol in specification of multi-agents coordination, VNU Journal of Science, Natural Sciences and Technology, Vol. 28, No. 1, pp. 1-10, 2012.
• Thanh-Binh Trinh, Ninh-Thuan Truong, and Viet-Ha Nguyen Refining Undetermined Events for Specifying Concurrent Programs, KSE2011, 3rd Intern Conference on Knowledge and Systems Engineering pp. 143-148, Hanoi, Vietnam
• Thanh-Binh Trinh, Quang-Thap Pham, Ninh-Thuan Truong, and Viet-Ha Nguyen, A Runtime Approach to Verify Scenario in Multi-agent Systems KSE2010, The first Conference on Knowledge and Systems Engineering pp. 143-148, Hanoi, Vietnam
• Trịnh Thanh Bình, Trương Ninh Thuận, Nguyễn Việt Hà, Kiểm chứng sự tuân thủ về ràng buộc thời gian trong các ứng dụng phần mềm, Tạp chí Tin học và Điều khiển học
• Trịnh Thanh Bình, Trương Anh Hoàng, Nguyễn Việt Hà, Kiểm chứng sự tương tác giữa các thành phần trong chương trình đa luồng sử dụng lập trình hướng khía cạnh Tạp chí Bưu chính Viễn thông và Công nghệ thông tin, Chuyên san Các công trình nghiên cứu triển khai Viễn thông và Công nghệ thông tin
• Ninh-Thuan Truong, Thanh-Binh Trinh, and Viet-Ha Nguyen, Coordinated Consensus Analysis of Multi-agent Systems Using Event-B, Conf. on Software Engineering and Formal Method. pp. 201-209, 7th IEEE Intern, Hanoi, Vietnam
• Thanh-Binh Trinh, Tuan-Anh Do, Ninh-Thuan Truong, and Viet-Ha Nguyen Checking the Compliance of Timing Constraints in Software Applications, KSE2009, The first Conference on Knowledge and Systems Engineering pp. 220-225, Hanoi, Vietnam
• Trinh Thanh Binh, Truong Anh Hoang, Nguyen Viet Ha, Checking Protocol-Conformance in Component Models using Aspect Oriented Programming, Advances in Computer Science and Engineering, pp. 150-155, Phuket, Thai Lan
• Hoang Truong, Thanh-Binh Trinh, Viet-Ha Nguyen, Trang Nguyen Thi Thu, Hung Dang Van and Hung Pham Dinh, Checking Interface Interaction Protocols Using Aspect-oriented Programming, 6th IEEE International Conferences on Software Engineering and Formal Method, Cape Town, South Africa
• Trinh Thanh Binh, Truong Anh Hoang, Nguyen Viet Ha, A Dynamic Birthmark to Detect the Theft of Java Programs, Tạp chí khoa học, Đại học quốc gia Hà Nội, Vol. 24, No. 3S, pp. 123-130,

AWARDS & HONOURS

TEACHING COURSES