Chan dung mot nguoi con cua Que Huong

<span class='text_page_counter'>(1)</span>WELCOME TO MY HOMEPAGE Thông tin cá nhân + Họ tên: Phạm Ngọc Hùng + Đang công tác tại 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 tại Khoa CNTT, Trường ĐH Công nghệ, ĐHQGHN năm 2002 Website Bộ môn Địa chỉ 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 tại 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 tại Khoa Công nghệ (nay là Trường ĐH Công nghệ), ĐHQGHN (2002-2005) + Nghiên cứu sinh tại Viện khoa học và Công nghệ tiên tiến Nhật Bản (2005-2009) + Giảng viên tại 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" vn. Các hướng nghiên cứu đang 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.

<span class='text_page_counter'>(2)</span> 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.

<span class='text_page_counter'>(3)</span>