Thông tin nhà nghiên cứu KH&CN

Mã NNC: CB.27571

PGS. TS Phạm Ngọc Hùng

Cơ quan/đơn vị công tác: Trường Đại học Công nghệ - Đại học Quốc gia Hà Nội

Lĩnh vực nghiên cứu:

Danh sách các Bài báo/Công bố KH&CN
Danh sách các Nhiệm vụ KH&CN đã tham gia

[1]	Giáo trình Quản lý dự án phần mềm Phạm Ngọc Hùng, Trần Hoàng Việt NXB ĐHQGHN - Năm xuất bản: 2020; ISSN/ISBN:
[2]	Giáo trình Kiểm thử phần mềm Phạm Ngọc Hùng, Trương Anh Hoàng, Đặng Văn Hưng NXB ĐHQGHN - Năm xuất bản: 2014; ISSN/ISBN:
[3]	A Stub Generation Method For Library Functions In Unit Testing Java Projects Hoang-Viet Tran, Minh Quan Nguyen, Thi Trang Do, Pham Ngoc Hung The 14th Conference on Information Technology and Its Applications (accepted) - Năm xuất bản: 2025; ISSN/ISBN:
[4]	An Effective Regression Unit Testing Method for Java Projects Hoang-Viet Tran, Minh Quan Nguyen, Thi Trang Do, Pham Ngoc Hung The 14th Conference on Information Technology and Its Applications (accepted) - Năm xuất bản: 2025; ISSN/ISBN:
[5]	An Efficient End-to-End User Interface Testing Method for Web Applications Trinh Le Khanh, An Pham-Hoang, Quyen Hoang-Van, Cong Bui-The, Tam Cao-Thi-Minh, PHAM Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering - Năm xuất bản: 2025; ISSN/ISBN:
[6]	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 Đỗ Văn Chiểu; Phạm Ngọc Hùng; Nguyễn Việt Hà Một số vấn đề chọn lọc của công nghệ thông tin: Chủ đề Mã Nguồn mở: Kỷ yếu hội nghị quốc gia - Năm xuất bản: 2006; ISSN/ISBN:
[7]	FAIREDU: A Multiple Regression-Based Method for Enhancing Fairness in Machine Learning Models for Educational Applications Nga Pham, Minh Kha Do, Tran Vu Dai, Pham Ngoc Hung, Anh Nguyen-Duc Expert Systems with Applications, Volume 269, 15 April 2025, 126219 - Năm xuất bản: 2025; ISSN/ISBN:
[8]	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 tình huống Phạm Ngọc Hùng; Nguyễn Ngọc Bảo; Nguyễn Việt Hà Kỷ yếu Hội thảo khoa học Quốc gia lần thứ hai: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin - Năm xuất bản: 2008; ISSN/ISBN:
[9]	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 Đỗ Đức Giáo; Phạm Ngọc Hùng; Trịnh Đình Vinh Kỷ yếu Hội thảo khoa học Quốc gia lần thứ nhất: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin - Năm xuất bản: 2008; ISSN/ISBN:
[10]	A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units Linh Ngoc Truc Tran, Nguyen Duc Nguyen, Hieu Vu Duc, Hoang Nguyen Viet, Lam Tung Nguyen, Hoang Viet Tran, Pham Ngoc Hung IEEE RIVF International Conference on Computing and Communication Technologies (RIVF) - Năm xuất bản: 2023; ISSN/ISBN:
[11]	A Query-based Black-box Attack to Evaluate the Robustness of One-Stage Object Detectors Duc-Anh Nguyen, Lam Nguyen Xuan, Trang Vu Ha Minh, Pham Ngoc Hung The 15th IEEE International Conference on Knowledge and Systems Engineering (KSE 2023) - Năm xuất bản: 2023; ISSN/ISBN:
[12]	A Method for Change Impact Analysis of C# Projects Viet Tran, Loan Nguyen Thi Mai, Kien Doan Duc, Nguyen Ha Trang, Pham Ngoc Hung Journal on Information Technologies & Communications - Năm xuất bản: 2024; ISSN/ISBN:
[13]	A Non-Test Driver Concolic-Based Unit Testing Method for Java Projects Hoang-Viet Tran, Minh Quan Nguyen, Thanh Dat Nguyen Dinh, Thi Trang Do, Linh Manh Pham, Pham Ngoc Hung The 13th Conference on Information Technology and its Applications (CITA 2024) - Năm xuất bản: 2024; ISSN/ISBN:
[14]	ATIU: An Automated Method for Testing Embedded C/C++ Projects Containing Incomplete Units Minh-Hieu Do, Hoang-Viet Tran, Pham Ngoc Hung The International Conference on Intelligent Systems & Networks, pp. 531-540, Springer Nature Singapore - Năm xuất bản: 2024; ISSN/ISBN:
[15]	A Control Flow Graph Generation Method for Java Projects Hoang-Viet Tran, Pham Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering, vol. 40, issue 1 - Năm xuất bản: 2024; ISSN/ISBN:
[16]	SCADefender: An Autoencoder-based Defense for CNN-based Image Classifiers Nguyen Duc Anh, Kha Do Minh, Nguyen Nhu Ngoc, Pham Ngoc Hung International Journal of Pattern Recognition and Artificial Intelligence, Vol. 37, No. 12, 2350027 - Năm xuất bản: 2023; ISSN/ISBN:
[17]	Automated Test Data Generation and Stubbing Method for C/C++ Embedded Projects Lam Nguyen Tung, Nguyen Vu Binh Duong Khoi Nguyen Le, Pham Ngoc Hung Automated Software Engineering, 31, 52 (2024). https://doi.org/10.1007/s10515-024-00449-6 - Năm xuất bản: 2024; ISSN/ISBN:
[18]	Fairness for machine learning software in education: A systematic mapping study Nga Pham, Pham Ngoc Hung, Anh Nguyen-Duc Journal of Systems and Software, Volume 219, 112244 - Năm xuất bản: 2024; ISSN/ISBN:
[19]	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 Phạm Ngọc Hùng; Nguyễn Việt Hà; Hồ Sĩ Đàm Kỷ yếu Hội thảo Quốc gia: Một số vấn đề chọn lọc của công nghệ thông tin. Chủ đề: Giáo dục điện tử (E - learning) - Năm xuất bản: 2008; ISSN/ISBN:
[20]	Kiểm thử đơn vị tự động dựa trên phân tích mã nguồn Phạm Ngọc Hùng và Trần Hoàng Việt NXB Đại học Quốc Gia Hà Nội - Năm xuất bản: 2023; ISSN/ISBN:
[21]	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 Đỗ Đức Giáo, Phạm Ngọc Hùng Kỷ yếu Hội thảo quốc gia lần thứ 5, pp. 66-75 - Năm xuất bản: 2002; ISSN/ISBN:
[22]	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 Đỗ Đức Giáo, Phạm Ngọc Hùng, Trịnh Đình Vinh Kỷ yếu Hội thảo Quốc gia FAIR'03, pp. 368-377 - Năm xuất bản: 2003; ISSN/ISBN:
[23]	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 Phạm Ngọc Hùng, Nguyễn Việt Hà, Hồ Sĩ Đàm 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”, pp. 159-165 - Năm xuất bản: 2004; ISSN/ISBN:
[24]	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 Đỗ Văn Chiểu, Phạm Ngọc Hùng, Nguyễn Việt Hà 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”, pp. 130-138 - Năm xuất bản: 2005; ISSN/ISBN:
[25]	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 Nguyễn Ngọc Bảo, Phạm Ngọc Hùng, Nguyễn Việt Hà Kỷ yếu Hội thảo Quốc gia FAIR'05, pp. 178-186 - Năm xuất bản: 2005; ISSN/ISBN:
[26]	Một phương pháp hiệu quả cho 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 Phạm Ngọc Hùng, Nguyễn Trọng Khánh, Đào Anh Hiển, Nguyễn Việt Hà Kỹ yếu Hội thảo Quốc gia FAIR 2011 - Năm xuất bản: 2011; ISSN/ISBN:
[27]	Phương Pháp Sinh Mô Hình Tự Động cho Các Thành Phần Phần Mềm Hoàng Minh Đường, Trần Trọng Hóa, Phạm Ngọc Hùng Kỷ yếu Hội thảo quốc gia lần thứ 15, “Một số vấn đề chọn lọc của công nghệ thông tin và truyền thông”, pp. 384-390, NXB KH & KT - Năm xuất bản: 2013; ISSN/ISBN:
[28]	Phương pháp sinh mô hình tự động cho các biểu đồ tuần tự UML 2.0 Lê Chí Luận, Phạm Ngọc Hùng Kỷ yếu Hội nghị Khoa học Quốc gia lần thứ 9: Nghiên cứu cơ bản và ứng dụng công nghệ thông tin (FAIR 2016), pp. 619-625 - Năm xuất bản: 2016; ISSN/ISBN:
[29]	An Assumption Regeneration Approach for Component-Based Software Verification P. N. Hung, N. T. Thang, T. Katayama Japan-Vietnam Workshop on Software Engineering (JVSE) - Verifiable and Evolvable e-Society, pp. 43-52 - Năm xuất bản: 2006; ISSN/ISBN:
[30]	Adaptive Modular Model Checking for Evolving Component-Based Software P. N. Hung, T. Katayama Japan-Vietnam Workshop on Software Engineering (JVSE) - Verifiable and Evolvable e-Society, pp. 29-36 - Năm xuất bản: 2007; ISSN/ISBN:
[31]	An Assume-Guarantee Method for Modular Verification of Evolving Component-Based Software P. N. Hung, N. T. Thang, T. Katayama 6th WADS in conjunction with the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 160–165 - Năm xuất bản: 2007; ISSN/ISBN:
[32]	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software P. N. Hung, T. Katayama Asia-Pacific Software Engineering Conference (APSEC), pp. 479-486, IEEE Computer Society Press, ISSN:978-0-7695-3446-6 - Năm xuất bản: 2008; ISSN/ISBN:
[33]	A Minimized Assumption Generation Method for Component-Based Software Verification P. N. Hung, T. Aoki, T. Katayama International Colloquium on Theoretical Aspects of Computing, LNCS 5684, pp. 277-–291, Springer-Verlag Berlin Heidelberg, ISBN:978-3-642-03465-7 - Năm xuất bản: 2009; ISSN/ISBN:
[34]	An Effective Framework for Assume-Guarantee Verification of Evolving Component-Based Software P. N. Hung, T. Aoki, T. Katayama Joint International and Annual ERCIM Workshops on Principles of Software Evolution (IWPSE) and Software Evolution (EVOL) Workshops, ACM, NY, pp. 109-118, ISBN:978-1-60558-678-6 - Năm xuất bản: 2009; ISSN/ISBN:
[35]	Assume-Guarantee Tools for Component-Based Software Verification P. N. Hung, N. V. Ha, T. Aoki and T. Katayama 2nd Intern. Conf. on Knowledge and Systems Engineering IEEE, pp. 172-177, IEEE Computer Society Press - Năm xuất bản: 2010; ISSN/ISBN:
[36]	A Method for Generating Models of Black-box Components Le Ba Cuong and Pham Ngoc Hung 4th Intern. Conf. on Knowledge and Systems Engineering (KSE 2012), pp. 217 – 222, IEEE Computer Society Press - Năm xuất bản: 2012; ISSN/ISBN:
[37]	An Improvement of Minimized Assumption Generation Method for Component-based Software Verification P. N. Hung, N. V. Ha, T. Aoki and T. Katayama In Proc. of The 9th IEEE-RIVF International Conference on Computing and Communication Technologies, pp. 238-243, IEEE Computer Society Press - Năm xuất bản: 2012; ISSN/ISBN:
[38]	An Efficient Method for Automated Control Flow Testing of Programs Quang-Trung Nguyen and Pham Ngoc Hung In Proc. of the 2nd International Conference on Context-Aware Systems and Applications, Springer LNCS, pp. 133-143, Springer-Verlag Berlin Heidelberg - Năm xuất bản: 2013; ISSN/ISBN:
[39]	A Method and Tool Support for Automated Data Flow Testing of Java Programs Van-Cuong Pham and Pham Ngoc Hung In Proc. of the 2nd International Conference on Context-Aware Systems and Applications, Springer LNCS, pp. 157-167, Springer-Verlag Berlin Heidelberg - Năm xuất bản: 2013; ISSN/ISBN:
[40]	An Assume-Guarantee Model Checker for Component-Based Systems Minh-Duong Hoang, Khanh-Trinh Le and Pham Ngoc Hung In Proc. of The 10th IEEE-RIVF International Conference on Computing and Communication Technologies, pp. 22-26, IEEE Computer Society Press - Năm xuất bản: 2013; ISSN/ISBN:
[41]	An Efficient Method for Automated Generating Models of Component-based Software Hoang-Viet Tran, Chi-Luan Le, Quang-Trung Nguyen and Pham Ngoc Hung In Proc. of the 6th International Conf. on Knowledge and Systems Engineering, Springer LNCS, pp. 499-511 - Năm xuất bản: 2014; ISSN/ISBN:
[42]	A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language Thi Dao Vu, Pham Ngoc Hung and Viet Ha Nguyen In Proc. of the 6th International Symposium on Information and Communication Technology (SoICT’2015), ACM, New York, NY, USA, pp. 335-341 - Năm xuất bản: 2015; ISSN/ISBN:
[43]	A Correlation-aware Negotiation Approach for Service Composition Son Nguyen, Hieu Vo and Pham Ngoc Hung In Proc. of the 6th International Symposium on Information and Communication Technology (SoICT’2015), ACM, New York, NY, USA, pp. 210-216 - Năm xuất bản: 2015; ISSN/ISBN:
[44]	A Method for Automated Unit Testing of C Programs Duc-Anh Nguyen, Pham Ngoc Hung and Viet Ha Nguyen In proc. of The NAFOSTED Conference on Information and Computer Science (NICS), pp. 17-22 - Năm xuất bản: 2016; ISSN/ISBN:
[45]	A Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran, Chi-Luan Le and Pham Ngoc Hung In Addendum Proc. of the 2016 IEEE-RIVF International Conference on Computing and Communication Technologies, pp. 1-6 - Năm xuất bản: 2016; ISSN/ISBN:
[46]	A Method for Automated Test Cases Generation from UML Models with String Constraints Thi Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen In proc. of Advanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 525-536 - Năm xuất bản: 2017; ISSN/ISBN:
[47]	On Implementation of the Assumption Generation Method for Component-Based Software Verification Chi-Luan Le, Hoang-Viet Tran, and Pham Ngoc Hung In proc. of Advanced Topics in Intelligent Information and Database Systems. Springer International Publishing, pp. 549-558 - Năm xuất bản: 2017; ISSN/ISBN:
[48]	JCIA: A Tool for Change Impact Analysis of Java EE Applications Ba Cuong Le, Van Son Nguyen, Duc Anh Nguyen, Ngoc Hung Pham, and Dinh Hieu Vo In: Bhateja V., Nguyen B., Nguyen N., Satapathy S., Le DN. (eds) Information Systems Design and Intelligent Applications. Advances in Intelligent Systems and Computing, vol 672. Springer, Singapore - Năm xuất bản: 2017; ISSN/ISBN:
[49]	A Test Data Generation Method for C/C++ Projects Duc-Anh Nguyen, Pham Ngoc Hung In Proceedings of the Eighth International Symposium on Information and Communication Technology (SoICT 2017). ACM, New York, NY, USA, 431-438 - Năm xuất bản: 2017; ISSN/ISBN:
[50]	On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software Hoang-Viet Tran, Pham Ngoc Hung, and Dang Van Hung In Proc. of the 10th International Conference on Knowledge and Systems Engineering (KSE 2018), pp. 270-275, IEEE Computer Society Press - Năm xuất bản: 2018; ISSN/ISBN:
[51]	A method for Automated User Interface Testing of Windows-based Applications Duong Tran Dinh, Pham Ngoc Hung, Tung Nguyen Duy In Proc. of the 9th International Symposium on Information and Communication Technology (SoICT’2018) ACM, New York, NY, USA, 337-343 - Năm xuất bản: 2018; ISSN/ISBN:
[52]	On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems Hoang-Viet Tran, Quang-Trung Nguyen and Pham Ngoc Hung In Proceedings of the Tenth International Symposium on Information and Communication Technology (SoICT 2019). ACM, New York, NY, USA, 457-464 - Năm xuất bản: 2019; ISSN/ISBN:
[53]	Practical approach to access the impact of global variables on program parallelism Nguyen Thu Trang, Nguyen Hue, and Bui Quang Cuong, Pham Ngoc Hung, Vo Dinh Hieu, Takeuchi Shigeki In: 14th International Conference on Advanced COMPuting and Applications, 25 November 2020 - Năm xuất bản: 2020; ISSN/ISBN:
[54]	Generate Test Data from C/C++ Source Code using Weighted CFG and Boundary Values Tran, Nguyen Huong and Do, Minh Kha and Tran, Hoang Viet and Pham, Ngoc Hung In Proceedings of 12th International Conference on Knowledge and Systems Engineering (KSE 2020), IEEE - Năm xuất bản: 2020; ISSN/ISBN:
[55]	An Autoencoder-based Method for Targeted Attack on Deep Neural Network Models Nguyen Duc Anh and Do Minh Kha and Pham Thi To Nga and Pham Ngoc Hung 2021 IEEE International Conference on Research, Innovation and Vision for the Future (RIVF 2021), IEEE - Năm xuất bản: 2021; ISSN/ISBN:
[56]	Arext: Automatic Regular Expression Testing Tool Based on Generating Strings With Full Coverage Nguyen Van Hoan, Pham Ngoc Hung 13th International Conference on Knowledge and Systems Engineering (KSE), IEEE - Năm xuất bản: 2021; ISSN/ISBN:
[57]	Automated Test Data Generation for Typescript Web Applications Doan Thi Hoai Thu, Duc-Anh Nguyen, Pham Ngoc Hung 13th International Conference on Knowledge and Systems Engineering (KSE), IEEE - Năm xuất bản: 2021; ISSN/ISBN:
[58]	A Counterexample Analysis Method for Assume-Guarantee Verification of Component-Based Software Tran Hoang Viet, Pham Ngoc Hung 13th International Conference on Knowledge and Systems Engineering (KSE), IEEE - Năm xuất bản: 2021; ISSN/ISBN:
[59]	An Efficient Method for Automated Regression Test Data Generation for C/C++ Projects Tran Hoang Viet, Pham Ngoc Hung In 8th NAFOSTED Conference on Information and Computer Science (NICS), IEEE, pp. 199 - 204 - Năm xuất bản: 2022; ISSN/ISBN:
[60]	Method for Improving Quality of Adversarial Examples Duc-Anh Nguyen, Kha Do Minh, Duc-Anh Pham, Pham Ngoc Hung Proceedings of the 14th International Conference on Agents and Artificial Intelligence - Volume 2 - Năm xuất bản: 2022; ISSN/ISBN:
[61]	An Improved Method of The Static Directed Automated Random Testing Method in Test Data Generation for C/C++ Projects Hoang-Viet Tran, Pham Ngoc Hung 14th International Conference on Knowledge and Systems Engineering (KSE), 10.1109/KSE56063.2022.9953772 - Năm xuất bản: 2022; ISSN/ISBN:
[62]	An Automated Test Data Generation Method for Templates of C++ Projects Minh-Hieu Do; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung 14th International Conference on Knowledge and Systems Engineering (KSE), 10.1109/KSE56063.2022.9953626 - Năm xuất bản: 2022; ISSN/ISBN:
[63]	An Automated Stub Method for Unit Testing C/C++ Projects Tran Nguyen Huong; Le Huu Chung; Lam Nguyen Tung; Hoang-Viet Tran; Pham Ngoc Hung In 14th International Conference on Knowledge and Systems Engineering (KSE), 10.1109/KSE56063.2022.9953784 - Năm xuất bản: 2022; ISSN/ISBN:
[64]	A Generator-based Method for Attacking Embedding-based Text Classifiers Kha Do Minh, Duc-Anh Nguyen, Minh Le Nguyen, Pham Ngoc Hung In the 16th IEEE-RIVF International Conference on Computing and Communication Technologies, IEEE - Năm xuất bản: 2022; ISSN/ISBN:
[65]	A Method of Automated Mock Data Generation for RESTful API Testing Thu Thi Hoai Doan, Quang Le Duy, Duc-Anh Nguyen, Pham Ngoc Hung In the 16th IEEE-RIVF International Conference on Computing and Communication Technologies, IEEE - Năm xuất bản: 2022; ISSN/ISBN:
[66]	A Method for Automated Test Data Generation for Units using Classes of Qt Framework in C++ Projects Thu Anh Bui, Lam Tung Nguyen, Viet Tran Hoang, Pham Ngoc Hung In the 16th IEEE-RIVF International Conference on Computing and Communication Technologies, IEEE - Năm xuất bản: 2022; ISSN/ISBN:
[67]	An Automated Program Repair Method Using Atomic Replacement for Java Programs Huyen Nguyen, Hoan Nguyen, Hoang Viet Chan, Pham Ngoc Hung In the 16th IEEE-RIVF International Conference on Computing and Communication Technologies, IEEE - Năm xuất bản: 2022; ISSN/ISBN:
[68]	A Pairwise Based Method for Automated Test Data Generation for C/C++ Projects Tran Hoang-Viet, Lam Tung Nguyen, Pham Ngoc Hung In the 16th IEEE-RIVF International Conference on Computing and Communication Technologies, IEEE - Năm xuất bản: 2022; ISSN/ISBN:
[69]	Fairness requirement in AI engineering – a review on current research and future directions Nga Pham, Pham Ngoc Hung, Anh Nguyen Duc International Conference on Sustainability in Software Engineering & Business Information Management: Innovation & Applications (SSEBIM 2022), Lecture Notes in Information Systems and Organisation, vol 62. Springer - Năm xuất bản: 2023; ISSN/ISBN:
[70]	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 Đỗ Đức Giáo, Phạm Ngọc Hùng, Đỗ Việt Hùng Tạp chí tin học và điều khiển học, Vol. 18, no. 4, pp. 295 – 308 - Năm xuất bản: 2002; ISSN/ISBN:
[71]	Case-based reasoning và khả năng tiếp cận bằng logic vị từ Nguyễn Việt Hà, Phạm Ngọc Hùng, Hồ Sĩ Đàm, Trần Vũ Việt Anh 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, Vol. 20, No. 4, pp. 51-60 - Năm xuất bản: 2004; ISSN/ISBN:
[72]	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 Nguyễn Việt Hà, Phạm Ngọc Hùng 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, No. 15, pp. 36-42 - Năm xuất bản: 2005; ISSN/ISBN:
[73]	Đặc tả và kiểm chứng tính bất biến của các hệ đa tác tử Phạm Ngọc Hùng, Nguyễn Ánh Nguyệt, Nguyễn Việt Hà 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, Vol. 27, no. 4, pp. 225-232 - Năm xuất bản: 2011; ISSN/ISBN:
[74]	A Method for Automated User Interaction Testing of Web Applications Le Khanh Trinh, Vo Dinh Hieu, Pham Ngoc Hung The special issue “Research, Development and Application on Information Technology and Communication Technology”, Volume E-3, No.8 (12), pp. 28-37 - Năm xuất bản: 2015; ISSN/ISBN:
[75]	A Method for Automated Test Cases Generation from Sequence Diagrams and Object Constraint Language for Concurrent Programs Thi Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen VNU Journal of Science: Computer Science and Communication Engineering, vol. 32, no. 3, pp. 54-71 - Năm xuất bản: 2016; ISSN/ISBN:
[76]	A Framework for Modeling and Modular Verifying of Component-Based System Designs Chi-Luan Le, Hoang-Viet Tran, Pham Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering, vol. 32, no. 2, pp. 31-42 - Năm xuất bản: 2016; ISSN/ISBN:
[77]	On Locally Strongest Assumption Generation Method for Component-Based Software Verification Hoang-Viet Tran, Pham Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering, vol. 34, no. 2, pp. 16-32 - Năm xuất bản: 2018; ISSN/ISBN:
[78]	A Hybrid Method for Test Data Generation for Unit Testing of C/C++ Projects Tran Nguyen Huong, Do Minh Kha, Tran Hoang Viet, Pham Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering, vol. 39, no. 2, pp. 53-72 - Năm xuất bản: 2023; ISSN/ISBN:
[79]	A Control Flow Graph Generation Method for Java Projects Hoang-Viet Tran, Pham Ngoc Hung VNU Journal of Science: Computer Science and Communication Engineering (accepted) - Năm xuất bản: 2023; ISSN/ISBN:
[80]	Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software P. N. Hung, T. Aoki, T. Katayama IEICE Trans, on Fundamentals of Electronics, Communications and Computer Sciences. Vol. E92-A, No. 11, pp. 2772-2780 - Năm xuất bản: 2009; ISSN/ISBN:
[81]	A Minimized Assumption Generation Method for Component-Based Software Verification P. N. Hung, N. V. Ha, T. Aoki and T. Katayama IEICE Trans. on Information and Systems, Vol. E93-D, No. 8, pp. 2172-2181 - Năm xuất bản: 2010; ISSN/ISBN:
[82]	On Optimization of Minimized Assumption Generation Method for Component-based Software Verification P. N. Hung, N. V. Ha, T. Aoki and T. Katayama IEICE Trans. on Fundamentals, Special Issue on Software Reliability Engineering, Vol. E95-A, No.9 - Năm xuất bản: 2012; ISSN/ISBN:
[83]	On Improvements of Directed Automated Random Testing in Test Data Generation for C++ Projects Duc Anh Nguyen, Tran Nguyen Huong, Hieu Vo Dinh, Pham Ngoc Hung International Journal of Software Engineering and Knowledge Engineering, vol. 29, no. 09, pp. 1279-1312 - Năm xuất bản: 2019; ISSN/ISBN:
[84]	On Locally Minimum and Strongest Assumption Generation Method for Component-based Software Verification Hoang-Viet Tran, Ngoc Hung Pham, Viet Ha Nguyen IEICE Trans. on Information and Systems, Special Issue on Formal Approaches, Vol.E102-D, No.8, pp.1449-1461 - Năm xuất bản: 2019; ISSN/ISBN:
[85]	A Framework for Assume-Guarantee Regression Verification Of Evolving Software Hoang-Viet Tran, Ngoc Hung Pham, Viet Ha Nguyen, Toshiaki Aoki Science of Computer Programming Journal, Volume 193, 102439 - Năm xuất bản: 2020; ISSN/ISBN:
[86]	An Automated Test Data Generation Method for Void Pointers and Function Pointers in C/C++ Libraries and Embedded Projects Lam Nguyen Tung, Hoang-Viet Tran, Khoi Nguyen Le, Pham Ngoc Hung Information and Software Technology, Volume 145, 106821 - Năm xuất bản: 2022; ISSN/ISBN:
[87]	A symbolic execution-based method to perform untargeted attack on feed-forward neural networks Nguyen Duc Anh, Do Minh Kha, Minh Le Nguyen, Pham Ngoc Hung Automated Software Engineering, Volume 29 (2), 46 - Năm xuất bản: 2022; ISSN/ISBN:
[88]	Improving diversity and quality of adversarial examples in adversarial transformation network Nguyen Duc Anh, Do Minh Kha, Khoi Nguyen Le, Minh Le Nguyen, Pham Ngoc Hung Soft Computing, 27, pp. 3689–3706 - Năm xuất bản: 2023; ISSN/ISBN:

