( en | de | ru )

 

Disambiguation of "Truong, Anh-Hoang"

Author of the publication

copydeleteadd this publication to your clipboard
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.

, , , and . SEFM, page 259-267. IEEE Computer Society, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anh Truong

Truong Anh Tuan

Truong-Hoang Lâm

Anh-Nguyen Hoang

Hoang Anh Nguyen

 

Other publications of authors with the same name

USLTG: Test Case Automatic Generation by Transforming Use Cases., , , and . Int. J. Softw. Eng. Knowl. Eng., 29 (9): 1313-1345 (2019)FixBag: A Fixpoint Calculator for Quantified Bag Constraints., , , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 656-662. Springer, (2011)Imaging detection of ethanol vapor by scanning photo-induced impedance microscopy with suspended-gate structure., , , , and . ISOEN, page 1-4. IEEE, (2019)Real-Time Relational Interface Behavior Modeling and Specification., , and . KSE, page 112-119. IEEE Computer Society, (2011)Finding Memory Bound of Cloned Objects in Software Transactional Memory Programs., , and . Int. J. Softw. Eng. Knowl. Eng., 32 (6): 791-818 (2022)Finding Round-Off Error Using Symbolic Execution., , and . KSE (1), volume 244 of Advances in Intelligent Systems and Computing, page 415-428. Springer, (2013)A type system for finding upper resource bounds of multi-threaded programs with nested transactions., , , and . SoICT, page 21-30. ACM, (2012)A Compositional Type Systems for Finding Log Memory Bounds of Transactional Programs., and . SoICT, page 409-416. ACM, (2017)Test Case Generation for Adequacy of Floating-point to Fixed-point Conversion., , , and . TTSS, volume 266 of Electronic Notes in Theoretical Computer Science, page 49-61. Elsevier, (2009)Checking Interface Interaction Protocols Using Aspect-Oriented Programming., , , , , and . SEFM, page 382-386. IEEE Computer Society, (2008)