TRUONG Anh Hoang, PhD

Head of Software Engineering Department

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

Email: hoangta [a]

Tel: +84 9155 x 9368 where x=3

Check my calendar for a meeting.

Truong Anh Hoang





Selected Publications All, DBLP

  1. Modeling and Specification of Real-time Interfaces with UTP.
    Dang Van Hung and Anh-Hoang Truong.
    Theories of Programming and Formal Methods. Jifeng He Festschrift. LNCS 8051. 2013.
  2. A Type System for Counting Instances of Software Components.
    Marc Bezem, Dag Hovland, and Hoang Truong.
    Theoretical Computer Science, August 2012.
  3. 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.
  4. 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.
  5. On Scenario Synchronization.
    Duc-Hanh Dang, Anh-Hoang Truong and Martin Gogolla.
    ATVA'10, 21-24 September 2010, Springer 2010.
  6. 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
  7. 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. 
  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

Mentor of GSoC 2010, Organizer of SEFM 2009, JVSE 2010, ATVA 2013, Reviewer/subreviewer of various conferences, workshops and journals: ICT-Hanoi 2008, KSE 2009, SEFM 2009, KSE 2010, KSE 2011, FTfJP 2012, KSE 2012, RIVF 2012, SEFM 2013, ATVA 2013, ACOMP 2013, RIVF 2013, KSE 2013, FACS 2013, ICTAC 2013, KSE 2014, SEFM 2014, ATVA 2014, ACOMP 2014, RIVF 2014, FOOL 2014.

Some students continued PhD abroad