Anh-Hoang Truong

Publication Activity (10 Years)

Years Active: 2008-2022
Publications (10 Years): 6

Top Topics

Evolutionary Algorithm

Multi Core Processors

Top Venues

Int. J. Softw. Eng. Knowl. Eng.

Publications

Ngoc-Khai Nguyen, Anh-Hoang Truong, Duc-Hanh Dang
Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs. Int. J. Softw. Eng. Knowl. Eng. 32 (6) (2022)
Chu Thi Minh Hue, Duc-Hanh Dang, Nguyen Ngoc Binh, Anh-Hoang Truong
USLTG: Test Case Automatic Generation by Transforming Use Cases. Int. J. Softw. Eng. Knowl. Eng. 29 (9) (2019)
Ngoc-Khai Nguyen, Anh-Hoang Truong
A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs. SoICT (2017)
Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang
Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs. ICTAC (2016)
Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu
A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. ICDCIT (2016)
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung
On Model Finding with Constraint Patterns. SoMeT (2016)
Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen
Finding Round-Off Error Using Symbolic Execution. KSE (1) (2013)
Xuan-Tung Vu, Thi Mai Thuong Tran, Anh-Hoang Truong, Martin Steffen
A type system for finding upper resource bounds of multi-threaded programs with nested transactions. SoICT (2012)
Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin
FixBag: A Fixpoint Calculator for Quantified Bag Constraints. CAV (2011)
Nguyen Trinh Dong, Dang Van Hung, Anh-Hoang Truong
Real-Time Relational Interface Behavior Modeling and Specification. KSE (2011)
Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima
Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion. Electron. Notes Theor. Comput. Sci. 266 (2010)
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
Checking the Conformance between Models Based on Scenario Synchronization. J. Univers. Comput. Sci. 16 (17) (2010)
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
On Scenario Synchronization. ATVA (2010)
Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung
Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM (2008)
Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM (2008)