TRUONG Anh Hoang, PhD

Head of Software Engineering Department

Office: Room 309, E3 building, 144 Xuan Thuy, Hanoi.

Email: HoangTA [a] vnu.edu.vn

Tel: +84.915539368

Teaching

• Software Engineering
• Software Testing and Quality Assurance
• Functional Programming
• Software Architecture

Research

Interests

• type systems, programs analyses, software testing, cloud computing.

Projects

• CN-07.08 - Types systems for finding resource bound of component software
• QC-08.16 - Finding memory usage bound of software programs
• QC-09.06 - Specifying and checking interface interaction protocols using AOP
• QG-11.29 - Optimal test suite generation for numerical functions on embedded systems
• Viettel & DoST funded: TrườngNhà (Cloud-based school information system based on open sources).

Selected Publications All, DBLP

1. A Type System for Counting Instances of Software Components.
   Marc Bezem, Dag Hovland, and Hoang Truong.
   Theoretical Computer Science, August 2012.
2. A type system for finding upper resource bounds of multi-threaded programs with nested transactions. 
   Xuan Tung Vu, Hoang Truong, Thi Mai Thuong Tran and Martin Steffen.
   SoICT'12, August 2012.
3. FixBag: A Fixpoint Calculator for Quantified Bag Constraints.  tool.
   Wei-Ngan Chin, Tuan-Hung Pham, Hoang Truong and Minh-Thai Trinh.
   CAV '11, July 14-20, Cliff Lodge, Snowbird, Utah.
4. On Scenario Synchronization.
   Duc-Hanh Dang, Anh-Hoang Truong and Martin Gogolla.
   ATVA'10, 21-24 September 2010, Springer 2010.
5. Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. .pdf
   Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima.
   TTSS'09, Kuala Lumpur, Malaysia, August 17, 2009; ENTCS Vol. 266
6. Checking Interface Interaction Protocols Using Aspect-oriented Programming. .pdf
   Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet-Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung.
   SEFM'08, Cape Town, South Africa, November 10-14, 2008. 
7. A fast algorithm to compute heap memory bounds of Java Card applets. .pdf
   Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin.
   SEFM'08, Cape Town, South Africa, November 10-14, 2008. 
8. Finding Resource Bounds in the Presence of Explicit Deallocation. .pdf
   Hoang Truong, Marc Bezem.
   ICTAC'05, Hanoi, Vietnam, October 17-21, 2005. LNCS 3722, Springer, 2005. pp. 127-241. 
9. Guaranteeing Resource Bounds for Component Software.  .pdf
   Hoang Truong. 
   FMOODS'05, Athens, Greece, June 15-17, 2005. LNCS 3535, Springer, 2005. pp. 179-194. 
10. Ph.D. Dissertation: Type Systems for Guaranteeing Resource Bounds of Component Software. May 2006.

Professional Activities

Links

• Old homepage at University of Bergen, Norway.
• Coming Software Engineering conferences