Anh-Hoang Truong

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