Hoang Truong

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Topics

Symbolic Execution

Static Analysis

Top Venues

Theor. Comput. Sci.

Publications

Thi Mai Thuong Tran, Martin Steffen, Hoang Truong
Compositional Static Analysis for Implicit Join Synchronization in a Transactional Setting. SEFM (2013)
Marc Bezem, Dag Hovland, Hoang Truong
A type system for counting instances of software components. Theor. Comput. Sci. 458 (2012)
Hoang Truong, Marc Bezem
Finding Resource Bounds in the Presence of Explicit Deallocation. ICTAC (2005)
Hoang Truong
Guaranteeing Resource Bounds for Component Software. FMOODS (2005)
Marc Bezem, Hoang Truong
A Type System for the Safe Instantiation of Components. Electron. Notes Theor. Comput. Sci. 97 (2004)