Thông tin chuyên gia

Tên đề tài	Cấp	Vai trò	Năm
Chuyển đổi tự động giữa các đặc tả hình thức và ứng dụng cho kiểm chứng phần mềm	Đại Học Quốc Gia	Chủ trì	2012
Phát triển các phương pháp và công cụ trợ giúp Công nghệ phần mềm dựa trên thành phần	Đại Học Quốc Gia	Chủ trì	2009
Nghiên cứu về kiểm chứng phần mềm trong ngữ cảnh tiến hóa	Nhà nước	Chủ trì	2010
Đặc tả và kiểm chứng bài toán xung đột tài nguyên trong các hệ đa tác tử	Trường	Chủ trì	2010

Tạp chí

Tên bài báo	Loại	Tạp chí
A Method for Automated User Interaction Testing of Web Applications	trongnuoc	Tạp chí Bưu chính Viễn thông, 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
On Optimization of Minimized Assumption Generation Method for Component-based Software Verification	trongnuoc	IEICE Trans. on Fundamentals, Special Issue on Software Reliability Engineering (ISI)
Đặc tả và kiểm chứng tính bất biến của các hệ đa tác tử	trongnuoc	Tạp chí khoa học (Khoa học tự nhiên và công nghệ), Đại học quốc gia Hà Nội
A Method and Tool Support for Automated Data Flow Testing of Java Programs	trongnuoc	Proc. of 2nd International Conference on Context-Aware Systems and Applications
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software	trongnuoc	IEICE Trans. on Fundamentals (ISI)
Thu hẹp không gian tìm kiếm lời giải trong các hệ lập luận dựa trên luật sử dụng lập luận theo tình huống	trongnuoc	Tạp chí Bưu chính Viễn thông, 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
Case-based reasoning và khả năng tiếp cận bằng logic vị từ	trongnuoc	Tạp chí khoa học (Khoa học tự nhiên và công nghệ), Đại học quốc gia Hà Nội
Thuật toán phân rã lớp thông tin có cấu trúc dạng cây nhị phân với thông tin chứa ở đỉnh trong trên tập khóa vô hạn	trongnuoc	Tạp chí tin học và điều khiển học
An Efficient Method for Automated Generating Models of Component-based Software	trongnuoc	In Proc. of 6th International Conference on Knowledge and Systems Engineering (KSE 2014), Springer LNCS, Springer-Verlag Berlin Heidelberg
Phương Pháp Sinh Mô Hình Tự Động cho Các Thành Phần Phần Mềm	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ 14, “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, NXB Khoa Học và Kỹ Thuật
An Assume-Guarantee Model Checker for Component-Based Systems	trongnuoc	Proc. of the 10th IEEE-RIVF International Conference on Computing and Communication Technologies
A Minimized Assumption Generation Method for Component-Based Software Verification	trongnuoc	IEICE Trans. on Information and Systems (ISI)
An Efficient Method for Automated Control Flow Testing of Programs	trongnuoc	In Proc. of 2nd International Conference on Context-Aware Systems and Applications
A Method for Generating Models of Black-box Components	trongnuoc	4th Intern. Conf. on Knowledge and Systems Engineering (KSE2012), IEEE Computer Society Press
Thuật toán phân rã lớp thông tin có cấu trúc dạng cây tam nguyên n-chiều với thông tin chứa ở lá trên tập khóa vô hạn	trongnuoc	Kỷ yếu Hội thảo Quốc gia FAIR'03
Khảo sát khả năng tiếp cận bằng logic vị từ trong lập luận theo kinh nghiệm	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ 7 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”
Tối ưu trọng số cho hàm tính độ tương tự giữa các ca lập luận trong Case-based reasoning	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ 8 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”
Mô hình ước lượng sớm chi phí phần mềm sử dụng phương pháp lập luận theo kinh nghiệm	trongnuoc	Kỷ yếu Hội thảo Quốc gia FAIR'05
Lập luận theo kinh nghiệm và ứng dụng	trongnuoc
An Assumption Regeneration Approach for Component-Based Software Verification	trongnuoc	Proc. of Japan-Vietnam Workshop on Software Engineering (JVSE)
An Assume-Guarantee Method for Modular Verification of Evolving Component-Based Software	trongnuoc	Proc. of 6th WADS in conjunction with the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
Adaptive Modular Model Checking for Evolving Component-Based Software	trongnuoc	Proc. of Japan-Vietnam Workshop on Software Engineering
Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software	trongnuoc	Proc. of 15th Asia-Pacific Software Engineering Conference (APSEC)
A Minimized Assumption Generation Method for Component-Based Software Verification	trongnuoc	Proc. of 6th International Colloquium on Theoretical Aspects of Computing
An Effective Framework for Assume-Guarantee Verification of Evolving Component-Based Software	trongnuoc	Proceedings of the Joint international and Annual ERCIM Workshops on Principles of Software Evolution (IWPSE) and Software Evolution (EVOL) Workshops
Assume-Guarantee Tools for Component-Based Software Verification	trongnuoc	Proc. of 2nd Intern. Conf. on Knowledge and Systems Engineering
L -based Learning Models of Evolving Components for Software Verification	trongnuoc	Proc. of Japan-Vietnam Workshop on Software Engineering 2010
Phương pháp hiệu quả cho việc kiểm chứng lại phần mềm dựa trên thành phần trong ngữ cảnh tiến hóa	trongnuoc	Kỷ yếu Hội thảo Quốc gia Lần thứ năm
Phương pháp sinh mô hình tự động cho các thành phần phần mềm	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ XV: Một số vấn đề chọn lọc về công nghệ thông tin và truyền thông
An Improvement of Minimized Assumption Generation Method for Component-based Software Verification	trongnuoc	Proc. of The 9th IEEE-RIVF International Conference on Computing and Communication Technologies
Thuật toán phân rã lớp thông tin có cấu trúc dạng cây nhị phân n-chiều với thông tin chứa ở lá trên tập khóa vô hạn	trongnuoc	Kỷ yếu Hội thảo quốc gia lần thứ 5 “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”

Quá trình Công tác

Đề tài

Tạp chí

Tạp chí

Sở hữu trí tuệ

Ngoại ngữ

Kinh nghiệm