Anh-Hoang Truong

According to our database, Anh-Hoang Truong authored at least 21 papers between 2003 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs.

Ngoc-Khai Nguyen, Anh-Hoang Truong, Duc-Hanh Dang

Int. J. Softw. Eng. Knowl. Eng., 2022

2019

USLTG: Test Case Automatic Generation by Transforming Use Cases.

Chu Thi Minh Hue, Duc-Hanh Dang, Nguyen Ngoc Binh, Anh-Hoang Truong

Int. J. Softw. Eng. Knowl. Eng., 2019

2017

A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs.

Ngoc-Khai Nguyen, Anh-Hoang Truong

Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017

2016

On Model Finding with Constraint Patterns.

Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Calculating Statically Maximum Log Memory Used by Multi-threaded Transactional Programs.

Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.

Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu

Proceedings of the Distributed Computing and Internet Technology, 2016

2013

Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting.

Thi Mai Thuong Tran, Martin Steffen, Hoang Truong

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Finding Round-Off Error Using Symbolic Execution.

Anh-Hoang Truong, Huy-Vu Tran, Bao-Ngoc Nguyen

Proceedings of the Knowledge and Systems Engineering, 2013

Modeling and Specification of Real-Time Interfaces with UTP.

Dang Van Hung, Hoang Truong

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

A type system for counting instances of software components.

Marc Bezem, Dag Hovland, Hoang Truong

Theor. Comput. Sci., 2012

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 Symposium on Information and Communication Technology 2012, 2012

2011

Real-Time Relational Interface Behavior Modeling and Specification.

Trinh-Dong Nguyen, Dang Van Hung, Anh-Hoang Truong

Proceedings of the Third International Conference on Knowledge and Systems Engineering, 2011

FixBag: A Fixpoint Calculator for Quantified Bag Constraints.

Tuan-Hung Pham, Minh-Thai Trinh, Anh-Hoang Truong, Wei-Ngan Chin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Checking the Conformance between Models Based on Scenario Synchronization.

Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla

J. Univers. Comput. Sci., 2010

On Scenario Synchronization.

Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla

Proceedings of the Automated Technology for Verification and Analysis, 2010

2009

Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion.

Tuan-Hung Pham, Anh-Hoang Truong, Wei-Ngan Chin, Takenobu Aoshima

Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

2008

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

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.

Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

2005

Finding Resource Bounds in the Presence of Explicit Deallocation.

Hoang Truong, Marc Bezem

Proceedings of the Theoretical Aspects of Computing, 2005

Guaranteeing Resource Bounds for Component Software.

Hoang Truong

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2005

2003

A Type System for the Safe Instantiation of Components.

Marc Bezem, Hoang Truong

Proceedings of FOCLASA 2003, 2003