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 |
|
Type systems, programs verification, software testing, software architecture.
|
9. |
Test Case Generation for Adequacy of Floating-point to Fixed-point
Conversion.
.pdf Hung Pham, Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima. TTSS'09 Proceedings, Kuala Lumpur, Malaysia, August 17, 2009, (to appear in ENTCS). |
| 8. |
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. [©IEEE CS] |
| 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. [©IEEE CS] |
| 6. |
Finding Upper Bounds of Component Instances with Deallocation Beyond Local Scopee. .pdf Hoang Truong. Proceedings of ICT Hanoi 2007, Hanoi, Vietnam, December 05-07, 2007. VNU Journal of Science, Natural Sciences and Technology 24 (2008) 83-92. |
|
5.
|
A Type System for Counting Instances of Software Components. .pdf Marc Bezem, Dag Hovland, and Hoang Truong. Informatics Reports, University of Bergen, October 2007. |
|
4.
|
Finding Resource Bounds in the Presence of Explicit Deallocation. .pdf Hoang Truong, Marc Bezem. Dang V. Hung and Martin Wirsing, editors. ICTAC'05, Hanoi, Vietnam, October 17-21, 2005. LNCS 3722, Springer, 2005. ISBN: 3-540-29107-5. pp. 127-241. [©Springer] |
|
3.
|
Guaranteeing Resource Bounds for Component Software. .pdf Hoang Truong. Martin Steffen, Gianluigi Zavattaro, editors. FMOODS'05, Athens, Greece, June 15-17, 2005. LNCS 3535, Springer, 2005. ISBN: 3-540-26181-8. pp. 179-194. [©Springer] |
|
2.
|
Counting Instances of Software Components. .pdf Marc Bezem, Hoang Truong. Didier Galmiche, Peter O'Hearn, David Pym, editors, LRPP'04, Turku, Finland, July 13, 2004. |
|
1.
|
Typing System for the Safe Instantiation of Components. .pdf Marc Bezem, Hoang Truong. Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel, editors, FOCLASA'03, Marseille, France, September 2, 2003. ENTCS, Vol. 97. July 22, 2004. pp. 197-217. [©Elsevier] |
| * |
Ph.D. Dissertation: Type Systems
for Guaranteeing Resource Bounds of Component Software. May 2006. |
