Katayama, Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software, In the 15th Asia-Pacific Software Engineering Conference APSEC'08, pp.[r]
(1)WELCOME TO MY HOMEPAGE Thông tin cá nhân + Họ tên: Phạm Ngọc Hùng + Đang công tác Bộ môn Công nghệ phần mềm, Khoa Công nghệ thông tin, Trường Đại học Công nghệ (Coltech), Đại học Quốc gia Hà Nội (VNU) Bằng cấp + Tốt nghiệp Cử nhân Công nghệ Thông tin Khoa CNTT, Trường ĐH Công nghệ, ĐHQGHN năm 2002 Website Bộ môn Địa liên hệ: Bộ môn CNPM Phòng 309, nhà E3 144 Xuân Thủy, Cầu Giấy, Hà Nội + Tốt nghiệp Thạc sĩ và Tiến sĩ Công nghệ Thông tin Viện Khoa học và Công nghệ tiên tiến Nhật Bản (JAIST) năm 2006 và 2009 Kinh nghiệm + Trợ giảng và nghiên cứu viên Khoa Công nghệ (nay là Trường ĐH Công nghệ), ĐHQGHN (2002-2005) + Nghiên cứu sinh Viện khoa học và Công nghệ tiên tiến Nhật Bản (2005-2009) + Giảng viên Khoa CNTT, Trường ĐH Công nghệ, ĐHQGHN (từ 2009) Tel: 04 37549016 - Các môn giảng dạy Mobile: 01646004988 - Hướng dẫn luận văn, khóa luận và nghiên cứu khoa học Email: hungpn "et" vnu "dot" edu "dot" Các hướng nghiên cứu quan tâm + Kiểm chứng và kiểm thử phần mềm (Software Verification and Testing) [chi tiết] + Kiểm chứng đảm bảo giả định (Assume-Guarantee Verification) [chi tiết] Tiếng Việt English + Conformance Testing and Modular Conformance Testing [chi tiết] + Tiến hóa phần mềm (Software Evolution) [chi tiết] Công trình nghiên cứu (chọn lọc) - P N Hung, N V Ha, T Aoki and T Katayama, “On Optimization of Minimized Assumption Generation Method for Component-based Software Verification”, IEICE Trans on Fundamentals, Special Issue on Software Reliability Engineering, Vol E95-A, No.9, pp 1451-1460, Sep 2012 - L B Cuong and P N Hung, “A Method for Generating Models of Black-box Components”, 4th International Conference on Knowledge and Systems Engineering (KSE 2012), pp 177-222, IEEE Computer Society Press, 2012 - P N Hung, N V Ha, T Aoki and T Katayama, “An Improvement of Minimized Assumption Generation Method for Component-based Software Verification”, In Proc of The 9th IEEE-RIVF International Conference on Computing and Communication Technologies, pp 238-243, IEEE Computer Society Press, 2012 [BidTeX] - P N Hung, N V Ha, T Aoki and T Katayama, Assume-Guarantee Tools for Component-Based Software Verification, 2nd Intern Conf on Knowledge and Systems Engineering (KSE 2010), pp 172-177, IEEE Computer Society Press, 2010 [BidTeX] - P N Hung, N V Ha, T Aoki and T Katayama: "A Minimized Assumption Generation Method for Component-Based Software Verification'', IEICE Trans on Information and Systems, Vol E93-D, No 8, pp 2172-2181 (2010) [BidTeX] - P N Hung, T Aoki and T Katayama: ``Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software'', IEICE Trans on Fundamentals, Special Issue on Theory of Concurrent Systems and Its Applications, Vol E92-A, No.11, pp 2772-2780 (2009) [BidTeX] - P N Hung, T Aoki and T Katayama: ``An Effective Framework for Assume-Guarantee Verification of Evolving Component-Based Software'', In Proceedings of the Joint international and Annual ERCIM Workshops on Principles of Software Evolution (IWPSE) and Software Evolution (EVOL) Workshops (Amsterdam, The Netherlands, August 24 - 25, 2009) IWPSEEVOL '09 ACM, New York, NY, pp 109-upload.123doc.net (2009) [BidTeX] - P N Hung, T Aoki and T Katayama: ``A Minimized Assumption Generation Method for (2) Component-Based Software Verification'', In The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), LNCS 5684, pp 277–291, Springer-Verlag Berlin Heidelberg (Aug 2009) [BidTeX] - P N Hung, T Katayama, Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software, In the 15th Asia-Pacific Software Engineering Conference (APSEC'08), pp 479-486, IEEE Computer Society Press, Los Alamitos (2008) [ BidTeX] Display All Cập nhật: Tuesday, April 24, 2012 (3)