[1]	Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà Nội Thời gian thực hiện: 01/03/2015 - 01/08/2018; vai trò: Thành viên
[2]	Khung ngữ nghĩa hình thức cho kết hợp và kiểm chứng mô hình trong phát triển phần mềm Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà Nội Thời gian thực hiện: 01/05/2016 - 01/05/2020; vai trò: Thành viên thực hiện chính
[3]	Khung Ngữ nghĩa Hình thức cho Kết hợp và Kiểm chứng Mô hình trong Phát triển Phần mềm Cơ quan quản lý nhiệm vụ/cấp kinh phí: Quỹ Nafosted, Bộ KHCN Thời gian thực hiện: 2016 - 2019; vai trò: Thành viên chính
[4]	Các phương pháp và công cụ phân tích chương trình và ứng dụng trong đào tạo Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà Nội Thời gian thực hiện: 2013 - 2015; vai trò: Thành viên chính
[5]	Nghiên cứu về kiểm chứng phần mềm trong ngữ cảnh tiến hóa Cơ quan quản lý nhiệm vụ/cấp kinh phí: Quỹ Nafosted, Bộ KHCN Thời gian thực hiện: 2010 - 2012; vai trò: Thành viên chính
[6]	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 Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2009 - 2011; vai trò: Thành viên chính
[7]	Phát triển phần mềm UT Automation cho FSOFT (Phiên bản nâng cấp) Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2023 - 2024; vai trò: Chủ trì
[8]	Phát triển Phiên bản nâng cấp cho Phần mềm UT Automation cho FSOFT Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2021 - 2022; vai trò: Chủ trì
[9]	Phát triển công cụ hỗ trợ kiểm thử tự động cho các dự án C/C++ cho FSOFT (AkaUTAutomation tool) Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2019 - 2020; vai trò: Chủ trì
[10]	Nghiên cứu các tiêu chí nhằm song song hóa và tối ưu trong tái cấu trúc mã nguồn cho các dự án bằng ngôn ngữ C Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty GAIO TECHNOLOGY CO., LTD, Nhật Bản Thời gian thực hiện: 2018 - 2019; vai trò: Chủ trì
[11]	Nghiên cứu và phát triển công cụ hỗ trợ kiểm thử tự động tương tác giao diện đồ họa cho các ứng dụng Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2017 - 2018; vai trò: Chủ trì
[12]	Nghiên cứu và phát triển công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn và áp dụng để giảm thiểu kinh phí cho kiểm thử hồi quy Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2016 - 2017; vai trò: Chủ trì
[13]	Nghiên cứu và phát triển công cụ sinh dữ liệu kiểm thử tự động từ mã nguồn Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2015 - 2016; vai trò: Chủ trì
[14]	Mô hình hóa mã nguồn cho các ứng dụng tại AIT, Mitani Sangyo nhằm đánh giá độ phức tạp và giảm thiểu rủi ro khi chỉnh sửa và nâng cấp Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Mitani Sangyo, Nhật Bản Thời gian thực hiện: 2015 - 2016; vai trò: Chủ trì
[15]	Các phương pháp và công cụ cho đảm bảo chất lượng các ứng dụng dựa trên thành phần tại Tập đoàn Mitani Sangyo Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Mitani Sangyo, Nhật Bản Thời gian thực hiện: 2012 - 2013; vai trò: Chủ trì
[16]	Nghiên cứu xây dựng cơ sở dữ liệu cỡ lớn sóng điện não của người Việt Nam phục vụ việc ứng dụng trong điều khiển thông minh và bước đầu ứng dụng trong hỗ trợ phục hồi chức năng vận động trên người bệnh đột quỵ não Cơ quan quản lý nhiệm vụ/cấp kinh phí: Nhiệm vụ KH&CN cấp quốc gia thuộc chương trình KH&CN KC-4.0/19-25, Bộ KH&CN Thời gian thực hiện: 10/2020 - 3/2024; vai trò: Chủ trì
[17]	Các phương pháp và công cụ hiệu quả cho đặc tả và kiểm chứng phần mềm trong ngữ cảnh tiến hóa Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2016 - 2019; vai trò: Chủ trì
[18]	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 Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2012 - 2014; vai trò: Chủ trì
[19]	Đặ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ử Cơ quan quản lý nhiệm vụ/cấp kinh phí: Trường ĐH Công nghệ, ĐHQGHN Thời gian thực hiện: 2010 - 2011; vai trò: Chủ trì
[20]	Các phương pháp và công cụ cho đảm bảo chất lượng các ứng dụng dựa trên thành phần tại Tập đoàn Mitani Sangyo Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Mitani Sangyo, Nhật Bản Thời gian thực hiện: 2012 - 2013; vai trò: Chủ trì
[21]	Các phương pháp và công cụ hiệu quả cho đặc tả và kiểm chứng phần mềm trong ngữ cảnh tiến hóa Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2016 - 2019; vai trò: Chủ trì
[22]	Các phương pháp và công cụ phân tích chương trình và ứng dụng trong đào tạo Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc gia Hà Nội Thời gian thực hiện: 2013 - 2015; vai trò: Thành viên chính
[23]	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 Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2012 - 2014; vai trò: Chủ trì
[24]	Mô hình hóa mã nguồn cho các ứng dụng tại AIT, Mitani Sangyo nhằm đánh giá độ phức tạp và giảm thiểu rủi ro khi chỉnh sửa và nâng cấp Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Mitani Sangyo, Nhật Bản Thời gian thực hiện: 2015 - 2016; vai trò: Chủ trì
[25]	Nghiên cứu các tiêu chí nhằm song song hóa và tối ưu trong tái cấu trúc mã nguồn cho các dự án bằng ngôn ngữ C Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty GAIO TECHNOLOGY CO., LTD, Nhật Bản Thời gian thực hiện: 2018 - 2019; vai trò: Chủ trì
[26]	Nghiên cứu và phát triển công cụ hỗ trợ kiểm thử tự động tương tác giao diện đồ họa cho các ứng dụng Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2017 - 2018; vai trò: Chủ trì
[27]	Nghiên cứu và phát triển công cụ phân tích sự ảnh hưởng của thay đổi mã nguồn và áp dụng để giảm thiểu kinh phí cho kiểm thử hồi quy Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2016 - 2017; vai trò: Chủ trì
[28]	Nghiên cứu và phát triển công cụ sinh dữ liệu kiểm thử tự động từ mã nguồn Cơ quan quản lý nhiệm vụ/cấp kinh phí: Tập đoàn Toshiba, Nhật Bản Thời gian thực hiện: 2015 - 2016; vai trò: Chủ trì
[29]	Nghiên cứu về kiểm chứng phần mềm trong ngữ cảnh tiến hóa Cơ quan quản lý nhiệm vụ/cấp kinh phí: Quỹ Nafosted, Bộ KHCN Thời gian thực hiện: 2010 - 2012; vai trò: Thành viên chính
[30]	Nghiên cứu xây dựng cơ sở dữ liệu cỡ lớn sóng điện não của người Việt Nam phục vụ việc ứng dụng trong điều khiển thông minh và bước đầu ứng dụng trong hỗ trợ phục hồi chức năng vận động trên người bệnh đột quỵ não Cơ quan quản lý nhiệm vụ/cấp kinh phí: Nhiệm vụ KH&CN cấp quốc gia thuộc chương trình KH&CN KC-4.0/19-25, Bộ KH&CN Thời gian thực hiện: 10/2020 - 3/2024; vai trò: Chủ trì
[31]	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 Cơ quan quản lý nhiệm vụ/cấp kinh phí: Đại học Quốc Gia Hà Nội Thời gian thực hiện: 2009 - 2011; vai trò: Thành viên chính
[32]	Phát triển công cụ hỗ trợ kiểm thử tự động cho các dự án C/C++ cho FSOFT (AkaUTAutomation tool) Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2019 - 2020; vai trò: Chủ trì
[33]	Phát triển phần mềm UT Automation cho FSOFT (Phiên bản nâng cấp) Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2023 - 2024; vai trò: Chủ trì
[34]	Phát triển Phiên bản nâng cấp cho Phần mềm UT Automation cho FSOFT Cơ quan quản lý nhiệm vụ/cấp kinh phí: Công ty TNHH Phần mềm FPT Thời gian thực hiện: 2021 - 2022; vai trò: Chủ trì
[35]	Đặ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ử Cơ quan quản lý nhiệm vụ/cấp kinh phí: Trường ĐH Công nghệ, ĐHQGHN Thời gian thực hiện: 2010 - 2011; vai trò: Chủ trì