TRUONG Anh Hoang, PhD.
Head of Software
Engineering Department
Office: Room 309, E3 building,
144 Xuan Thuy, Hanoi.
e-mail: HoangTA [a] vnu.edu.vn
tel: +84.915539368, fax: +84.437547460
VNU Hanoi > University of Engineering and Technology > Faculty of Information Technology
TRUONG Anh Hoang, PhD. Head of Software
Engineering Department e-mail: HoangTA [a] vnu.edu.vn tel: +84.915539368, fax: +84.437547460 |
|
Interests: type systems, programs analyses, software testing, cloud computing.
| 9. | 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. |
| 8. | On
Scenario
Synchronization. Duc-Hanh Dang, Anh-Hoang Truong and Martin Gogolla. ATVA'10, 21-24 September 2010, Springer 2010. |
| 7. | 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. |
| 5. | 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. |
| 4. | Finding
Upper Bounds of
Component Instances
with Deallocation Beyond Local Scope. .pdf Hoang Truong. VNU Journal of Natural Sciences and Technology, No. 24 (2008). |
| 3. | A
Type System for
Counting Instances of
Software Components. .pdf Marc Bezem, Dag Hovland, and Hoang Truong. Informatics Reports, University of Bergen, October 2007. |
| 2. | 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. |
| 1. | Guaranteeing
Resource
Bounds for Component
Software. .pdf Hoang Truong. FMOODS'05, Athens, Greece, June 15-17, 2005. LNCS 3535, Springer, 2005. pp. 179-194. |
| * | Ph.D. Dissertation: Type Systems for Guaranteeing Resource Bounds of Component Software. May 2006. |