Select * from Danhba where del=0 and vehuu=0 and usrname='nguyenthanhbinh' Science curiculum vitae personally - University of Da Nang
 

Nguyễn Thanh Bình
 

  Thông tin chung

  English

  Đề tài NC khoa học
  Bài báo, báo cáo khoa học
  Hướng dẫn Sau đại học
  Sách và giáo trình
  Các học phần và môn giảng dạy
  Giải thưởng khoa học, Phát minh, sáng chế
  Khen thưởng
  Thông tin khác

  Tài liệu tham khảo

  Hiệu chỉnh

 
Số người truy cập: 31,900,607

 
Mục này được 20142 lượt người xem
Họ và tên:  Nguyễn Thanh Bình
Giới tính:  Nam
Năm sinh:  16/06/1975
Nơi sinh: Quảng Trị
Quê quán Gio Linh, Quảng Trị
Tốt nghiệp ĐH chuyên ngành:  Tin học; Tại: Đại học Bách khoa – Đại học Đà Nẵng
Đơn vị công tác: Khoa Công nghệ Thông tin; Trường Đại học Bách Khoa
Chức vụ: Chủ nhiệm khoa
Học vị: Tiến sĩ; năm: 2004; Chuyên ngành: Công nghệ Thông tin; Tại: Viện Đại học Bách khoa Grenoble, CH Pháp
Chức danh KH:  Phó Giáo sư; công nhận năm: 2013
Dạy CN: Công nghệ thông tin
Lĩnh vực NC: Kiểm thử phần mềm, Khả năng kiểm thử phần mềm, Chất lượng phần mềm, Công nghệ phần mềm
Ngoại ngữ: Anh, Pháp
Địa chỉ liên hệ: Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, 54, Nguyễn Lương Bằng, TP. Đà Nẵng
Điện thoại: ; Mobile: 0914 74 79 74
Email: ntbinh@dut.udn.vn
 Quá trình giảng dạy và công tác
 2000-2004: Nghiên cứu sinh tại Viện Đại học Bách Khoa Grenoble, CH Pháp.

2004-nay: Giảng viên tại Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.

2006-2010: Trưởng Bộ môn Công nghệ phần mềm, Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.

2010-nay: Trưởng Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa, Đại học Đà Nẵng.
 Các công trình khoa học
[1] Đề tài cấp Bộ: Ứng dụng kiểm thử đột biến các câu lệnh truy vấn cơ sở dữ liệu. Chủ nhiệm: Nguyễn Thanh Bình. Thành viên: Đặng Thiên Bình, Hồ Phan Hiếu. Mã số: B2010-ĐN02-52. Năm: 2011. (May 18 2011 4:27AM)
[2] Đề tài cấp Nhà nước: Nghiên cứu kỹ thuật phân tích khả năng kiểm thử phần mềm và mở rộng tính năng của công cụ SATAN, thử nghiệm ứng dụng trong môi trường SCICOS và SIMULINK. Chủ nhiệm: Nguyễn Thanh Bình. Thành viên: Đặng Thiên Bình, Trịnh Công Duy, Nguyễn Văn Khang, Đặng Văn Hưng, Đỗ Huy Vũ, Michel Delaunay, Chantal Robach. Mã số: 05/2010/HĐ - NĐT. Năm: 2011. (May 18 2011 4:32AM)
  
 Các bài báo, báo cáo khoa học
