On the Relation Between Firing Sequences and Processes of Petri Nets. - Dang Van Hung; Tran Van Dung (FCT, 1993)

On the Stability Semantics of Combinational Programs. - Tran Van Dung (ICTAC, 2005)

Function profiling for embedded software by utilizing QEMU and analyzer tool. - Tran Van Dung; Ittetsu Taniguchi; Takuji Hieda; Hiroyuki Tomiyama (MWSCAS, 2013)

Cache Simulation for Instruction Set Simulator QEMU. - Tran Van Dung; Ittetsu Taniguchi; Hiroyuki Tomiyama (DASC, 2014)

Function-level profiling for embedded software with QEMU. - Tran Van Dung; Ittetsu Taniguchi; Takuji Hieda; Hiroyuki Tomiyama (Int. J. Embed. Syst., 2015)