Nguyen Thanh Hung

Lecturer

Ph.D. (Computer Science, Grenoble Institute of Technology, France, 2010)
M.S. (Grenoble Institute of Technology, France, 2006)
B.S. (Hanoi University of Science and Technology, 2005)

Email: hungnt@soict.hust.edu.vn
Web:  https://users.soict.hust.edu.vn/hungnt

• Software modeling, construction and verification
• EduTech

• Software modeling, construction and verification
• EduTech

NGUYEN Thanh Hung is a lecturer and researcher of Computer Science at the School of Information and Communication Technology (SoICT), Hanoi University of Science and Technology (HUST). He obtained the Master and PhD degrees in Computer Science in 2006 and 2010 respectively, from Grenoble Institute of Technology, France. Dr. Hung’s research focuses on software modeling, construction and verification. He has published over 20 research articles in international journals and conference proceedings.

Publications (trong 5 năm gần nhất, tối đa 10)

• Phi-Le Nguyen, Yusheng Ji, Khanh Le, Thanh-Hung Nguyen: Load balanced and constant stretch routing in the vicinity of holes in WSNs. CCNC 2018: 1-6
• Phi-Le Nguyen, Yusheng Ji, Khanh Le, Thanh-Hung Nguyen: Routing in the Vicinity of Multiple Holes in WSNs. ICT-DM 2018: 1-8
• Phi-Le Nguyen, Yusheng Ji, Nguyen Thanh Trung, Thanh-Hung Nguyen: A Delay-Guaranteed Geographic Routing Protocol with Hole Avoidance in WSNs. MASS 2017: 135-143
• Phi-Le Nguyen, Yusheng Ji, Nguyen Thanh Trung, Thanh-Hung Nguyen: Constant stretch and load balanced routing protocol for bypassing multiple holes in wireless sensor networks. NCA 2017: 35-43
• Anne-Lise Courbis, Thomas Lambolais, Thanh-Hung Nguyen: Safe Incremental Design of UML Architectures. SEKE 2017: 473-476
• Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: Component-based verification using incremental design and invariants. Software and System Modeling 15(2): 427-451 (2016)
• Yliès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Software and System Modeling 14(1): 173-199 (2015).
• Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis: Rigorous Component-Based System Design Using the BIP Framework. IEEE Software 28(3): 41-48 (2011)
• Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Doron A. Peled: Efficient deadlock detection for concurrent systems. MEMOCODE 2011: 119-129
• Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan: D-Finder 2: Towards Efficient Correctness of Incremental Design. NASA Formal Methods 2011: 453-458.
• Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem: Runtime Verification of Component-Based Systems. SEFM 2011: 204-220.

• The best PhD thesis of Vietnamese student in France in 2010.

• IT4082, IT4082E: Software Engineering
• IT4080: Introduction to Software Engineering
• IT4501: Software quality assurance
• IT3072, IT3072E: Operating System