TRONG NƯỚC:
[1]Bài báo: Cải tiến công cụ sinh dữ liệu thử Java PathFinder bởi tối ưu các ràng buộc. Tác giả: TS. Lê Thị Mỹ Hạnh*; PGS.TS. Nguyễn Thanh Bình. Tạp chí Khoa học Công nghệ ĐHĐN. Số: Số 5(114).2017-Quyển 1. Trang: 1180. Năm 2017. (Jul 21 2017 2:12PM)
[2]Bài báo: Kiểm Thử Và Cải Tiến Hiệu Năng Của Hệ Thống Đăng Ký Tín Chỉ Tại Trường Đại Học Kinh Tế. Tác giả: ThS. Đặng Ngọc Châu*; PGS.TS. Nguyễn Thanh Bình. Tạp chí Khoa học Công nghệ ĐHĐN. Số: Số 5(114).2017-Quyển 1. Trang: 977. Năm 2017. (Jul 21 2017 2:12PM)
[3]Bài báo: Bộ toán tử đột biến cho ngôn ngữ Lustre. Tác giả: Lê Văn Phol, Nguyễn Thanh Bình, Ioannis Parissis. Kỷ yếu Hội thảo quốc gia lần thứ XIX: Một số vấn đề chọn lọc của Công nghệ thông tin và truyền thông, Hà Nội, 10/2016. Số: ISBN: 978-604-67-0781-3. Trang: 37--42. Năm 2016. (Jul 28 2017 9:07AM)
[4]Bài báo: Giải pháp hệ thống thi trắc nghiệm khách quan ứng dụng công nghệ không dây. Tác giả: Trương Minh Huy*; Nguyễn Thanh Bình
walgreens pharmacy coupon site promo codes walgreens
. Tạp chí Khoa học Công nghệ ĐHĐN
marriage affairs blog.ivanovtech.com i want an affair
. Số: Số 03(88).2015. Trang: 114. Năm 2015.
(Jun 3 2015 10:41AM)
[5]Bài báo: Phân tích khả năng kiểm thử chương trình hướng đối tượng Java. Tác giả: Nguyễn Thị Thúy Hoài*; Nguyễn Thanh Bình. Tạp chí Khoa học Công nghệ ĐHĐN. Số: Số 12(97).2015, Quyển 2. Trang: 25-30. Năm 2015. (Mar 23 2016 4:08PM)
[6]Bài báo: Sinh dữ liệu thử cho ứng dụng lustre/scade sử dụng điều kiện kích hoạt. Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis. Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR 2015). Số: Kỷ yếu Hội thảo. Trang: 628-639. Năm 2015. (Apr 18 2016 8:30AM)
[7]Bài báo: Sinh ca kiểm thử cho các hệ thống phản ứng sử dụng công cụ kiểm chứng mô hình NUSMV. Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình. Chuyên san Kỹ thuật và Công nghệ, Tạp chí khoa học Đại Học Huế. Số: Tập 106, Số 7. Trang: 55-66. Năm 2015. (Apr 18 2016 8:46AM)
[8]Bài báo: Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình. Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình. Tạp chí khoa học và công nghệ Đại học Đà Nẵng. Số: 9(94). Trang: 84-90. Năm 2015. (Apr 18 2016 8:22AM)
[9]Bài báo: Giải pháp sinh dữ liệu thử cho ứng dụng tương tác. Tác giả: Lê Thanh Long, Nguyen Thanh Binh, Ioannis Parissis
abortion stories gone wrong read teenage abortion facts
. Kỷ yếu Hội nghị Quốc gia lần thứ VII về Nghiên cứu cơ bản và ứng dụng Công Nghệ thông tin (FAIR)
marriage affairs all wife cheat i want an affair
. Số: ISBN: 978-604-913-300-8. Trang: 134-144. Năm 2014.
(Jan 14 2015 3:56PM)
[10]Bài báo: Cải tiến thực thi đột biến trong kiểm thử đột biến cho các mô hình Simulink sử dụng tính toán song song. Tác giả: Lê Thị Mỹ Hạnh, Khuất Thanh Tùng, Nguyễn Thanh Bình. Tạp chí Khoa học và Công nghệ Đại học Đà Nẵng
walgreens pharmacy coupon site promo codes walgreens
. Số: 1(74). Trang: 9-13. Năm 2014.
(Mar 5 2014 7:44AM)
[11]Bài báo: TTT: a Test Modeling Language for Interactive Applications Based on Task Trees. Tác giả: Lê Thanh Long, Nguyễn Thanh Binh, Ioannis Parissis
cvs weekly sale shauneutsey.com prescription savings cards
. Kỷ yếu Hội thảo quốc gia lần thứ XVI: Một số vấn đề chọn lọc của CNTT & TT (@ 2013)
abortion stories gone wrong information about abortions teenage abortion facts
walgreens pharmacy coupon walgreen online coupons promo codes walgreens
. Số: XVI. Trang: 333-338. Năm 2013.
(Apr 15 2014 3:37PM)
[12]Bài báo: Tự động sinh đột biến cho các mô hình Simulink/Matlab. Tác giả: Lê Thị Mỹ Hạnh, Nguyễn Thanh Bình
walgreens pharmacy coupon link promo codes walgreens
. Kỷ yếu Hội thảo quốc gia lần thứ XVI: Một số vấn đề chọn lọc của CNTT & TT (@ 2013)
marriage affairs all wife cheat i want an affair
unfaithful spouse developerstalk.com i dreamed my husband cheated on me
. Số: XVI. Trang: 339-346. Năm 2013.
(Apr 15 2014 3:40PM)
[13]Bài báo: Sinh ca kiểm thử tự động trong kiểm thử hồi quy cho các hệ thống phản ứng. Tác giả: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis
unfaithful spouse infidelity i dreamed my husband cheated on me
. Kỷ yếu Hội nghị Quốc gia lần thứ VI về Nghiên cứu cơ bản và ứng dụng Công nghệ Thông tin (FAIR). Số: ISBN 978-604-913-165-3. Trang: 484-493. Năm 2013. (Jan 20 2014 9:40AM)
[14]Bài báo: Kiểm thử đột biến – Các kỹ thuật và ứng dụng. Tác giả: Lê Thị Mỹ Hạnh, Nguyễn Thanh Bình. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng
cvs weekly sale shauneutsey.com prescription savings cards
. Số: 8(57). Trang: 7-12. Năm 2012.
(Oct 23 2012 12:48PM)
[15]Bài báo: Phân tích tĩnh nhằm phát hiện các khiếm khuyết trong mã nguồn C. Tác giả: Nguyễn Thanh Bình, Nguyễn Thị Thùy Linh. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵngào
walgreens prints coupons rx coupons printable free printable coupons
. Số: 11(60). Trang: 40-46. Năm 2012.
(Jan 19 2013 9:06PM)
[16]Bài báo: Ứng dụng kỹ thuật tái cấu trúc cơ sở dữ liệu nhằm nâng cao chất lượng phần mềm. Tác giả: Nguyễn Phương Tâm, Nguyễn Thanh Bình
cvs weekly sale shauneutsey.com prescription savings cards
. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng
marriage affairs open i want an affair
. Số: Số 4(45). Trang: 15-21. Năm 2011.
(Jan 20 2012 11:18AM)
[17]Bài báo: Tự động phân tích khả năng kiểm thử các mô hình Simulink. Tác giả: Nguyễn Thanh Bình, Đặng Thiên Bình, Huy-Vu Do, Delaunay, Chantal Robach. Tạp Chí Khoa học và Công nghệ Các Trường Đại học Kỹ thuật. Số: 84. Trang: 29-35. Năm 2011. (May 29 2012 9:58PM)
[18]Bài báo: Xây dựng công cụ kiểm thử đột biến các câu lệnh truy vấn cơ sở dữ liệu. Tác giả: Nguyễn Thanh Bình, Hồ Văn Phi. Kỷ yếu Hội thảo quốc gia Công nghệ Thông tin và Truyền thông 2010. Năm 2010. (May 17 2011 9:14AM)
[19]Bài báo: Ứng dụng kỹ thuật kiểm thử đột biến các chương trình Csharp. Tác giả: Nguyễn Thanh Bình, Nguyễn Quang Vũ. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 34. Năm 2009. (May 17 2011 9:11AM)
[20]Bài báo: Ứng dụng thanh tra mã nguồn trong tiến trình phát triển phần mềm. Tác giả: Nguyễn Thanh Bình, Nguyễn Thị Hùng
cvs weekly sale cvs print prescription savings cards
. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 32. Năm 2009. (May 18 2011 5:01AM)
[21]Bài báo: Giải pháp nâng cao chất lượng phần mềm hướng đối tượng. Tác giả: Nguyễn Thanh Bình, Đặng Thị Lệ Thu. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng. Số: 28. Năm 2008. (May 17 2011 9:17AM)
[22]Bài báo: Phân tích khả năng kiểm thử các đơn vị phần mềm. Tác giả: Nguyễn Thanh Bình. Tạp chí Khoa học và Công nghệ, Đại học Đà Nẵng
unfaithful spouse developerstalk.com i dreamed my husband cheated on me
. Số: 16. Năm 2006.
(May 17 2011 9:18AM)
QUỐC TẾ:
[1]Article: A novel fitness function of metaheuristic algorithms for test data generation for Simulink models based on mutation analysis. Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung. The Journal of Systems and Software. No: ISSN 0164-1212, Vol. 120 Issue C. Pages: 17--30. Year 2016. (Jul 28 2017 8:58AM)
[2]Article: TTTEST : The Tool Support For Testing Interactive Multimodal Applications. Authors: Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis. In Proceedings of the international Conference on Electronic, Information and Comunication (ICEIC). No: Conf. Paper. Pages: 78-81. Year 2016. (Apr 18 2016 8:58AM)
[3]Article: Testing Multimodal Interactive Applications By Means of The TTT Language. Authors: Le Thanh Long, Nguyen Thanh Binh, Ioannis Parissis. Domain Specific Model-Based Approaches To Verification And Validation - Amaretto 2016, In conjunction with the 4th International Conference on Model-Driven Engineering and Software Development - MODELSWARD 2016. No: ISBN: 978-989-758-166-3. Pages: 23-32. Year 2016. (Apr 18 2016 9:02AM)
[4]Article: Improving Mutant Generation for Simulink Models using Genetic Algorithm. Authors: Nguyen Thi Ha Quyen, Khuat Thanh Tung, Le Thi My Hanh, Nguyen Thanh Binh. Proceeding of the International Conference on Electronics, Information and Communication (ICEIC). No: Conference paper. Pages: 103-106. Year 2016. (Apr 17 2016 6:21PM)
[5]Article: Survey on Mutation-based Test Data Generation. Authors: Hanh Le Thi My, Binh Nguyen Thanh, Tung Khuat Thanh. International Journal of Electrical and Computer Engineering (IJECE, ISSN: 2088-8708). No: Volume 5 Issue 5. Pages: 1164-1173. Year 2015. (Apr 17 2016 6:24PM)
[6]Article: A regression testing approach for Lustre/SCADE programs​. Authors: Trinh Cong Duy, Nguyen Thanh Bình, Ioannis Parissis. SoICT 2015 The Sixth International Symposium on Information and Communication Technology. No: ISBN: 978-1-4503-3843-1. Pages: 288-303. Year 2015. (Apr 18 2016 8:41AM)
[7]Article: Mutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing . Authors: Le Thi My Hanh, Khuat Thanh Tung, Nguyen Thanh Binh . International Journal of Computer and Information Technology
marriage affairs blog.ivanovtech.com i want an affair
cvs weekly sale shauneutsey.com prescription savings cards
. No: Volume 03 – Issue 04. Pages: 763-771. Year 2014.
(Sep 8 2014 8:53AM)
[8]Article: Applying the meta-heuristic algorithms for mutation-based Test data generation for Simulink models. Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung
abortion stories gone wrong read teenage abortion facts
. Proceeding of the fifth international symposium on Information and Communication Technology (SoICT 2014)
walgreens pharmacy coupon walgreen online coupons promo codes walgreens
. No: 978-1-4503-2930-9. Pages: 102-109. Year 2014.
(Dec 17 2014 8:37PM)
[9]Article: A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models. Authors: Le Thi My Hanh, Nguyen Thanh Binh, Khuat Thanh Tung. Knowledge and Systems Engineering - Advances in Intelligent Systems and Computing. No: 326. Pages: 169-181. Year 2014. (Oct 22 2014 10:06AM)
[10]Article: A New Test Modeling Language for Interactive Applications Based on Task Trees. Authors: Lê Thanh Long, Nguyễn Thanh Bình, Ioannis Parissis. Proceedings of the 4th Symposium on Information and Communication Technology (SoICT 2013). No: ISBN 978-1-4503-2454-0. Pages: 285-293. Year 2013. (Dec 7 2013 1:05AM)
[11]Article: Automatic generation of test cases in regression testing for Lustre/SCADE programs. Authors: Trịnh Công Duy, Nguyễn Thanh Bình, Ioannis Parissis. Journal of Software Engineering and Applications. No: 6. Pages: 27-35. Year 2013. (Nov 2 2013 9:15AM)
[12]Article: Mutation Operators for Simulink Models. Authors: Le Thi My Hanh, Nguyen Thanh Binh. Proceedings of the Fourth International Conference on Knowledge and Systems Engineering (KSE 2012). No: 4. Pages: 54-60. Year 2012. (Aug 21 2012 3:58PM)
[13]Article: Testability Analysis Approach For Reactive Systems. Authors: Nguyễn Thanh Bình, Chantal Robach
walgreens pharmacy coupon site promo codes walgreens
. International Journal of Computer Science Issues
walgreens pharmacy coupon site promo codes walgreens
. No: Vol. 8, Issue 6, No 2. Pages: 13-20. Year 2011.
(Jan 20 2012 11:20AM)
[14]Article: Transition-Based Testability Analysis For Reactive Systems. Authors: Nguyễn Thanh Bình, Michel Delaunay, Chantal Robachwalgreens pharmacy coupon link promo codes walgreens. Proceedings of the IEEE International Conference on Computer Science and Automation Engineering. No: Vol. 2 of 4. Pages: 551-558. Year 2011. (May 17 2011 8:48AM)
[15]Article: Testability Metrics For Extended Finite State Machines. Authors: Nguyễn Thanh Bình, Michel DELAUNAY, Chantal ROBACH
marriage affairs open i want an affair
cvs weekly sale shauneutsey.com prescription savings cards
. The Tenth IASTED International Conference on Software Engineering. Year 2011. (May 17 2011 8:49AM)
[16]Article: Testability Analysis Integrated Into Scicos Development Environment. Authors: Nguyễn Thanh Bình, Đặng Thiên Bình, Michel DELAUNAY, Chantal ROBACH. Proceedings of IEEE RIVF International Conference on Computing & Communication Technologies, Research, Innovation, and Vision for the Future. Year 2010. (May 17 2011 9:06AM)
[17]Article: Applying type theory to formal specification of recursive multiagent systems. Authors: Hoàng T. Thanh Hà, Michel Occello, Nguyễn Thanh Bình. proceedings of IEEE-RIVF International Conference on Computing and Telecommunication Technologies
cvs weekly sale cvs print prescription savings cards
. Year 2009.
(May 17 2011 9:15AM)
[18]Article: Mesure de Code Source des Logiciels Flots de Données. Authors: Nguyễn Thanh Bình. Actes de la troisième Conférence internationale associant chercheurs vietnamiens et francophones - RIVF'05. Year 2005. (May 17 2011 9:19AM)
[19]Article: Testability Analysis of Reactive Software. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. IWoTA 2004. Proceedings. First International Workshop on Testability Assessment. Year 2004. (May 17 2011 9:20AM)
[20]Article: Testability Analysis of Data-Flow Software. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach
unfaithful spouse developerstalk.com i dreamed my husband cheated on me
. Proceedings of the International Workshop on Test and Analysis of Component Based Systems (TACoS'04)
walgreens pharmacy coupon walgreen online coupons promo codes walgreens
. Year 2004.
(May 17 2011 9:21AM)
[21]Article: Testing Criteria for Data Flow Software. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. Proceedings of the 10th Asia-Pacific Software Engineering Conference. Year 2003. (May 17 2011 9:22AM)
[22]Article: Testability Analysis and Its Application to Embedded Software. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. Proceedings of the International Conference on Software Quality
walgreens pharmacy coupon link promo codes walgreens
. Year 2003.
(May 17 2011 9:25AM)
[23]Article: Analyse de la Testabilité des Logiciels Flots de Données Synchrones. Authors: Huy-Vu Do, Nguyễn Thanh Bình and C. Robach and M. Delaunay. Actes de la première Conférence internationale associant chercheurs vietnamiens et francophones - RIVF'03. Year 2003. (May 17 2011 9:26AM)
[24]Article: Testing Strategies Using Accessibility for Data Flow Software. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. Proceedings of the 7th IASTED International Conference on Software Engineering and Applications. Year 2003. (May 17 2011 9:24AM)
[25]Article: Testability Analysis For Software Components. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. Proceedings of the IEEE International Conference on Software Maintenance
walgreens pharmacy coupon link promo codes walgreens
. Year 2002.
(May 17 2011 9:29AM)
[26]Article: Testability Analysis with Respect to Testing Criteria for Software Components. Authors: Nguyễn Thanh Bình, M. Delaunay and C. Robach. Proceedings of the 6th IASTED International Conference on Software Engineering and Applications
unfaithful spouse developerstalk.com i dreamed my husband cheated on me
. Year 2002.
(May 17 2011 9:27AM)
[27]Article: Mutation Testing Applied to Hardware: the Mutants Generation. Authors: Nguyễn Thanh Bình and C. Robach
cvs weekly sale cvs print prescription savings cards
. Proceedings of the 11th IFIP International Conference on Very Large Scale Integration
abortion stories gone wrong read teenage abortion facts
. Year 2001.
(May 17 2011 9:31AM)
  
 Sách và giáo trình
(Feb 29 2016 2:59PM)(Oct 22 2014 10:09AM)(Nov 2 2013 9:17AM)(Feb 12 2014 9:20AM)(Dec 16 2012 7:42PM)(May 18 2011 4:49AM)
[1]Phân tích và thiết kế giải thuật Chủ biên: Nguyễn Thanh Bình. Đồng tác giả: Phạm Minh Tuấn, Đặng Thiên Bình. Nơi XB: Nhà xuất bản Giáo dục Việt Nam. Năm 2016.
[2]Giáo trình thực hành Tin học đại cương Chủ biên: Nguyễn Thanh Bình, Phan Thanh Tao, Nguyễn Tấn Khôi, Huỳnh Hữu Hưng, Nguyễn Văn Nguyên. Nơi XB: NXB Thông tin và Truyền thông. Năm 2014.
[3]Kiểm thử phần mềm
Chủ biên: Nguyễn Thanh Bình. Đồng tác giả: . Nơi XB: NXB Giáo dục Việt Nam. Năm 2013.
[4]Giáo trình Tin học đại cương Chủ biên: Nguyễn Thanh Bình, Phan Thanh Tao, Nguyễn Tấn Khôi, Huỳnh Hữu Hưng, Huỳnh Công Pháp. Đồng tác giả: . Nơi XB: NXB Thông tin và Truyền thông. Năm 2013.
[5]Giáo trình Ngôn ngữ hình thức
Chủ biên: Nguyễn Thanh Bình. Nơi XB: NXB Thông tin và Truyền thông. Năm 2012.
[6]Analyse de testabilité de logiciels flots de données
Chủ biên: Nguyễn Thanh Bình. Đồng tác giả:
.
Nơi XB: Edition universitaires européennes. Năm 2011.
  
 Hướng dẫn Sau đại học
SttHọ và Tên, Tên đề tàiTrình độCơ sở đào tạoNăm hướng dẫnBảo vệ năm
[1]Đặng Ngọc Châu
Đề tài: Nghiên cứu cải tiến mô hình phát triển phần mềm hướng kiểm thử
Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Trường Đại học Bách Khoa, Đại học Đà Nẵng

 2017

 2021

[2]Đỗ Văn Nhỏ
Đề tài: Cải tiến chất lượng kiểm thử đột biến bậc cao
Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Trường Đại học Bách Khoa, Đại học Đà Nẵng

 2017

 2021

[3]Lê Văn Phol
Đề tài: Kiểm thử đột biến cho các ứng dụng LUSTRE
Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Đại học Đà Nẵng

 2014

 2018

[4]Trần Đức Minh
Đề tài: Học các ontology từ dữ liệu liên kết mở
Trách nhiệm: Hướng dẫn 2

 Tiến sĩ

 Đại học Nice – Cộng hòa Pháp

 2014

 2018

[5]Trịnh Công Duy
Đề tài: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/Scade

Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Khoa Công nghệ Thông tin, Trường Đại học Bách khoa, Đại học Đà Nẫng

 2011

 2015

[6]Lê Thanh Long
Đề tài: Kiểm thử tự động cho các ứng dụng đa phương thức tương tác

Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Khoa Công nghệ Thông tin, Trường Đại học Bách khoa, Đại học Đà Nẫng

 2011

 2015

[7]Lê Thị Mỹ Hạnh
Đề tài: Kiểm thử đột biến trong môi trường Simulink/ Matlab
Trách nhiệm: Hướng dẫn 1

 Tiến sĩ

 Khoa Công nghệ Thông tin, Trường Đại học Bách khoa, Đại học Đà Nẫng

 2010

 2014

[8]Thi-Thanh-Ha Hoang
Đề tài: Un modèle multi-agent récursif générique pour simplifier la supervision de systèmes complexes artificiels décentralisés
Trách nhiệm: Hướng dẫn 2

 Tiến sĩ

 Université de Grenoble

 2009

 2012

[9]Đặng Thiên Bình
Đề tài: Testability Analysis of SCICOS models

 Thạc sĩ

 Đại học Nice, CH Pháp

 2010

 2010

  
 Các học phần và môn giảng dạy
SttTên mônNăm bắt đầuĐối tượngNơi dạy
[1]Kiểm thử phần mềm
Ngành: Khoa học máy tính
 2009 Học viên Cao học  Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa
[2]Giải thuật nâng cao
Ngành: Khoa học máy tính
 2006 Học viên Cao học  Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa
[3]Phân tích và thiết kế hướng đối tượng
Ngành: Khoa học máy tính
 2005 Sinh viên Đại học, Học viên Cao học
unfaithful spouse will my husband cheat again i dreamed my husband cheated on me
 Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa
[4]Công nghệ phần mềm
Ngành: Khoa học máy tính
 2004 Sinh viên Đại học  Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa
[5]Ngôn ngữ hình thức và ô-tô-mát
Ngành: Khoa học máy tính
 2004 Sinh viên Đại học  Khoa Công nghệ Thông tin, Trường Đại học Bách Khoa
  
© Đại học Đà Nẵng
 
 
Địa chỉ: 41 Lê Duẩn Thành phố Đà Nẵng
Điện thoại: (84) 0511 3822 041 ; Email: dhdn@ac.udn.vn