|
|
 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)
-
Tel:
+81 (04) 3 754 9016
-
Email:
hungpn "et" vnu
"dot" vnu "dot" vn
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
-
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
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)
-
Kiểm
chứng đảm bảo giả định (Assume-Guarantee Verification)
-
Conformance
Testing and Modular Conformance Testing
-
Tiến
hóa phần mềm (Software Evolution)
Công
trình nghiên cứu (chọn lọc)
-
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), 2010 (Accepted)
-
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. – (2010)
-
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). IWPSE-EVOL '09. ACM, New York, NY, pp. 109-118 (2009) [BidTeX]
-
P. N. Hung, T. Aoki
and T. Katayama: ``A Minimized Assumption Generation Method for
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
Honours
and Awards
-
The best master’s student award
by president of JAIST (2006)
-
GRP
doctoral fellow (2006)
-
The
typical youth award by president of Vietnam National University, HaNoi for
the excellent academic results (2001)
|