Hoang Truong’s Research

Publications

    From 2010
  1. Checking the Conformance between Models Based on Scenario Synchronization. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Journal of Universal Computer Science (J. UCS), ISSN 2293-2312. 2010
  2. On Scenario Synchronization. Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla. Automated Technology for Verification and Analysis ATVA 2010, Springer LNCS. 2010
  3. Verifying Implementation of UML Sequence Diagrams Using Java PathFinder. Dinh-Phuc Nguyen, Chung-Tuyen Luu; Anh-Hoang Truong, Radics Norbert. Knowledge and Systems Engineering Proceedings, IEEE. 2010
  4. Checking implementation of UML 2 sequence diagrams. Chung-Tuyen Luu, Dinh-Phuc Nguyen, Anh-Hoang Truong. ACOMP 2010 Proceedings. 2010
  5. Extending CREST with multiple SMT solvers and real arithmetic. Do Quoc Huy, Truong Anh Hoang, Nguyen Ngoc Binh. Knowledge and Systems Engineering Proceedings, IEEE. 2010
  6. Kiểm chứng giao thức tương tác giữa các thành phần trong chương trình đa luồng sử dụng lập trình hướng khía cạnh. Trịnh Thanh Bình, Trương Anh Hoàng, Nguyễn Việt Hà. Tạp chí Công nghệ thông tin & Truyền thông. 2010
  7. FixBag: A Fixpoint Calculator for Quantified Bag Constraints. Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin. 23rd International Conference, Computer Aided Verification CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings, . Springer LNCS. 2011
  8. Real-Time Relational Interface Behavior Modeling and Specification. Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong. Knowledge and Systems Engineering Proceedings, IEEE. 2011
  9. A Type System for Counting Instances of Software Components. Marc Bezem, Dag Hovland, and Hoang Truong. Theoretical Computer Science (Journal), ISSN 0304-3975. 2012
  10. A type system for finding upper resource bounds of multi-threaded programs with nested transactions. Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen. Proceedings of the Third Symposium on Information and Communication Technology - SoICT, ACM. 2012
  11. Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. Thi Mai Thuong Tran, Martin Steffen, Hoang Truong. Software Engineering and Formal Methods SEFM 2013 Proceedings, Springer LNCS . 2013
  12. Modeling and Specification of Real-time Interfaces with UTP. Dang Van Hung, Hoang Truong. Theories of Programming and Formal Methods, Springer LNCS. 2013
  13. Symbolic round-off error between floating-point and fixed-point. Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen. VNU Journal of Computer Science and Communication Engineering. 2014
  14. Finding round-off error using symbolic execution. Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen. Knowledge and Systems Engineering 2013 Proceedings, Springer LNCS. 2014

    15. Before 2010
  15. A Typing System for the Safe Instantiation of Components (post-workshop version with all proofs). Marc Bezem, Hoang Truong. Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2003
  16. Counting Instances of Software Components (post-workshop version with all proofs). Marc Bezem, Hoang Truong. Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2004
  17. A Typing System for the Safe Instantiation of Components. Marc Bezem, Hoang Truong. ENTCS Vol. 97, ISSN 1571-0661. 2004
  18. Counting Instances of Software Components. Marc Bezem, Hoang Truong. Workshop on Logics For Resources, Processes, And Programs - LRPP'04 Proceedings. 2004
  19. Guaranteeing Resource Bounds for Component Software. Hoang Truong. Formal Methods for Open Object-Based Distributed Systems FMOODS 2005 Proceedings, Springer LNCS. 2005
  20. Finding Resource Bounds in the Presence of Explicit Deallocation. Hoang Truong, Marc Bezem. Theoretical Aspects of Computing ICTAC 2005, Springer LNCS. 2005
  21. Type Systems for Guaranteeing Resource Bounds of Component Software. Hoang Truong. University of Bergen. Ph. D. Dissertation. ISBN: 82-308-0157-6. 2006
  22. Finding Upper Bounds of Component Instances with Deallocation Beyond Local Scope. Hoang Truong. ICT Hanoi 2007. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2007
  23. A Type System for Counting Instances of Software Components (preliminary version of TCS journal). Marc Bezem, Dag Hovland, Hoang Truong. Institute of Informatics, University of Bergen. Technical report. ISSN 0333-3590. 2007
  24. Checking Interface Interaction Protocols Using Aspect-oriented Programming. Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung. Software Engineering and Formal Methods - SEFM, IEEE. 2008
  25. Computing Heap Space Cost of Java Card Applets. Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong. RIVF 2008, International Conference on Computing and Communication Technologies, IEEE. 2008
  26. Some Approaches to Nôm Optical Character Recognition. Pham Van Huong, Tran Minh Tuan, Do Quoc Huy, Le Hong Trang, Vu Thanh Nhan, Nguyen Ngoc Binh, Truong Anh Hoang, Vu Quang Dung. ICT Hanoi 2008 Proceedings. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2008
  27. A Dynamic Birthmark to Detect the Theft of Java Programs. Thanh-Binh Trinh, Anh-Hoang Truong, Viet-Ha Nguyen. ICT Hanoi 2008 Proceedings. VNU Journal of Science, Natural Sciences and Technology. ISSN 0866-8612. 2008
  28. Tối ưu trọng số thuộc tính cho mô hình ước lượng chi phí dự án phần mềm. Võ Văn Thành, Trần Thị Mai Thương, Trương Anh Hoàng, Lê Việt Hà, Nguyễn Việt Hà. Hội thảo quốc gia lần thứ 11 “Một số vấn đề chọn lọc của Công nghệ thông tin và Truyền thông”. 2008
  29. Một số phương pháp nhận dạng chữ Nôm. Phạm Văn Hưởng, Trần Minh Tuấn, Nguyễn Thị Ngọc Hương, Bùi Thị Hồng Hạnh, Lê Hồng Trang, Vũ Thanh Nhân, Trương Anh Hoàng, Vũ Quang Dũng, Nguyễn Ngọc Bình. Hội thảo Khoa học Quốc gia Lần thứ IV về CNTT-TT (ICT. rda), pp. 200-208. 2008
  30. A fast algorithm to compute heap memory bounds of Java Card applets. Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin. Software Engineering and Formal Methods - SEFM, IEEE. 2008
  31. Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima. Electronic Notes in Theoretical Computer Science ENTCS. Vol. 266, ISSN 1571-0661. 2009
  32. Checking Protocol Conformance In Component Models Using Aspect Oriented Programming. Thanh-Binh Trinh, Anh-Hoang Truong, Viet-Ha Nguyen. Advances in Computer Science and Engineering, ACSE. 2009
  33. A Parameterized Unit Test Framework Based on Symbolic Java PathFinder. Anh-Hoang Truong, Thanh-Nhan Vu. Knowledge and Systems Engineering 2009 Proceedings, IEEE. 2009
  34. Nôm Character Recognition Using Maximum Entropy Model And Pseudo-Skeleton Feature. Le Hong Trang, Nguyen Ngoc Binh, Truong Anh Hoang. Kỷ yếu Hội thảo Khoa học Công nghệ Quốc gia lần thứ tư. Nghiên cứu cơ bản và ứng dụng công nghệ thông tin – FAIR. 2009